Security, privacy, & cryptography
Developing technologies that protect data, preserve privacy, and build trustworthy computing systems.
Publication
Symbolic Transducers
Video
Cryptography with Weak, Noisy, Leaky and Tempered Keys
Traditionally, to achieve cryptographic security, we require that users generate long perfectly random keys, store them on a perfectly reliable and secure device, and perfectly shield this device to prevent an attacker from observing or…
Video
Generalized Identity-Based Encryption
My talk will mainly be on new developments in generalized identity-based cryptography. Identity-based cryptography is relatively new technology, less than a decade old, in which a message can be encrypted using any string as a…
Publication
Privacy-friendly Aggregation for the Smart-grid
Publication
An Anonymous Health Care System
Publication
A Firm Foundation for Private Data Analysis
Publication