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.
GitLab 15.0 has launched! Please visit Breaking changes in 15.0 and 15.0 Removals to see which breaking changes may impact your workflow.
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.