Security, privacy, and cryptography

Publication

Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing

Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein

IEEE Symposium on Security and Privacy (S&P) | May 2023

Publication

Denoising Masked Auto-encoders Helps Robust Classification

QuanLin Wu, Hang Ye, Yuntian Gu, Huishuai Zhang, Liwei Wang, Di He

International Conference on Learning Representations (ICLR) 2023 | May 2023

Publication

Exploring the Limits of Differentially Private Deep Learning with Group-wise Clipping

Jiyan He, Xuechen Li, Da Yu, Huishuai Zhang, Janardhan (Jana) Kulkarni, Yin Tat Lee, Arturs Backurs, Nenghai Yu, Jiang Bian

International Conference on Learning Representations (ICLR) 2023 | May 2023

Publication

Adversarial Noises Are Linearly Separable for (Nearly) Random Neural Networks

Huishuai Zhang, Da Yu, Yiping Lu, Di He

International Conference on Artificial Intelligence and Statistics (AIStats) | April 2023

Publication

A Security Study about Electron Applications and a Programming Methodology to Tame DOM Functionalities

Zihao Jin, Shuo Chen, Yang Chen, Haixin Duan, Jianjun Chen, Jianping Wu

Symposium on Network and Distributed System Security (NDSS) | March 2023

Publication

Distribution Inference Risks: Identifying and Mitigating Sources of Leakage

Valentin Hartmann, Leo Meynent, Maxime Peyrard, Dimitrios Dimitriadis, Shruti Tople, Robert West

IEEE Conference on Secure and Trustworthy Machine Learning (SatML) | February 2023

Career Opportunity

Research Intern – AI Security Intern

Type: Internship

Posted: January 25, 2023

Location(s): Redmond, WA, US

Research Area(s): Artificial intelligence, Security, privacy, and cryptography

Special Projects at Microsoft Research is offering a research internship with a focus on novel AI methods and techniques as applied to a next generation cyber-security sensing platform. Microsoft is investing in automating the hunt…

Career Opportunity

Research Intern – Centralized Bank Digital Currencies

Type: Internship

Posted: January 2, 2023

Location(s): Redmond, WA, US

Research Area(s): Economics, Security, privacy, and cryptography

The Decentralized Social Technology Collaboratory is a new Microsoft Research Special Project connecting nearly 100 Microsoft full-time employees and nearly two dozen researchers as well as academic and industry partners at institutions like Harvard and…

Publication

ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER

Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy

Certified Programs and Proofs | January 2023

Accepted for publication, to appear

Publication

FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores

Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy

Certified Programs and Proofs | January 2023

Accepted for publication, to appear

Security, privacy, and cryptography

RESTler finds security and reliability bugs through automated fuzzing

Now on demand! Post-quantum cryptography: Supersingular isogenies for beginners

Quantum-safe cryptography: Securing today’s data against tomorrow’s computers

HE compilers for Private AI and other game changers with Dr. Olli Saarikivi

Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing

Denoising Masked Auto-encoders Helps Robust Classification

Exploring the Limits of Differentially Private Deep Learning with Group-wise Clipping

Adversarial Noises Are Linearly Separable for (Nearly) Random Neural Networks

A Security Study about Electron Applications and a Programming Methodology to Tame DOM Functionalities

Distribution Inference Risks: Identifying and Mitigating Sources of Leakage

Research Intern – AI Security Intern

Research Intern – Centralized Bank Digital Currencies

ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER

FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores

Security, privacy, and cryptography

Highlights