RAM-SC for CBMC-GC

Project information

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.

1 Commit
1 Branch
0 Tags

README
GNU General Public License v3.0 or later

Created on

September 17, 2018

Loading