January 1, 2010· Lecture notes in computer science
conference-paper
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Σ-Protocols
Authors:José Bacelar AlmeidaEndre BangerterManuel BarbosaStephan KrennAhmad‐Reza SadeghiThomas Schneider
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.