TASTY: Tool for Automating Secure Two-partY computations

2010 - Wilko Henecka, Ahmad-Reza Sadeghi, Thomas Schneider, Immo Wehrenberg

17th ACM Conference on Computer and Communications Security (CCS'10). ACM, October 4-8, Chicago, USA. [ACM CCS] [tastyproject.net]

A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols

2010 - José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider

15th European Symposium on Research in Computer Security (ESORICS'10), September 20-22, Athens, Greece. [pdf]