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