Publication The Dark Menace: Characterizing Network-based Attacks in the Cloud Rui Miao, Rahul Potharaju, Minlan Yu, Navendu Jain IMC’15, October 28-30, 2015, Tokyo, Japan. | October 2015
Publication IronFleet: Proving Practical Distributed Systems Correct Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill Proceedings of the ACM Symposium on Operating Systems Principles (SOSP) | October 2015 Project
Publication Sunlight: Fine-grained Targeting Detection at Scale with Statistical Confidence Mathias Lecuyer, Riley Spahn, Giannis Spiliopoulos, Augustin Chaintreau, Roxana Geambasu, Daniel Hsu CCS’15 | October 2015
Publication Inference Attacks Against Property-Preserving Encrypted Databases Muhammad Naveed, Seny Kamara, Charles V. Wright Conference on Computer and Communications Security (CCS ’15) | October 2015
Publication How to Use Bitcoin to Play Decentralized Poker Ranjit Kumaresan, Tal Moran, Iddo Bentov CCS ’15 Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security | October 2015 ISBN: 978-1-4503-3832-5
Publication Fast Non-Malleable Commitments Hai Brenner, Vipul Goyal, Silas Richelson, Alon Rosen, Margarita Vald CCS ’15 Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security | October 2015
Publication Perspectives on Security (slides) Butler Lampson 25th ACM Symposium on Operating Systems Principles | October 2015 Slides
Publication Fast, uniform, and compact scalar multiplication for elliptic curves and genus 2 Jacobians with applications to signature schemes Ping Ngai Chung, Craig Costello, Benjamin Smith MSR-TR-2015-81 | October 2015
Publication Moat: Verifying Confidentiality of Enclave Programs Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia, Kapil Vaswani The ACM Conference on Computer and Communications Security (CCS) | October 2015
Publication Key Recovery for LWE in Polynomial Time Kim Laine, Kristin Lauter IACR Cryptology ePrint Archive | October 2015 Project