Marek Sefranek

Dipl.-Ing. / BSc

Role

How (Not) to Simulate PLONK / Sefranek, M. (2024). How (Not) to Simulate PLONK. In Security and Cryptography for Networks (pp. 96–117). https://doi.org/10.1007/978-3-031-71070-4_5
Projects: COnFIDE (2020–2027) / SFB SPyCoDe (2023–2026)
How to simulate PLONK: A formal security analysis of a zk-SNARK / Sefranek, M. (2023). How to simulate PLONK: A formal security analysis of a zk-SNARK [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.111120
Download: PDF (961 KB)