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

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

Scopus

Seitenaufrufe: 79
seit 12.05.2018

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