Security, privacy, and cryptography
Project
Automated Test Generation (ATG)
Overview We are conducting research on automating software testing using (static and dynamic) program analysis with the goal of building testing tools that are automatic, scalable and check many properties. Our work combines program analysis,…
Microsoft Research Blog
Innovation Inquiries: The Birth of a Research Lab
By Rob Knies, Managing Editor, Microsoft Research Since Microsoft Research New England was announced on Feb. 4, Jennifer Chayes, managing director of the lab, based in Cambridge, Mass., has been hard at work along with…
Publication
Can “Something You Know” be Saved?
Video
Incentivizing Outsourced Computation
We describe different strategies a central authority, the boss, can use to distribute computation to untrusted contractors. Our problem is inspired by volunteer distributed computing projects such as SETI@home, which outsource computation to large numbers…
Publication