Security, privacy, & cryptography
Developing technologies that protect data, preserve privacy, and build trustworthy computing systems.
Video
Haechi: Simple Commitment-based Keyless In-person Verifiable Elections
For decades, verifiable election systems have typically relied on encrypting ballots to maintain voter privacy. Encryption requires keys, and the management of these keys is usually one of the most cumbersome and error-prone components of…
Career Opportunity
AI Security Researcher II
Join Microsoft’s AI Red Team research team, where you will help define the frontier of AI security research for agents. We are looking for an AI Security Researcher II who can frame open research questions,…
Career Opportunity
Principal Applied Science Manager – Foundation Models, Agents & Trust Systems
Microsoft Advertising serves ads across search, native, display, video, commerce, and emerging AI-powered experiences. We are seeking a Principal Applied Science Manager to lead the science organization responsible for risk, editorial quality, moderation, policy enforcement,…
Microsoft Research Blog
Verifying Rust cryptography in SymCrypt, from standards to code
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves.
