Design and analysis of a framework for real-time vision-based SLAM using Rao-Blackwellised particle filters. - Robert Sim; Pantelis Elinas; Matt Griffin; Alex Shyr; James J. Little (CRV, 2006)

A Case Study: Analyzing City Vitality with Four Pillars of Activity - Live, Work, Shop, and Play. - Matt Griffin; Blake W. Nordstrom; Jon Scholes; Kate Joncas; Patrick Gordon; Elliott Krivenko; Winston Haynes; Roger Higdon; Elizabeth Stewart; Natali Kolker; Elizabeth Montague; Eugene Kolker (Big Data, 2016)

Verifying Secure Speculation in Isabelle/HOL. - Matt Griffin; Brijesh Dongol (FM, 2021)

Proving Memory Access Violations in Isabelle/HOL. - Sharar Ahmadi; Brijesh Dongol; Matt Griffin (FTSCS, 2022)

Relative Security: Formally Modeling and (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities. - Brijesh Dongol; Matt Griffin; Andrei Popescu 001; Jamie Wright (CSF, 2024)

Operationally proving memory access violations in Isabelle/HOL. - Sharar Ahmadi; Brijesh Dongol; Matt Griffin (Sci. Comput. Program., 2024)

IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL. - Matt Griffin; Brijesh Dongol; Azalea Raad (ECOOP, 2025)

IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version). - Matt Griffin; Brijesh Dongol; Azalea Raad (CoRR, 2025)