출판 Improved Security for a Ring-Based Fully Homomorphic Encryption Scheme Joppe Bos, Kristin Lauter, Jake Loftus, Michael Naehrig MSR-TR-2013-23 | February 2013
출판 Verito: A Practical System for Transparency and Accountability in Virtual Economies Raghav Bhaskar, Saikat Guha, Srivatsan Laxman, Prasad Naldurg Proceedings of the Network and Distributed Systems Security Symposium (NDSS) | February 2013 Proceedings of the Network and Distributed Systems Security Symposium (NDSS)
출판 InteGuard: Toward Automatic Protection of Third-Party Web Service Integrations Luyi Xing, Yangyi Chen, XiaoFeng Wang, Shuo Chen Network & Distributed System Security Symposium (NDSS) | February 2013 Network & Distributed System Security Symposium (NDSS)
출판 ZQL: A Compiler for Privacy-Preserving Data Processing Cédric Fournet, Markulf Kohlweiss, George Danezis MSR-TR-2013-25 | February 2013 동영상
출판 Missive: Fast Appliance Launch From an Untrusted Buffer Cache Jon Howell, Jeremy Elson, Bryan Parno, John (JD) Douceur MSR-TR-2013-9 | January 2013
출판 How to Run POSIX Apps in a Minimal Picoprocess Jon Howell, Bryan Parno, John (JD) Douceur MSR-TR-2013-10 | January 2013
출판 Orthogonal Security With Cipherbase Arvind Arasu, Spyros Blanas, Ken Eguro, Raghav Kaushik, Donald Kossmann, Ravi Ramamurthy, Ramarathnam Venkatesan 6th Biennial Conference on Innovative Data Systems Research (CIDR’13) | January 2013 6th Biennial Conference on Innovative Data Systems Research (CIDR'13)
출판 Fully Automated Analysis of Padding-Based Encryption in the Computational Model Gilles Barthe, Juan Manuel Crespo, César Kunz, Benedikt Schmidt, Benjamin Grégoire, Yassine Lakhnech, Santiago Zanella-Béguelin 20th ACM Conference on Computer and Communications Security, CCS 2013 | January 2013