Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| StemJail: Dynamic Role Compartmentalization. | 0 | 0.34 | 2016 |
| CamlCrush: A PKCS\#11 Filtering Proxy. | 0 | 0.34 | 2015 |
| Caml Crush: A PKCS#11 Filtering Proxy. | 0 | 0.34 | 2014 |
| A Secure Key Management Interface with Asymmetric Cryptography. | 2 | 0.38 | 2014 |
| Generic Indifferentiability Proofs of Hash Designs | 3 | 0.38 | 2012 |
| Computational Indistinguishability Logic | 18 | 0.71 | 2010 |
| On the Equality of Probabilistic Terms | 7 | 0.44 | 2010 |
| Towards automated proofs for asymmetric encryption schemes in the random oracle model | 24 | 0.86 | 2008 |