Security, privacy, and cryptography
Publication
The Weakness of Cumulative Voting
Publication
Public Evidence from Secret Ballots
Event
Microsoft Research @ SPLASH 2017
We are excited to be participating in SPLASH 2017, the ACM SIGPLAN conference that embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and…
Video
Resilience and Security in Cyber-Physical Systems: Self-Driving Cars and Smart Devices
The future will be defined by autonomous computer systems that are tightly integrated with the environment, also known as Cyber-Physical systems (CPS). Resilience and security become extremely important in these systems, as a single error…
Project
Trusted Platform Module (TPM)
The TPM is a low-cost, but powerful and flexible, crypto-processor. A TPM does many of the things that a smart-card or hardware security module (HSM) does – for example, it is able to create, manage…
Publication