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.