Matt Griffin

According to our database, Matt Griffin authored at least 6 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Operationally proving memory access violations in Isabelle/HOL.

Sharar Ahmadi, Brijesh Dongol, Matt Griffin

Sci. Comput. Program., 2024

Relative Security: Formally Modeling and (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities.

Brijesh Dongol, Matt Griffin, Andrei Popescu, Jamie Wright

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2022

Proving Memory Access Violations in Isabelle/HOL.

Sharar Ahmadi, Brijesh Dongol, Matt Griffin

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

2021

Verifying Secure Speculation in Isabelle/HOL.

Matt Griffin, Brijesh Dongol

Proceedings of the Formal Methods - 24th International Symposium, 2021

2016

A Case Study: Analyzing City Vitality with Four Pillars of Activity - <i>Live</i>, <i>Work</i>, <i>Shop</i>, and <i>Play</i>.

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

2006

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

Proceedings of the Third Canadian Conference on Computer and Robot Vision (CRV 2006), 2006