Abstract | ||
---|---|---|
The problem of secure two-party computation has received great attention in the years that followed its introduction by Yao. The solutions proposed follow one of the two research directions of either using homomorphic encryption techniques or implementing Yao's "Garbled Circuit" solution. The latter requires circuits to implement a given functionality. Recently, the compiler CBMC-GC was introduced, the first compiler capable of translating programs written in a general purpose language (ANSI-C) into circuits suitable for secure two-party computation. In this paper, we discuss the current limitations of CBMC-GC and propose directions for future research. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1145/2517872.2517876 | PETShop@CCS |
Keywords | Field | DocType |
general purpose language,current limitation,research direction,compiler construction,compiler cbmc-gc,great attention,secure two-party computation,garbled circuit,homomorphic encryption technique | Homomorphic encryption,Programming language,Computer security,Computer science,Compiler correctness,Theoretical computer science,Compiler,Compiler construction,Secure two-party computation,Computation,General-purpose language | Conference |
Citations | PageRank | References |
0 | 0.34 | 15 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andreas Holzer | 1 | 197 | 13.62 |
Nikolaos P. Karvelas | 2 | 18 | 3.84 |
Stefan Katzenbeisser | 3 | 1844 | 143.68 |
Helmut Veith | 4 | 2476 | 140.58 |
Martin Franz | 5 | 58 | 2.50 |