5 papers
Towards cryptographically-authenticated in-memory data structures
Setareh Ghorshi, Lachlan J. Gunn, Hans Liljestrand +1
Modern processors include high-performance cryptographic functionalities such as Intel's AES-NI and ARM's Pointer Authentication that allow programs to efficiently authenticate dat…
Linear measurements from nonlinear sensors: identifying distortion with incidental noise
Lachlan J. Gunn, Andrew Allison, Derek Abbott
Nonlinearity in many systems is heavily dependent on component variation and environmental factors such as temperature. This is often overcome by keeping signals close enough to th…
Making Speculative BFT Resilient with Trusted Monotonic Counters
Lachlan J. Gunn, Jian Liu, Bruno Vavala +1
Consensus mechanisms used by popular distributed ledgers are highly scalable but notoriously inefficient. Byzantine fault tolerance (BFT) protocols are efficient but far less scala…
PACStack: an Authenticated Call Stack
Hans Liljestrand, Thomas Nyman, Lachlan J. Gunn +2
A popular run-time attack technique is to compromise the control-flow integrity of a program by modifying function return addresses on the stack. So far, shadow stacks have proven…
Game theoretical modelling of network/cybersecurity
Azhar Iqbal, Lachlan J. Gunn, Mingyu Guo +2
Game theory is an established branch of mathematics that offers a rich set of mathematical tools for multi-person strategic decision making that can be used to model the interactio…