Self-Stabilizing Supervised Publish-Subscribe Systems

In this paper we present two major results: First, we introduce the first self-stabilizing version of a supervised overlay network by presenting a self-stabilizing supervised skip ring. Secondly, we show how to use the self-stabilizing supervised skip ring to construct an efficient self-stabilizing publish-subscribe system. That is, in addition to stabilizing the overlay network, every subscriber of a topic will eventually know all of the publications that have been issued so far for that topic. The communication work needed to processes a subscribe or unsubscribe operation is just a constant in a legitimate state, and the communication work of checking whether the system is still in a legitimate state is just a constant on expectation for the supervisor as well as any process in the system

Combined In Vitro Toxicity and Immunogenicity of Cold Plasma and Pulsed Electric Fields

In modern oncology, therapies are based on combining monotherapies to overcome treatment resistance and increase therapy precision. The application of microsecond-pulsed electric fields (PEF) is approved to enhance local chemotherapeutic drug uptake within combination electrochemotherapy regimens. Reactive oxygen species (ROS) have been implicated in anticancer effects, and cold physical plasma produces vast amounts of ROS, which have recently been shown to benefit head and neck cancer patients. PEF and cold plasma technology have been linked to immunogenic cell death (ICD) induction, a regulated cell death accompanied by sterile inflammation that promotes antitumor immunity. To this end, we investigated the combined effect of both treatments regarding their intracellular ROS accumulation, toxicity, ICD-related marker expression, and optimal exposure sequence in a leukemia model cell line. The combination treatment substantially increased ROS and intracellular glutathione levels, leading to additive cytotoxic effects accompanied by a significantly increased expression of ICD markers, such as the eat-me signal calreticulin (CRT). Preconditioned treatment with cold plasma followed by PEF exposure was the most potent treatment sequence. The results indicate additive effects of cold plasma and PEF, motivating further studies in skin and breast tumor models for the future improvement of ECT in such patients

Kulturelle Gedächtnisinstitutionen und ihre digitale Zukunft

Bereits seit einiger Zeit ist von Seiten kulturgutverwahrender Institutionen ein Aufbruch in Richtung der digitalen Welt zu konstatieren. Eine steigende Anzahl von Tagungen, Publikationen und kulturwissenschaftlichen Studien zu diesem Thema belegt dies.1 Doch welche Umbrüche in den Strukturen, im Denken und in den Strategien sind notwendig, um die digitale Zukunft erfolgreich zu beschreiten? (...

Kulturelle Gedächtnisinstitutionen und ihre digitale Zukunft

Bereits seit einiger Zeit ist von Seiten kulturgutverwahrender Institutionen ein Aufbruch in Richtung der digitalen Welt zu konstatieren. Eine steigende Anzahl von Tagungen, Publikationen und kulturwissenschaftlichen Studien zu diesem Thema belegt dies.1 Doch welche Umbrüche in den Strukturen, im Denken und in den Strategien sind notwendig, um die digitale Zukunft erfolgreich zu beschreiten? (...

Model-based Safety and Security Co-analysis: a Survey

We survey the state-of-the-art on model-based formalisms for safety and security analysis, where safety refers to the absence of unintended failures, and security absence of malicious attacks. We consider ten model-based formalisms, comparing their modeling principles, the interaction between safety and security, and analysis methods. In each formalism, we model the classical Locked Door Example where possible. Our key finding is that the exact nature of safety-security interaction is still ill-understood. Existing formalisms merge previous safety and security formalisms, without introducing specific constructs to model safety-security interactions, or metrics to analyze trade offs

Anonymous and Publicly Linkable Reputation Systems

We consider reputation systems where users are allowed to rate products that they purchased previously. To obtain trustworthy reputations, they are allowed to rate these products only once. As long as they do so, the users stay anonymous. Everybody is able to detect users deviating from the rate-products-only-once policy and the anonymity of such dishonest users can be revoked by a system manager. In this paper we present formal models for such reputation systems and their security. Based on group signatures we design an efficient reputation system that meets all our requirements