Iniciativa IMDEA

Inicio > Eventos > Software Seminar Series (S3)

Software Seminar Series (S3)

Antonio Faonio

Tuesday, October 17, 2017

10:45am Lecture hall 1, level B

Antonio Faonio, Post-doctoral Researcher, Instituto IMDEA Software

Leakage-and-Tamper Resilient Cryptography in the Split-State Model

Abstract:

The Split State Model allows to obtain tamper and leakage resilience against a big class of attackers. In this model the secret material is divided in two halves that the attacker can only manipulate/leak independently. In the first part of the talk I will introduce the model, showing the peculiarities and the limits. Then I will introduce the concepts of Leakage-Resilient Codes (LRC) and Non-Malleable Codes (NMC) in the split-state model. In the second part of the talk I will introduce two new primitives which extend the notions of LRC and NMC and allows to get stronger form of security.


Time and place:
10:45am Lecture hall 1, level B
IMDEA Software Institute, Campus de Montegancedo
28223-Pozuelo de Alarcón, Madrid, Spain


Miguel Ambrona

Tuesday, October 10, 2017

10:45am Lecture hall 1, level B

Miguel Ambrona, PhD Student, Instituto IMDEA Software

Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions

Abstract:

Attribute-based encryption (ABE) is a cryptographic primitive which supports fine-grained access control on encrypted data, making it an appealing building block for many applications. In this pa- per, we propose, implement, and evaluate fully automated methods for proving security of ABE in the Generic Bilinear Group Model (Boneh, Boyen, and Goh, 2005, Boyen, 2008), an idealized model which admits simpler and more efficient constructions, and can also be used to find attacks. Our method is applicable to Rational- Fraction Induced ABE, a large class of ABE that contains most of the schemes from the literature, and relies on a Master Theorem, which reduces security in the GGM to a (new) notion of symbolic security, which is amenable to automated verification using constraint-based techniques. We relate our notion of symbolic security for Rational- Fraction Induced ABE to prior notions for Pair Encodings. Finally, we present several applications, including automated proofs for new schemes.


Time and place:
10:45am Lecture hall 1, level B
IMDEA Software Institute, Campus de Montegancedo
28223-Pozuelo de Alarcón, Madrid, Spain


Arianna Blasi

Tuesday, October 03, 2017

10:45am Lecture hall 1, level B

Arianna Blasi, Research Intern, Instituto IMDEA Software

Using semantic similarity analysis of Javadoc comments to automatically generate test oracles

Abstract:

Procedure specifications are useful in many software development tasks. As one example, in automatic test case generation they can guide testing, act as test oracles able to reveal bugs, and identify illegal inputs. Whereas formal specifications are seldom available in practice, it is standard practice for developers to document their code with semi-structured comments such as Doxygen, Javadoc, RDoc, and Sphinx. These comments express the procedure specification with a mix of predefined tags and natural language. In this talk I will present present Toradocu, an approach that combines natural language parsing, pattern matching, and semantic similarity to translate Javadoc comments into executable procedure specifications written as Java expressions. The tool achieves better accuracy than the other similar tools in the state of the art. Moreover, it is the only one with an actual semantic awareness, through which it can translate even complex comments.


Time and place:
10:45am Lecture hall 1, level B
IMDEA Software Institute, Campus de Montegancedo
28223-Pozuelo de Alarcón, Madrid, Spain


Software Seminar Series (S3) - Primavera 2017