Security, privacy, and cryptography
Microsoft Research Blog
Vega: Zero-knowledge proofs for digital identity in the age of AI
Vega turns a full credential into a single proof, sharing only what is needed and nothing more, with performance that works in real apps.
Microsoft Research Blog
SocialReasoning-Bench: Measuring whether AI agents act in users’ best interests
Using SocialReasoning Bench, we observed a stable pattern across models—agents execute competently, but fail to consistently improve the user’s position, even with explicit instructions to optimize for user interest.
Video
Language-Agnostic Detection of Bugs in Zero-Knowledge Proof Programs
Host: Greg Zaverucha, Microsoft ResearchSpeaker(s): Arman Kolozyan, Max Planck Institute for Security and Privacy Zero-knowledge proofs (ZKPs) allow a prover to convince a verifier of a statement’s truth without revealing any other information. In recent…
