Richard Matthews

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Algebraic Geometry

Automatic Construction

Top Venues

Digit. Investig.

Ann. Pure Appl. Log.

Publications

Laura Fontanella, Guillaume Geoffroy, Richard Matthews
Realizability Models for Large Cardinals. CSL (2024)
Richard Matthews, Michael Rathjen
Constructing the constructible universe constructively. Ann. Pure Appl. Log. 175 (3) (2024)
Richard Matthews
A Guide to Krivine Realizability for Set Theory. CoRR (2023)
Richard Matthews
Taking Reinhardt's Power Away. J. Symb. Log. 87 (4) (2022)
Richard Matthews, Kieren Lovell, Matthew Sorell
Ghost protocol - Snapchat as a method of surveillance. Digit. Investig. (2021)
Richard Matthews, Nick Falkner, Matthew Sorell
Reverse engineering the Raspberry Pi Camera V2: A study of pixel non-uniformity using a scanning electron microscope. Digit. Investig. 32 (2020)
Richard Matthews, Matthew Sorell, Nickolas J. G. Falkner
An analysis of optical contributions to a photo-sensor's ballistic fingerprints. Digit. Investig. 28 (Supplement) (2019)