Matt Griffin - ECOOP 2025

Mon 30 June - Fri 4 July 2025 Bergen, Norway

Registered user since Mon 18 Jul 2022

Name:Matt Griffin

Country:United Kingdom

Affiliation:Imperial College London

Personal website: https://www.surrey.ac.uk/people/matt-griffin

Research interests:Formal Verification, Isabelle/HOL, Cyber Security

Contributions

2025

ECOOP

IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL

Show activities from other conferences

ECOOP 2025-profile
View general profile