Security, privacy, & cryptography
Developing technologies that protect data, preserve privacy, and build trustworthy computing systems.
Microsoft Research Blog
Estimating Hidden Bug Count — Part 3/3
Part 1: Introduction and Basic Theory > Part 2: Accounting for Bug Fixes > Part 4: Step By Step Guide This is just a summary of the previous chapters as a flow chart (click here for…
Project
Ironclad
An Ironclad App lets a user securely transmit her data to a remote machine with the guarantee that every instruction executed on that machine adheres to a formal abstract specification of the app’s behavior. This…
Microsoft Research Blog
Estimating Hidden Bug Count — Part 2/3
Part 1: Introduction and Basic Theory > Part 3: Harsh Reality That simple logic is nice, but practice makes it questionable for at least two reasons: Bugs found by either of the parties are fixed.…
Microsoft Research Blog
Estimating Hidden Bug Count — Part 1/3
Part 1: Introduction Probably every piece of software has some defects in it. Known defects (also called bugs) are found by manufacturers and users and fixed. Unknown ones remain there, waiting to be discovered some…
Publication
Weak Instances of PLWE
Project
Zero-Effort Payments
Zero-Effort Payments (ZEP) is a seamless mobile computing system designed to accept payments with no effort on the customer’s part beyond a one-time opt-in. With ZEP, customers need not present cards nor operate smartphones to…