R
RAM-SC for CBMC-GC
Extension for CBMC-GC that allows to study the runtime of RAM-SC programs. See our paper: Towards Practical RAM Based Secure Computation, Niklas Büscher, Alina Weber, Stefan Katzenbeisser, ESORICS 2018.
-
Niklas Buescher authoredfe66e4e9
| Name |
Last commit
|
Last update |
|---|---|---|
| aby-cbmc-gc | ||
| bin | ||
| examples | ||
| oram-examples | ||
| src | ||
| AUTHORS | ||
| CBMC_NOTES | ||
| LICENSE | ||
| LICENSE_CBMCGC | ||
| Makefile | ||
| README.md | ||
| TODO | ||
| testcmp |