Proving the correct execution of concurrent services in zero-knowledge
Srinath Setty, Sebastian Angel, Trinabh Gupta, and Jonathan Lee
In OSDI 2018 - bibtex

Obladi: Oblivious serializable transactions in the cloud
Natacha Crooks, Matthew Burke, Sitar Harel, Ethan Cecchetti, Rachit Agarwal, and Lorenzo Alvisi
In OSDI 2018 - bibtex

PIR with compressed queries and amortized computation
Sebastian Angel, Hao Chen, Kim Laine, and Srinath Setty
In S&P (Oakland) 2018 - bibtex

Pretzel: Email encryption and provider-supplied functions are compatible
Trinabh Gupta, Henrique Fingler, Lorenzo Alvisi, and Michael Walfish
In SIGCOMM 2017 - bibtex

Unobservable communication over fully untrusted infrastructure
Sebastian Angel and Srinath Setty
In OSDI 2016 - bibtex