SebastianHoller
PhD Student Computer Science @ MPI-SP
Max Planck Institute for Security and Privacy Bochum, Germany
SebastianHoller's Stars
skot/bitaxe
Open source ASIC Bitcoin miner hardware
tamarin-prover/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
leonardoalt/ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
lorenzb/libsubmarine
Implementation of a novel practical scheme for submarine commitments
ucsb-seclab/sailfish
Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
skot/BM1397
Documenting the Bitmain BM1397 mining ASIC
yz1019117968/MSgramDataset
MSgram Dataset