| Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts |
37th IEEE Symposium on Security and Privacy
|
| "Quantum" Classification of Malware |
DEF CON 23
|
| ObliVM: A Programming Framework for Secure Computation |
36th IEEE Symposium on Security and Privacy
|
| Automating Efficient RAM-Model Secure Computation |
35th IEEE Symposium on Security and Privacy
|
| Quantifying Information Flow for Dynamic Secrets |
35th IEEE Symposium on Security and Privacy
|
| PermaCoin: Repurposing Bitcoin Work for Data Preservation |
35th IEEE Symposium on Security and Privacy
|
| Wysteria: A Programming Language for Generic, Mixed-mode Multiparty Computations |
35th IEEE Symposium on Security and Privacy
|
| Secure Multiparty Computation |
RSAC USA 2012
|