Concepedia

Neville Grech

NG

14

Publications

964

Citations

12

H-Index

2010

Active since

Affiliations

National and Kapodistrian University of Athens(Current)

University of Malta

The University of Sydney

Neville Grech is an author at National and Kapodistrian University of Athens specializing in computer science, engineering, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisProgram AnalysisFormal VerificationSoftware EngineeringFormal MethodsData SecurityStatic AnalysisComputer Engineering

Publications per year

2010–2022

14

Publications

14

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

P/Taint: unified points-to and taint analysis

Neville Grech, Yannis Smaragdakis · Proceedings of the ACM on Programming Languages · 2017 · 77 citations · Full text

Engineering, Taint Analysis, Information Security +18

Static analysis of energy consumption for LLVM IR programs

Neville Grech, Kyriakos Georgiou, James Pallister et al. · 2015 · 58 citations · Full text

Engineering, Energy Efficiency, Computer Architecture +16

Rows per page

1–5 of 14