Publications
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations
Author | Franz, Martin; Holzer, Andreas; Katzenbeisser, Stefan; Schallhart, Christian; Veith, Helmut |
---|---|
Date | 2014 |
Type | Conference Proceedings |
In | Compiler Construction (CC)2014, Lecture Notes in Computer Science, p.244-249 |
Partn | TUD-CS-2014-0957 |
Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/101868 |