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 |
