IEEE Symposium on Su0026P
Location: Virtual/Online
Website: IEEE Symposium on S&P (opens in new tab)
Microsoft is proud to be a Platinum sponsor of the 41st IEEE Symposium on Security and Privacy (opens in new tab). See our published papers and presentations below.
Program Committee Members
Melissa Chase
Weidong Cui
Marcus Peinado
Elissa Redmiles
Srinath Setty
Monday, May 18
9:30 AM–10:50 AM PDT | Session #1: Microarchitectural Security | Room 1
Spectector: Principled Detection of Speculative Information Flows
Marco Guarnieri, Boris Köpf, José Morales, Jan Reineke, Andrés Sánchez
9:30 AM–10:50 AM PDT | Session #1: Blockchain I | Room 2
Replicated State Machines Without Replicated Execution
Jonathan Lee, Kirill Nikitin, Srinath Setty
11:20 AM–12:20 PM PDT | Session #2: Machine Learning and Privacy | Room 3
CrypTFlow: Secure TensorFlow Inference
Nishant Kumar (opens in new tab), Mayank Rathee (opens in new tab), Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
Tuesday, May 19
8:10 AM–9:30 AM PDT | Session #4: Memory Safety | Room 1
Cornucopia: Temporal Safety for CHERI Heaps
Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin, David Chisnall, Jessica Clarke, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Alfredo Mazzinghi, Robert Norton, Michael Roe, Peter Sewell, Stacey Son, Timothy M. Jones, Simon Moore, Peter G. Neumann, Robert N. M. Watson
10:00 AM–11:20 AM PDT | Session #5: Rowhammer | Room 2
Are We Susceptible to Rowhammer? An End-to-End Methodology for Cloud Providers
Lucian Cojocar (opens in new tab), Jeremie Kim, Minesh Patel, Lillian Tsai, Stefan Saroiu, Alec Wolman, Onur Mutlu
12:30 PM–1:50 PM PDT | Session #6: Formal Verification | Room 3
EverCrypt: A Fast, Verified, Cross-Platform Crytographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi (opens in new tab), Antione Delignat-Lavaud (opens in new tab), Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph Wintersteiger, Santiago Zanella-Beguelin