When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various compositionality results for security properties. In particular, we introduce a novel security property and show that this property is, in general, composable although it is weaker than forward correctability. Moreove...

We propose a simple algorithm to select group generators suitable for pairing-based cryptosystems. The selected parameters are shown to favor implementations of the Tate pairing that are at once conceptually simple and efficient, with an observed performance about 2 to 10 times better than previously reported implementations, depending on the embedding degree. Our algorithm has beneficial side ...

Introduction: The authors have carried out a retrospective analysis of data from 26 patients with developing vitiligo who were treated with oral mini-pulse of dexamethasone. Clinical response and side effects were evaluated at monthly intervals. Of the 26 patients included in the study, 12 (46.2%) presented a repigmentation of lesions, 11 (42.3%) stabilized, and 3 (11.5%) experienced a worsenin...

This paper describes our study on identifying semantic relations that exist between diseases and treatments in biomedical sentences. We focus on three semantic relations: Cure, Prevent, and Side Effect. The contributions of this paper consists in the fact that better results are obtained compared to previous studies and the fact that our research settings allow the integration of biomedical and...