| Bolt: Anonymous Payment Channels for Decentralized Currencies |
ACM CCS 2017
|
| Fairness in an Unfair World: Fair Multiparty Computation from Public Bulletin Boards |
ACM CCS 2017
|
| Verified Correctness and Security of mbedTLS HMAC-DRBG |
ACM CCS 2017
|
| A Protocol for Privately Reporting Ad Impressions at Scale |
ACM CCS 2016
|
| Back Doors and Front Doors Breaking the Unbreakable System |
Black Hat USA 2015
|
| Practical Kleptography |
WOOT '14
|
| The Open Crypto Audit Project |
DEF CON 22
|