출판 SSLShader: Cheap SSL Acceleration with Commodity Processors Keon Jang, Sangjin Han, Seungyeop Han, Sue Moon, KyoungSoo Park Proceedings of the 8th USENIX conference on Networked systems design and implementation | April 2011
출판 Omnify: Investigating the Visibility and Effectiveness of Copyright Monitors Rahul Potharaju, Jeff Seibert, Sonia Fahmy, Cristina Nita-Rotuaru Passive and Active Measurements (PAM) | April 2011
출판 ARROW: GenerAting SignatuRes to Detect DRive-By DOWnloads Junjie Zhang, Christian Seifert, Jack W. Stokes, Wenke Lee 2011 The Web Conference | March 2011 프로젝트
출판 Decision Procedures for Composition and Equivalence of Symbolic Finite State Transducers Margus Veanes, David Molnar, Ben Livshits MSR-TR-2011-32 | March 2011
출판 Homomorphic Proofs and Applications Tolga Acar, Lan Nguyen Public Key Cryptography (PKC 2011) | March 2011 Public Key Cryptography (PKC 2011)
출판 Roles, Stacks, Histories: A Triple for Hoare Johannes Borgström, Andy Gordon, Riccardo Pucella Journal of Functional Programming | March 2011, 제 21 권(2): pp. 159-207
출판 Heat-seeking Honeypots: Design and Experience John P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martin Abadi WWW 2011 | March 2011
출판 Link Prediction by De-anonymization: How We Won the Kaggle Social Network Challenge Arvind Narayanan, Elaine Shi, Benjamin Rubinstein Proceedings of the 2011 International Joint Conference on Neural Networks (IJCNN) | February 2011
출판 Differentially Private Billing with Rebates George Danezis, Markulf Kohlweiss, Alfredo Rial, MSR-TR-2011-10 | February 2011 프로젝트
출판 Memoir—Formal Specs and Correctness Proofs John (JD) Douceur, Jay Lorch, Bryan Parno, James Mickens, Jonathan M. McCune MSR-TR-2011-19 | February 2011