Aegon: Self-Auditable Key Transparency
Key transparency enables a centralized encrypted messaging provider to publicly commit to the public keys it distributes, allowing clients to detect potentially malicious keys. Recent deployments by WhatsApp and iMessage demonstrate the promise of this…
Proof-based general-purpose computing with Magnetar
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security.
Principal Applied Scientist – Ads Fraud Detection
As a Principal Applied Scientist on the Microsoft Ads Fraud Detection team, you will lead the most complex and ambiguous fraud challenges: designing new anomaly detection approaches to surface emerging attacks early, building robust cross-signal…
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…