Login / Signup
Practical Security Analysis of Zero-Knowledge Proof Circuits.
Hongbo Wen
Jon Stephens
Yanju Chen
Kostas Ferles
Shankara Pailoor
Kyle Charbonnet
Isil Dillig
Yu Feng
Published in:
USENIX Security Symposium (2024)
Keyphrases
</>
security analysis
high security
security requirements
smart card
public key
security model
image encryption
encryption scheme
encryption algorithm
security properties
information security
authentication protocol
user authentication
private key
authentication scheme
proxy signature scheme