IMDEA-CSI: Crime scene investigation at The European Researchers’ Night in Madrid 2017
October 10, 2017
What can science and technology contribute to police work? Who is more inquisitive, a scientist or a police officer? The...
[ 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 ]
