Security, privacy, and cryptography

论文与出版物

Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks

Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, Stavros Volos

2026 IEEE Symposium on Security and Privacy | May 2026

Accepted at IEEE SP 2025, publication delayed due to embargo.

项目

视频

CROSS — Leveraging AI ASICs for Homomorphic Encryption

2026年3月6日 | Jianming Tong

Artificial Intelligence (AI) is dri…

52:29

岗位

Research Intern – AI Safety and Security

Posted: 2026年3月4日

地点: Redmond, WA, US

研究领域: Artificial intelligence, Security, privacy, and cryptography

Protecting large language models (L…

视频

Hardware Realization and Implementation Security Evaluation of HQC, A NIST PQC Standard

2026年2月26日 | Sanjay Deshpande

Quantum computing is no longer a di…

48:48

岗位

Research Intern – Cryptography and Applications

Posted: 2026年2月19日

地点: Redmond, WA, US

研究领域: Security, privacy, and cryptography

As a Research Intern in the Strateg…

微软研究院博客

Media Authenticity Methods in Practice: Capabilities, Limitations, and Directions

2026年2月19日 | Eric Horvitz, Andrew Jenks, Jessica Young

As synthetic media grows, verifying…

three white outline icons on a blue-to-pink gradient background: an image with a copyright “CR” badge, an image overlaid with fingerprint-like lines, and an image framed by a cropping grid.

论文与出版物

PE-SGD: Differentially Private Deep Learning via Evolution of Gradient Subspace for Text

Tianyuan Zou, Zinan Lin, Sivakanth Gopi, Yang Liu, Ya-Qin Zhang, Robert Sim, Xin Deng, Sergey Yekhanin

ICLR 2026 | February 2026

项目

论文与出版物

From Easy to Hard++: Promoting Differentially Private Image Synthesis Through Spatial-Frequency Curriculum

Chen Gong, Kecen Li, Zinan Lin, Tianhao Wang

Usenix Security 2026 | February 2026

项目

视频

Efficient Homomorphic Integer Computer from CKKS

2026年2月9日 | Jaehyung Kim

Fully homomorphic encryption (FHE) …

Jaehyung Kim giving a presentation at Microsoft Research

48:48

项目

FineACL

This project studies the data prote…

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

Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks

CROSS — Leveraging AI ASICs for Homomorphic Encryption

Research Intern – AI Safety and Security

Hardware Realization and Implementation Security Evaluation of HQC, A NIST PQC Standard

Research Intern – Cryptography and Applications

Media Authenticity Methods in Practice: Capabilities, Limitations, and Directions

PE-SGD: Differentially Private Deep Learning via Evolution of Gradient Subspace for Text

From Easy to Hard++: Promoting Differentially Private Image Synthesis Through Spatial-Frequency Curriculum

Efficient Homomorphic Integer Computer from CKKS

FineACL

Security, privacy, and cryptography

高亮