Created on December 10, 2023
2023
Seminar Presentation @ETH’s AST Lab (2023): ZK Security and Formal Methods