Verification of Deep Neural Networks with KGZ-based zkSNARK

Research output: Chapter in Book or Conference Publication/ProceedingConference Publicationpeer-review

Original languageUndefined/Unknown
Title of host publicationThe 10th Intelligent Systems Conference (IntelliSys 2024)
DOIs
Publication statusPublished - 29 Aug 2024

Publication series

NameThe 10th Intelligent Systems Conference (IntelliSys 2024)

Cite this