Publication Do Strong Web Passwords Accomplish Anything? Dinei Florencio, Cormac Herley, Baris Coskun Proc. Second USENIX Workshop on Hot Topics in Security (HotSec ’07) | August 2007
Publication Ring Signatures of Sub-linear Size Without Random Oracles Nishanth Chandran, Jens Groth, Amit Sahai Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland | July 2007 ISBN: 978-3-540-73419-2
Publication Secure Implementations for Typed Session Abstractions Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, Karthik Bhargavan, James Leifer To appear in the proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF 2007 | July 2007
Publication Design and Semantics of a Decentralized Authorization Language Moritz Becker, Cédric Fournet, Andy Gordon MSR-TR-2006-120 | July 2007 ISBN: 0-7695-2819-8 Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE
Publication A Type Discipline for Authorization in Distributed Systems Cédric Fournet, Andy Gordon, Sergio Maffeis MSR-TR-2007-47 | July 2007 ISBN: 0-7695-2819-8 20th IEEE Computer Security Foundations Symposium, 2007. CSF '07.
Publication Active Property Checking Patrice Godefroid, Michael Y. Levin, David Molnar MSR-TR-2007-91 | July 2007
Publication Ballot Casting Assurance via Voter-Initiated Poll Station Auditing Josh Benaloh Proceedings of the 2007 Electronic Voting Technology Workshop | June 2007
Publication Do Strong Web Passwords Accomplish Anything? Dinei Florencio, Cormac Herley, Baris Coskun MSR-TR-2007-64 | June 2007
Publication Endorsed E-Cash Jan Camenisch, Anna Lysyanskaya, Mira Belenkiy IEEE Symposium on Security and Privacy | June 2007
Publication A graph game model for software tamper protection Nenad Dedic, Mariusz Jakubowski, Ramarathnam Venkatesan Information Hiding 2007 | June 2007 Information Hiding 2007