Security, privacy, and cryptography

Microsoft Research Blog

Research Focus: Week of April 29, 2024

May 2, 2024 | Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri, Anirudh Khatry, Sumit Gulwani, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen, Daniela Massiceti, Camilla Longden, Agnieszka Slowik, Martin Grayson, Cecily Morrison, Giovanni Cherubin, Andrew Paverd, Boris Köpf, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin

In this edition: Can LLMs transform natural language into formal method postconditions; Semantically aligned question + code generation for automated insight generation; Explaining CLIP performance disparities on blind/low vision data; plus recent news.

Publication

Invariant Aggregator for Defending against Federated Backdoor Attacks

Xiaoya Wang, Dimitrios Dimitriadis, Oluwasanmi Koyejo, Shruti Tople

International Conference on Artificial Intelligence and Statistics, AISTATS | May 2024

Editor(s): Sanjoy Dasgupta, Stephan Mandt, Yingzhen Li

Project

Publication

Orca: FSS-based Secure Training and Inference with GPUs

Neha Jawalkar, Kanav Gupta, Arkaprava Basu, Nishanth Chandran, Divya Gupta, Rahul Sharma

2024 IEEE Symposium on Security and Privacy | May 2024

Project

Publication

Selective Pre-training for Private Fine-tuning

Da Yu, Sivakanth Gopi, Janardhan (Jana) Kulkarni, Zinan Lin, Saurabh Naik, Tomasz Lukasz Religa, Jian Yin, Huishuai Zhang

TMLR | May 2024

Project

Publication

Jolt: SNARKs for Virtual Machines via Lookups

Arasu Arun, Srinath Setty, Justin Thaler

Eurocrypt | May 2024

Publication

Unlocking the lookup singularity with Lasso

Srinath Setty, Justin Thaler, Riad Wahby

Eurocrypt | May 2024

Publication

A Principled Approach Towards Unapologetic Security

Jay Bosamiya

May 2024

PhD Thesis: Carnegie Mellon University | May 2024

Publication

Efficiently Computing Similarities to Private Datasets

Arturs Backurs, Zinan Lin, Sepideh Mahabadi, Sandeep Silwal, Jakub Tarnawski

ICLR 2024 | May 2024

Project

Publication

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety

Nathaniel Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert Norton-Wright, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson

ASPLOS ’24 | April 2024

Project

Dataset Source Code

VeriSMo Research Prototype

VeriSMo: A formally verified security module for AMD confidential VMs.

GitHub Publication

Security, privacy, and cryptography

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Closed-Form Bounds for DP-SGD against Record-level Inference

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

Research Focus: Week of April 29, 2024

Invariant Aggregator for Defending against Federated Backdoor Attacks

Orca: FSS-based Secure Training and Inference with GPUs

Selective Pre-training for Private Fine-tuning

Jolt: SNARKs for Virtual Machines via Lookups

Unlocking the lookup singularity with Lasso

A Principled Approach Towards Unapologetic Security

Efficiently Computing Similarities to Private Datasets

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety

VeriSMo Research Prototype

Security, privacy, and cryptography

Highlights