Publicly-verifiable elections
Microsoft’s free, open-source ElectionGuard tools enable voters to verify their votes were accurately counted without compromising privacy or trusting election equipment or personnel. New research eliminates the need for cryptographic keys, making the process far…
Reducing Privacy leaks in AI: Two approaches to contextual integrity
New research explores two ways to give AI agents stronger privacy safeguards grounded in contextual integrity. One adds lightweight, inference-time checks; the other builds contextual awareness directly into models through reasoning and RL.
CHERI-Lite for Memory Safety Exploit Mitigation
Designing safe digital systems for the humanitarian sector
Speaker: Carmela Troncoso Host: Betül Durak In this talk we overview our collaboration with the International Committee of the Red Cross, in which we help them to digitalize their aid distribution process without increasing risks…
BlueCodeAgent: A blue teaming agent enabled by automated red teaming for CodeGen AI
BlueCodeAgent is an end-to-end blue-teaming framework built to boost code security using automated red-teaming processes, data, and safety rules to guide LLMs’ defensive decisions. Dynamic testing reduces false positives in vulnerability detection.
Knowledge-Coin Fair Exchange
Fair exchange has been studied in computer science for many decades. The problem consists of enabling two participants to exchange digital information in a way which is fair, even when one may be malicious. The…
Research Intern – Security Research Group, Microsoft Research Redmond
The Security Research Group at Microsoft Research Redmond works on a variety of areas to ensure computer systems are secure and trustworthy. Its current work investigates systems that leverage general software/systems security, confidential computing, formal…
Research Intern – Fundamentals of AI: Security, Agents, Systems & Control
We are seeking multiple Research Interns to work with researchers in Microsoft Research Special Projects and the Deep Learning Group, alongside partner product teams, to advance core AI research across security, agentic workflows, and next‑generation…