Security, privacy, & cryptography

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin

1st International Conference on Interactive Theorem Proving, ITP 2010 | January 2010

Yevgeniy Dodis, Shafi Goldwasser, Yael Tauman Kalai, Chris Peikert , Vinod Vaikuntanathan

Theory of Cryptography Conference: Lecture Notes in Computer Science, 2010 | January 2010

Seny Kamara, Kristin Lauter

Proceedings of Financial Cryptography: Workshop on Real-Life Cryptographic Protocols and Standardization 2010 | January 2010

to appear in Proceedings of Financial Cryptography: Workshop on Real-Life Cryptographic Protocols and Standardization 2010

Cynthia Dwork

Symposium on Discrete Algorithms (SODA) | January 2010

Symposium on Discrete Algorithms (SODA)

Projet

Vibhor Rastogi, Suman Nath

SIGMOD ’10: Proceedings of the 2010 ACM SIGMOD international conference on Management of data | January 2010

Projet

Peter Bodík, Armando Fox, Michael J. Franklin, Michael I. Jordan, David A. Patterson

SOCC ’10: Symposium on Cloud Computing | January 2010

Dustin Moody, Daniel Shumow, Dan Shumow

January 2010

Tolga Acar, Dan Shumow

January 2010 | édition (in preparation)

(in preparation)

Craig Costello, Tanja Lange, Michael Naehrig

Public Key Cryptography — PKC 2010 | January 2010

Projet

Shafi Goldwasser, Yael Tauman Kalai, Chris Peikert , Vinod Vaikuntanathan

Innovations in Computer Science | January 2010