KIT | KIT-Bibliothek | Impressum | Datenschutz

Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-Honest Sender

Böhl, Florian 1; Greiner, Simon 1; Scheidecker, Patrik
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)


Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2014
Sprache Englisch
Identifikator ISBN: 978-331-91227-9-3
KITopen-ID: 1000069620
HGF-Programm 46.12.03 (POF II, LK 01)
Erschienen in 13th International Conference on Cryptology and Network Security (CANS) - Heraklion, Crete, Greece, October 22-24, 2014. Ed.: D. Gritzalis
Verlag Springer-Verlag
Seiten 175-190
Serie Lecture Notes in Computer Science book series (LNCS) ; 8813
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page