출판 Private Set Intersection in the Internet Setting from Lightweight Oblivious PRF Melissa Chase, Peihan Miao Crypto 2020 | August 2020
출판 CrypTFlow2: Practical 2-Party Secure Inference Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma 27th Annual Conference on Computer and Communications Security (ACM CCS 2020) | August 2020 프로젝트
출판 SANNS: Scaling Up Secure Approximate k-Nearest Neighbors Search Hao Chen (haoche), Ilaria Chillotti, Yihe Dong, Oxana Poburinnaya, Ilya Razenshteyn (ilyaraz), M. Sadegh Riazi USENIX Security | August 2020
출판 Visor: Privacy-Preserving Video Analytics as a Cloud Service Rishabh Poddar, Ganesh Ananthanarayanan, Srinath Setty, Stavros Volos, Raluca Ada Popa 29th USENIX Security Symposium | August 2020 CSAW 2020 Applied Research Competition Award (Runner-up) 프로젝트 프로젝트 프로젝트
출판 Spartan: Efficient and general-purpose zkSNARKs without trusted setup Srinath Setty 40th Annual International Cryptology Conference | August 2020 Github
출판 KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities Weiteng Chen, Xiaochen Zou, Guoren Li, Zhiyun Qian 29th USENIX Security Symposium (USENIX Security 20) | August 2020
출판 Operationalizing the Legal Principle of Data Minimization for Personalization Asia J. Biega, Peter Potash, Hal Daumé III, Fernando Diaz, Michèle Finck SIGIR 2020 | July 2020
출판 Nineteen cybersecurity best practices used to implement the seven properties of highly secured devices in Azure Sphere Edmund B Nightingale, P. Orwick MSR-TR-2020-56 | July 2020 글쓴이 Microsoft
출판 Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel Verified Software: Theories, Tools, Experiments (VSTTE) | July 2020