Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Oblivious Algebraic Data Types | 0 | 0.34 | 2022 |
| HACCLE: metaprogramming for secure multi-party computation | 0 | 0.34 | 2021 |
| A verified protocol buffer compiler. | 0 | 0.34 | 2019 |
| Narcissus: correct-by-construction derivation of decoders and encoders from binary formats | 1 | 0.37 | 2019 |