Gilles Barthe and Santiago Zanella win Best Paper Award at CRYPTO 2011
August 15, 2011
The paper Computer-Aided Security Proofs for the Working Cryptographer, co-authored by IMDEA Software Institute Researchers Gilles Barthe and Santiago Zanella...
[ Read More ]
Juan Caballero Outstanding Paper Award at Usenix Security 2011.
August 10, 2011
The paper Measuring Pay-per-Install: The Commoditization of Malware Distribution, co-authored by IMDEA Software Institute Assistant Professor Juan Caballero, is the...
[ Read More ]
