Publication An Ad Omnia Approach to Defining and Achieving Private Data Analysis Cynthia Dwork Privacy, Security, and Trust in KDD—PinKDD 2007 | August 2007 2009 PET Award for Outstanding Research in Privacy Enhancing Technologies. Project
Publication Asymmetric Gradient Boosting with Application to Spam Filtering Jingrui He, Bo Thiesson Fourth Conference on Email and Anti-Spam | August 2007
Publication A Type Discipline for Authorization Policies Cédric Fournet, Andy Gordon, Sergio Maffeis ACM Transactions on Programming Languages and Systems | August 2007, Vol 29(5)
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
