Richard Matthews

According to our database, Richard Matthews authored at least 7 papers between 2019 and 2024.

Collaborative distances:

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

2024

Constructing the constructible universe constructively.

Richard Matthews, Michael Rathjen

Ann. Pure Appl. Log., 2024

Realizability Models for Large Cardinals.

Laura Fontanella, Guillaume Geoffroy, Richard Matthews

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

A Guide to Krivine Realizability for Set Theory.

Richard Matthews

CoRR, 2023

2022

Taking Reinhardt's Power Away.

Richard Matthews

J. Symb. Log., December, 2022

2021

Ghost protocol - Snapchat as a method of surveillance.

Richard Matthews, Kieren Lovell, Matthew Sorell

Digit. Investig., 2021

2020

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

2019

An analysis of optical contributions to a photo-sensor's ballistic fingerprints.

Richard Matthews, Matthew Sorell, Nickolas J. G. Falkner

Digit. Investig., 2019