All times are displayed in UTC – 05:00
Monday, November 9
CCSW 2020: The ACM Cloud Computing Security Workshop
Committee Members: Leendert Van Doorn (opens in new tab), Kristin Lauter (opens in new tab)
Tuesday, November 10
2:30 – 3:30 | ML and Information Leakage
CrypTFlow: Practical 2-Party Secure Inference (opens in new tab)
Deevashwer Rathee (opens in new tab), Mayank Rathee (opens in new tab), Nishant Kumar (opens in new tab), Nishanth Chandran (opens in new tab), Divya Gupta (opens in new tab), Aseem Rastogi (opens in new tab), Rahul Sharma (opens in new tab)
Analyzing Information Leakage of Updates to Natural Language Models (opens in new tab)
Santiago Zanella-Béguelin (opens in new tab), Lukas Wutschitz (opens in new tab), Shruti Tople (opens in new tab), Victor Rühle (opens in new tab), Andrew Paverd (opens in new tab), Olga Ohrimenko, Boris Köpf (opens in new tab), Marc Brockschmidt (opens in new tab)
Wednesday, November 11
12:45 – 1:45 | Formal Methods
HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms) (opens in new tab)
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko (opens in new tab), Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin (opens in new tab)
Thursday, November 12
12:45 – 1:45 | Secure Messaging and Key Exchange
The Signal Private Group System and Anonymous Credentials Supporting Efficient Verifiable Encryption
Melissa Chase (opens in new tab), Trevor Perrin, Greg Zaverucha (opens in new tab)
Friday, November 13
13th ACM Workshop on Artificial Intelligence and Security
Program Committee Members: Hyrum Anderson (opens in new tab), Milenko Drinic (opens in new tab)