🌙
Idle
CS Student @ TUM,
Topics of Interests:
Formal Methods & Cryptography
- Germany
-
18:32
(UTC +02:00) - in/tobias-rothmann-497bb21b6
Block or Report
Block or report tobias-rothmann
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
KZG-Polynomial-Commitment-Scheme
KZG-Polynomial-Commitment-Scheme PublicFormalizing the KZG polynomial commitment scheme in the Interactive Theorem Prover Isabelle.
Isabelle 3
-
-
ElGamal-Commitment-Scheme
ElGamal-Commitment-Scheme PublicFormalizing the ElGamal Encryption as a Commitment Scheme
Isabelle
-
Challenge_Response_Kiosk
Challenge_Response_Kiosk PublicExtending SUI's Kiosk for a challenge response protocol
Move 1
-
SMT-based-Formal-Verification-for-Smart-Contracts
SMT-based-Formal-Verification-for-Smart-Contracts PublicA SoK student paper on SMT based formal verification of smart contracts
-
TUM-Blockchain-Club/SuiSeal
TUM-Blockchain-Club/SuiSeal PublicTBC Project @ Sui x BSA Hackathon 2023
Move
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.