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.
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.