| Self-Verifying Authentication – A Framework for Safer Integrations of Single-Sign-On Services |
Black Hat Europe 2017
|
| Forward and Backward Private Searchable Encryption from Constrained Cryptographic Primitives |
ACM CCS 2017
|
| 1000 Ways to Die in Mobile OAuth |
Black Hat USA 2016
|
| Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation |
37th IEEE Symposium on Security and Privacy
|
| Geppetto: Versatile Verifiable Computation |
36th IEEE Symposium on Security and Privacy
|
| Pivot: Fast, Synchronous Mashup Isolation Using Generator Chains |
35th IEEE Symposium on Security and Privacy
|