Security, privacy, and cryptography
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).…
Video
Supersingular abelian varieties and modular forms
We give a survey on old and new results on relations between geometric invariants of principally polarized supersingular abelian varieties and arithmetic invariants of quaternion hermitian forms (such as the numbers of polarizations and irreducible…
Publication
Privacy Integrated Queries
Publication