Bernhard Scholz
University College of the Cayman Islands(KY)The University of Sydney(AU)Truman Bodden Law School(KY)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Software Testing and Debugging Techniques, Embedded Systems Design Techniques, Logic, programming, and type systems, Formal Methods in Verification
Most-Cited Works
- → MadMax: surviving out-of-gas conditions in Ethereum smart contracts(2018)343 cited
- → Carolingian Chronicles(1970)180 cited
- → Ethainter: a smart contract security analyzer for composite vulnerabilities(2020)149 cited
- → Gigahorse: Thorough, Declarative Decompilation of Smart Contracts(2019)125 cited
- → Vandal: A Scalable Security Analysis Framework for Smart Contracts(2018)123 cited
- → Soufflé: On Synthesis of Program Analyzers(2016)122 cited
- → On fast large-scale program analysis in Datalog(2016)