SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations.

Yongming Fan, Yuquan Xu, Christina Garman

Browse the full ACNS paper archive.