CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.

Martin Franz Andreas Holzer Stefan Katzenbeisser Christian Schallhart Helmut Veith

Published in: CC (2014)

Keyphrases

key agreement protocol
programming language
general purpose
user authentication
distributed memory machines
software systems
record linkage
security mechanisms
security protocols
code generation
database
security requirements
security level
secure communication
highly optimized