El artículo Computer-Aided Security Proofs for the Working Cryptographer, del que son coautores los investigadores del Instituto IMDEA Software Gilles Barthe y Santiago Zanella con colegas del INRIA, ha ganado el Premio al Mejor Artículo en CRYPTO 2011, el 31 Congreso Internacional de Criptografía celebrado en la Universidad de California, Santa Barbara, del 14 al 18 de agosto de 2011.
Puede ver la presentación del paper en CRYPTO'11:
El artículo presenta EasyCrypt, una herramienta automática para la elaboración de pruebas de seguridad de sistemas criptográficos que utiliza resolutores SMT y demostradores automáticos de teoremas estándares. La herramienta es sustancialmente más fácil de utilizar que sus predecesoras y podría ser candidata a ser adoptada por criptógrafos en su trabajo diario. La utilidad de la herramienta se ilustra a través de su aplicación a pruebas de seguridad de los criptosistemas Cramer-Shoup y Hashed ElGamal.
