An analysis of optical contributions to a photo-sensor's ballistic fingerprints. - Richard Matthews; Matthew Sorell; Nickolas J. G. Falkner (Digit. Investig., 2019)

Reverse engineering the Raspberry Pi Camera V2: A study of pixel non-uniformity using a scanning electron microscope. - Richard Matthews; Nick Falkner; Matthew Sorell (Digit. Investig., 2020)

Ghost protocol - Snapchat as a method of surveillance. - Richard Matthews; Kieren Lovell; Matthew Sorell (Digit. Investig., 2021)

Taking Reinhardt's Power Away. - Richard Matthews (J. Symb. Log., 2022)

A Guide to Krivine Realizability for Set Theory. - Richard Matthews (CoRR, 2023)

Realizability Models for Large Cardinals. - Laura Fontanella; Guillaume Geoffroy; Richard Matthews (CSL, 2024)

Constructing the constructible universe constructively. - Richard Matthews; Michael Rathjen (Ann. Pure Appl. Log., 2024)

Very Large Set Axioms over Constructive Set Theories. - Hanul Jeon; Richard Matthews (Bull. Symb. Log., 2024)

Realizing the totally unordered structure of ordinals. - Laura Fontanella; Richard Matthews (CoRR, 2025)