Publication Shuffle-Sum: Coercion-Resistant Verifiable Tallying for STV Voting Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen, Vanessa Teague Transactions on Information Forensics and Security | January 2009
Publication Nozzle: A Defense Against Heap-spraying Code Injection Attacks Paruj Ratanaworabhan, Ben Livshits, Ben Zorn Proceedings of the Usenix Security Symposium | January 2009 Project
Publication Probabilistically Checkable Arguments Yael Tauman Kalai, Ran Raz Advances in Cryptology – CRYPTO 2009; Lecture Notes in Computer Science, 2009 | January 2009
Publication An observation about variations of the Diffie-Hellman assumption Raghav Bhaskar, Kathekeyan Chandrasekaran, Satya Lokam, Peter Montgomery, Ramarathnam Venkatesan, Yacov Yacobi Serdica Journal of Computing | January 2009
Publication Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009 | January 2009 ISBN: 978-1-60558-379-2
Publication Formal certification of ElGamal encryption. A gentle introduction to CertiCrypt Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella-Béguelin 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008 | January 2009 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008 ISBN: 978-3-642-01464-2
Publication Compact E-Cash and Simulatable VRFs Revisited Mira Belenkiy, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya January 2009
Publication 2-Source Extractors Under Computational Assumptions and Cryptography with Defective Randomness Yael Tauman Kalai, Xin Li, Anup Rao In Proc. 50th IEEE Symposium on Foundations of Computer Science (FOCS) | January 2009
Publication Blind and Anonymous Identity-Based Encryption and Authorised Private Searches on Public Key Encrypted Data Jan Camenisch, Markulf Kohlweiss, Alfredo Rial, Caroline Sheedy January 2009
Publication Enhancing Child Safety and Online Technologies: Final Report of the Internet Safety Technical Task Force John G. Palfrey, danah boyd, Dena Sacco Published by Carolina Academic Press | December 2008
Research
Research