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

José Bacelar Almeida(University of Minho), Thomas Schneider(Ruhr University Bochum), Stephan Krenn(Bern University of Applied Sciences), Endre Bangerter(Bern University of Applied Sciences), Manuel Barbosa, Ahmad‐Reza Sadeghi(Technische Universität Darmstadt)
Lecture notes in computer science
January 1, 2010
10.1007/978-3-642-15497-3_10
Cited by 52

Related Papers

Security and privacy challenges in industrial internet of things
|Unknown|2015|906
IoT SENTINEL: Automated Device-Type Identification for Security Enforcement in IoT
|Unknown|2017|656
Return-oriented programming without returns
|Unknown|2010|538
Just-In-Time Code Reuse: On the Effectiveness of Fine-Grained Address Space Layout Randomization
|Unknown|2013|513
Unsafe exposure analysis of mobile in-app advertisements
|Unknown|2012|501