SebastianHoller
PhD Student Computer Science @ MPI-SP
Max Planck Institute for Security and Privacy Bochum, Germany
Pinned Repositories
BitMLx
PoC implementation of a BitMLx -> 2xBitML compiler
hn-rg.github.io
horstify
Automated Sound Security Analysis of Smart Contracts
horstify.github.io
Sound Security Analysis of Smart Contracts
mpi-sp-pap-2023.github.io
Version of the Logical Foundations volume of Software Foundations that we use for Proofs are Programs course at Ruhr University Bochum in summer 2023.
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
SebastianHoller's Repositories
SebastianHoller/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.