C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Matt Griffin
ORCID
Publication Activity (10 Years)
Years Active: 2006-2022
Publications (10 Years): 3
Top Topics
Memory Access
Diffie Hellman
First Order Logic
Processing Units
Top Venues
FTSCS
FM
Big Data
</>
Publications
</>
Sharar Ahmadi
,
Brijesh Dongol
,
Matt Griffin
Proving Memory Access Violations in Isabelle/HOL.
FTSCS
(2022)
Matt Griffin
,
Brijesh Dongol
Verifying Secure Speculation in Isabelle/HOL.
FM
(2021)
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
4 (1) (2016)
Robert Sim
,
Pantelis Elinas
,
Matt Griffin
,
Alex Shyr
,
James J. Little
Design and analysis of a framework for real-time vision-based SLAM using Rao-Blackwellised particle filters.
CRV
(2006)