IMDEA-CSI: Investigando en la escena del crimen en la Noche Europea de los Investigadores de Madrid 2017
October 10, 2017
¿Qué pueden aportar la ciencia y la tecnología al trabajo policial? ¿Quién es más inquisitivo, un científico o un policía?...
[ Read More ]
IMDEA researcher is chairing three program committees.
October 10, 2017
IMDEA researcher John Gallagher will be the program chair of the following events. LOPSTR 2017. 27th International Symposium on Logic-based...
[ Read More ]
Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions
October 10, 2017
Attribute-based encryption (ABE) is a cryptographic primitive which supports fine-grained access control on encrypted data, making it an appealing building...
[ Read More ]
Talk by Arianna Blasi: Using semantic similarity analysis of Javadoc comments to automatically generate test oracles
October 3, 2017
Procedure specifications are useful in many software development tasks. As one example, in automatic test case generation they can guide...
[ Read More ]
Using semantic similarity analysis of Javadoc comments to automatically generate test oracles
October 3, 2017
Procedure specifications are useful in many software development tasks. As one example, in automatic test case generation they can guide...
[ Read More ]
