Concepedia

Bernhard Scholz

BS

63

Publications

2.5K

Citations

28

H-Index

1982

Active since

Affiliations

The University of Sydney(Current)

Siemens (Germany)

Yonsei University

University of Duisburg-Essen

Bernhard Scholz is an author at The University of Sydney specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsParallel ProgrammingSoftware EngineeringComputer EngineeringParallel ComputingComputer Architecture

Publications per year

1982–2023

63

Publications

63

MadMax: surviving out-of-gas conditions in Ethereum smart contracts

Neville Grech, Michael Kong, Anton Jurisevic et al. · Proceedings of the ACM on Programming Languages · 2018 · 340 citations · Full text

Engineering, Information Security, Software Engineering +24

Ethainter: a smart contract security analyzer for composite vulnerabilities

Lexi Brent, Neville Grech, Sifis Lagouvardos et al. · 2020 · 149 citations

Engineering, Information Security, Smart Contracts +18

Gigahorse: Thorough, Declarative Decompilation of Smart Contracts

Neville Grech, Lexi Brent, Bernhard Scholz et al. · 2019 · 124 citations

Vandal: A Scalable Security Analysis Framework for Smart Contracts

Lexi Brent, Anton Jurisevic, Michael Kong et al. · arXiv (Cornell University) · 2018 · 123 citations · Full text

Semantic Logic Relations, Engineering, Information Security +17

On fast large-scale program analysis in Datalog

Bernhard Scholz, Herbert Jordan, Pavle Subotić et al. · 2016 · 95 citations

Rows per page

1–5 of 63