Verification of Deep Neural Networks with KGZ-based zkSNARK

Research output: Chapter in Book or Conference Publication/Proceeding › Conference Publication › peer-review

Original language	Undefined/Unknown
Title of host publication	The 10th Intelligent Systems Conference (IntelliSys 2024)
DOIs	https://doi.org/10.1007/978-3-031-66336-9_6
Publication status	Published - 29 Aug 2024

Name	The 10th Intelligent Systems Conference (IntelliSys 2024)

Access to Document

@inproceedings{1a37fc812a344569bf154699a33d7f28,

title = "Verification of Deep Neural Networks with KGZ-based zkSNARK",

author = "Subhasis Thakur and Breslin, \{John G\}",

year = "2024",

month = aug,

day = "29",

doi = "10.1007/978-3-031-66336-9\_6",

language = "Undefined/Unknown",

series = "The 10th Intelligent Systems Conference (IntelliSys 2024)",

booktitle = "The 10th Intelligent Systems Conference (IntelliSys 2024)",

}

TY - GEN

T1 - Verification of Deep Neural Networks with KGZ-based zkSNARK

AU - Thakur, Subhasis

AU - Breslin, John G

PY - 2024/8/29

Y1 - 2024/8/29

U2 - 10.1007/978-3-031-66336-9_6

DO - 10.1007/978-3-031-66336-9_6

M3 - Conference Publication

T3 - The 10th Intelligent Systems Conference (IntelliSys 2024)

BT - The 10th Intelligent Systems Conference (IntelliSys 2024)

ER -