Security, privacy, and cryptography
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…
Career Opportunity
Principal Data and Applied Scientist – Engineering Operations
Are you a customer-obsessed, AI-curious problem-solver who thrives in an inclusive, collaborative global team? Join Engineering Operations (EngOps) – the organization driving operational excellence across the Microsoft Cloud to strengthen quality, reliability, security, and customer…
Microsoft Research Blog
Red-teaming a network of agents: Understanding what breaks when AI agents interact at scale
Safe agents don’t guarantee a safe ecosystem of interconnected agents. Microsoft Research examines what breaks when AI agents interact and why network-level risks require new approaches.
