Germany
Tobias Rothmann
Advanced@tobias-rothmann
CS Student @ TUM, Topics of Interest: Formal Methods & Cryptography
Polynomial-Commitment-Schemes. Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
10KZG-Polynomial-Commitment-Scheme. Bachelor Thesis - Formalizing the KZG Polynomial Commitment Scheme in Isabelle/HOL.
1ElGamal-Commitment-Scheme. Formalizing the ElGamal Encryption as a Commitment Scheme
1Challenge_Response_Kiosk. Extending SUI's Kiosk for a challenge response protocol
1 views 4 projects
Apply