Security, privacy, and cryptography
Publication
Abductive Authorization Credential Gathering
Publication
A Secure Cryptographic Token Interface
Publication
Economics and the Underground Economy
Microsoft Research Blog
When Is a Browser Not a Browser?
By Janie Chang, Writer, Microsoft Research Once upon a time, Web sites were the online equivalent of data sheets. Now users go to the Web to run business apps, do their banking, buy products, socialize,…
Project
Privacy Integrated Queries (PINQ)
Privacy Integrated Queries is a LINQ-like API for computing on privacy-sensitive data sets, while providing guarantees of differential privacy for the underlying records. The research project is aimed at producing a simple, yet expressive language…
Publication
Runtime Protection via Dataflow Flattening
Video
Modern Computer Arithmetic
This talk is about a book in progress with Richard Brent (ANU, Canberra, Australia). “Modern Computer Arithmetic” collects in the same document all state-of-the-art algorithms in multiple precision arithmetic (integers, integers modulo n, floating-point numbers).…
