Travelled to:1 × Austria
1 × France
Collaborated with:R.Sion S.Bajaj B.Carbunar M.Franz A.Holzer C.Schallhart H.Veith
Talks about:searchabl (1) network (1) correct (1) comput (1) compil (1) store (1) secur (1) parti (1) cbmc (1) ansi (1)
Person: Stefan Katzenbeisser
DBLP: Katzenbeisser:Stefan
Contributed to:
2014
2007Wrote 2 papers:
- CC-2014-FranzHKSV #c #compilation #named
- CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations (MF, AH, SK, CS, HV), pp. 244–249.
- VLDB-2007-SionBCK #correctness #named
- NS2: Networked Searchable Store with Correctness (RS, SB, BC, SK), pp. 1342–1345.