Cryptology ePrint Archive: Report 2010/339
Available versions in chronological order
20100613:182331 (posted 13-Jun-2010 18:23:31 UTC)
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on $\Sigma$-Protocols
Jose Bacelar Almeida and Endre Bangerter and Manuel Barbosa and Stephan Krenn and Ahmad-Reza Sadeghi and Thomas Schneider
Publication Info: accepted for ESORICS 2010
20100614:085003 (posted 14-Jun-2010 08:50:03 UTC)
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on $\Sigma$-Protocols
Jose Bacelar Almeida and Endre Bangerter and Manuel Barbosa and Stephan Krenn and Ahmad-Reza Sadeghi and Thomas Schneider
Publication Info: An extended abstract of this work will be presented at ESORICS 2010
20100804:134246 (posted 04-Aug-2010 13:42:46 UTC)
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on $\Sigma$-Protocols
Jose Bacelar Almeida and Endre Bangerter and Manuel Barbosa and Stephan Krenn and Ahmad-Reza Sadeghi and Thomas Schneider
Publication Info: An extended abstract of this work will be presented at ESORICS 2010
20100804:151510 (posted 04-Aug-2010 15:15:10 UTC)
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on $\Sigma$-Protocols
Jose Bacelar Almeida and Endre Bangerter and Manuel Barbosa and Stephan Krenn and Ahmad-Reza Sadeghi and Thomas Schneider
Publication Info: An extended abstract of this work will be presented at ESORICS 2010
[
Cryptology ePrint archive
]