University of Paderborn

About: University of Paderborn is a education organization based out in Paderborn, Nordrhein-Westfalen, Germany. It is known for research contribution in the topics: Control reconfiguration & Software. The organization has 6684 authors who have published 16929 publications receiving 323154 citations.

A methodology for specifying and analyzing consistency of object-oriented behavioral models

Abstract: Object-oriented modeling favors the modeling of object behavior from different viewpoints and the successive refinement of behavioral models in the development process. This gives rise to consistency problems of behavioral models. The absence of a formal semantics for UML models and the numerous possibilities of employing behavioral models within the development process lead to the rise of a number of different consistency notions. In this paper, we discuss the issue of consistency of behavioral models in the UML and present a general methodology how consistency problems can be dealt with. According to the methodology, those aspects of the models relevant to the consistency are mapped to a semantic domain in which precise consistency tests can be formulated. The choice of the semantic domain and the definition of consistency conditions can be used to construct different consistency notions. We show the applicability of our methodology by giving an example of a concrete consistency problem of concurrent object-oriented models.

A new CRT-RSA algorithm secure against bellcore attacks

Abstract: In this paper we describe a new algorithm to prevent fault attacks on RSA signature algorithms using the Chinese Remainder Theorem (CRT-RSA). This variant of the RSA signature algorithm is widely used on smartcards. Smartcards on the other hand are particularly susceptible to fault attacks like the one described in [7]. Recent results have shown that fault attacks are practical and easy to accomplish ([21], [17]).Therefore, they establish a practical need for fault attack protected CRT-RSA schemes. Starting from a careful derivation and classification of fault models, we describe a new variant of the CRT-RSA algorithm. For the most realistic fault model described, we rigorously analyze the success probability of an adversary against our new CRT-RSA algorithm. Thereby, we prove that our new algorithm is secure against the Bellcore attack.

On the Stability of DNA Origami Nanostructures in Low‐Magnesium Buffers

Abstract: DNA origami structures have great potential as functional platforms in various biomedical applications. Many applications, however, are incompatible with the high Mg2+ concentrations commonly believed to be a prerequisite for maintaining DNA origami integrity. Herein, we investigate DNA origami stability in low-Mg2+ buffers. DNA origami stability is found to crucially depend on the availability of residual Mg2+ ions for screening electrostatic repulsion. The presence of EDTA and phosphate ions may thus facilitate DNA origami denaturation by displacing Mg2+ ions from the DNA backbone and reducing the strength of the Mg2+ -DNA interaction, respectively. Most remarkably, these buffer dependencies are affected by DNA origami superstructure. However, by rationally selecting buffer components and considering superstructure-dependent effects, the structural integrity of a given DNA origami nanostructure can be maintained in conventional buffers even at Mg2+ concentrations in the low-micromolar range.

Do not snoop my habits: preserving privacy in the smart grid

Abstract: The recent deployment of smart grids has proven to bring numerous advantages in terms of energy consumption reduction in both homes and businesses. A more accurate measurement of up-to-date electricity necessities through smart meters utilization leads to an enhancement in the ability of monitoring, controlling and predicting energy use. Nevertheless, it has associated drawbacks related to the privacy of customers as well, since such management might reveal their personal habits and behavior, which electrical appliances they are using at each moment, whether they are at home or not, and so on. In this article we present a privacy enhanced architecture for smart metering aimed to tackle this threat by means of a new and novel protocol encrypting individual measurements while allowing the electricity supplier to access the aggregation of the corresponding decrypted values. The technique being used is named additively homomorphic encryption, and enables the direct connection and exchange of data between electricity suppliers and final users, while preserving the privacy of the latter.