Login / Signup

SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations.

Yongming FanYuquan XuChristina Garman
Published in: ACNS (2) (2024)
Keyphrases
  • security analysis
  • quadtree
  • public key
  • user authentication