This is your work, valued

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.

10

KZG-Polynomial-Commitment-Scheme. Bachelor Thesis - Formalizing the KZG Polynomial Commitment Scheme in Isabelle/HOL.

1

ElGamal-Commitment-Scheme. Formalizing the ElGamal Encryption as a Commitment Scheme

1

Challenge_Response_Kiosk. Extending SUI's Kiosk for a challenge response protocol

1