Neville Grech

Neville Grech is a Lecturer at the University of Malta.[1] He is known for his work in program analysis, with an emphasis on security applications, contributing to advancing smart contract security.

Neville Grech
Born
Malta
NationalityMalta
AwardsACM SIGPLAN and Communications of the Association for Computing Machinery
Scientific career
FieldsComputer science, Security in program analysis, software engineering
InstitutionsUniversity of Malta
Websitewww.nevillegrech.com

Career

Grech earned his Ph.D. from the University of Southampton.[2] [3]

Grech was a Reach High Fellow at the University of Athens and a Senior Research Associate at the University of Bristol.[4] He has worked as a data scientist and software engineer.[5] Grech's research interests include program analysis, security, energy-efficient systems, smart contracts, semantics, and generative programming.[6]

In 2021, he co-founded Dedaub with Yannis Smaragdakis, a company specializing in smart contract security. The company identified and mitigated security risks in several decentralized finance (DeFi) platforms, with notable clients including the Ethereum Foundation and Chainlink.[7][8][9]

Notable publications
  • MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts: This paper, published in 2018, is on vulnerabilities associated with gas consumption in Ethereum smart contracts.[10]
  • Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities: Published in 2020, this paper outlines the superior capabilities of Ethainter in detecting composite vulnerabilities in Ethereum smart contracts.[11]

References
  1. "University of Malta Profile - Neville Grech". Retrieved 2023-10-06.
  2. Grech, Neville; Fischer, Bernd; Rathke, Julian (December 6, 2018). "Preemptive type checking". Journal of Logical and Algebraic Methods in Programming. 101: 151–181. doi:10.1016/j.jlamp.2018.08.003. S2CID 52931371 – via eprints.soton.ac.uk.
  3. "Top research distinction in computing for Dr Neville Grech". University of Malta News Point. September 11, 2019 – via www.um.edu.mt.
  4. "Neville Grech's ResearchGate - University of Bristol - Department of Computer Science - Profile". Retrieved 2023-10-06.
  5. Daniel Tihn (May 4, 2023). "Ethical hacking does not exist in Maltese law. Experts say that's a big problem". Times of Malta. And ethical hacker and cybersecurity expert Neville Grech said some of his former university colleagues are now too scared to get involved in cybersecurity courses in case they "get arrested".
  6. Daniel Tihn (April 12, 2023). "Government workers cannot download TikTok. Is that enough to protect them?". Retrieved 2023-10-06. By only allowing government users to access the app via a web browser, MITA is protecting users from having their device altered but is leaving the door wide open for data collection and gathering, program analyst Neville Grech told Times of Malta.
  7. "The ethical hackers earning millions by saving billions". Times of Malta. April 28, 2023. Retrieved 2023-10-06. Its co-founder Neville Grech's journey to becoming an internationally recognized cybersecurity expert did not happen overnight.
  8. "National STEM Awards 2021: Announcing the Winners, thanking our Nominees, and extending grateful Acknowledgements to all involved". 10 July 2021. Young Researcher Award Dr. Neville Grech
  9. "Dr Neville Grech writes about his research career in automating software". thinkmagazine.mt. October 10, 2014.
  10. Grech, Neville; Kong, Michael; Jurisevic, Anton; Brent, Lexi; Scholz, Bernhard; Smaragdakis, Yannis (October 24, 2018). "MadMax: surviving out-of-gas conditions in Ethereum smart contracts". Proceedings of the ACM on Programming Languages. 2 (OOPSLA): 116:1–116:27. doi:10.1145/3276486. S2CID 51920261 – via ACM Digital Library.
  11. Brent, Lexi; Grech, Neville; Lagouvardos, Sifis; Scholz, Bernhard; Smaragdakis, Yannis (June 11, 2020). "Ethainter: a smart contract security analyzer for composite vulnerabilities". Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery. pp. 454–469. doi:10.1145/3385412.3385990. ISBN 9781450376136. S2CID 214816531 – via ACM Digital Library.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.