Matt Griffin -

Registered user since Mon 18 Jul 2022

Name:Matt Griffin

Country:United Kingdom

Affiliation:University of Surrey

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

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

Contributions

2025

ECOOP

Author of IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL within the Technical Papers-track

2024

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

‹Programming›

Author of Binary Analysis in Isabelle/HOL within the Student Research Competition-track

2023

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2022

APLAS

Committee Member in Artifact Evaluation Committee

FTSCS

Author of Proving Memory Access Violations in Isabelle/HOL within the Formal Techniques for Safety-Critical Systems-track