Applied Cryptography and Network Security
Springer Nature Switzerland
Chapter title |
SNARKProbe : An Automated Security Analysis Framework for zkSNARK Implementations
|
---|---|
Chapter number | 14 |
Book title |
Applied Cryptography and Network Security
|
Published by |
Springer, Cham, January 2024
|
DOI | 10.1007/978-3-031-54773-7_14 |
Book ISBNs |
978-3-03-154772-0, 978-3-03-154773-7
|
Authors |
Fan, Yongming, Xu, Yuquan, Garman, Christina |