44 citations · 113 across the 16 of their papers we have counts for
16 papers
TrustMee: Self-Verifying Remote Attestation Evidence
Parsa Sadri Sinaki, Zainab Ahmad, Wentao Xie +3
Remote attestation allows a TEE to attest its own state to a remote party, and is used in the Confidential Computing ecosystem to provide assurance that data and code are available…
PAL*M: Property Attestation for Large Generative Models
Prach Chantasantitam, Adam Ilyas Caulfield, Vasisht Duddu +2
Machine learning property attestations allow provers (e.g., model providers or owners) to attest properties of their models/datasets to verifiers (e.g., regulators, customers), ena…
Laminator: Verifiable ML Property Cards using Hardware-assisted Attestations
Vasisht Duddu, Oskari Järvinen, Lachlan J Gunn +1
Regulations increasingly call for various assurances from machine learning (ML) model providers about their training data, training process, and model behavior. For better transpar…
Data-Oblivious ML Accelerators using Hardware Security Extensions
Hossam ElAtali, John Z. Jekel, Lachlan J. Gunn +1
Outsourced computation can put client data confidentiality at risk. Existing solutions are either inefficient or insufficiently secure: cryptographic techniques like fully-homomorp…
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…
BliMe: Verifiably Secure Outsourced Computation with Hardware-Enforced Taint Tracking
Hossam ElAtali, Lachlan J. Gunn, Hans Liljestrand +1
Outsourced computing is widely used today. However, current approaches for protecting client data in outsourced computing fall short: use of cryptographic techniques like fully-hom…
GrandDetAuto: Detecting Malicious Nodes in Large-Scale Autonomous Networks
Tigist Abera, Ferdinand Brasser, Lachlan J. Gunn +3
Autonomous collaborative networks of devices are rapidly emerging in numerous domains, such as self-driving cars, smart factories, critical infrastructure, and Internet of Things i…
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…
Safety in Numbers: Anonymization Makes Centralized Systems Trustworthy
Lachlan J. Gunn, Andrew Allison, Derek Abbott
Decentralized systems can be more resistant to operator mischief than centralized ones, but they are substantially harder to develop, deploy, and maintain. This cost is dramaticall…
Too good to be true: when overwhelming evidence fails to convince
Lachlan J. Gunn, François Chapeau-Blondeau, Mark McDonnell +3
Is it possible for a large sequence of measurements or observations, which support a hypothesis, to counterintuitively decrease our confidence? Can unanimous support be too good to…
Functions of multivector variables
James M. Chappell, Azhar Iqbal, Lachlan J. Gunn +1
As is well known, the common elementary functions defined over the real numbers can be generalized to act not only over the complex number field but also over the skew (non-commuti…
A directional coupler attack against the Kish key distribution system
Lachlan J. Gunn, Andrew Allison, Derek Abbott
The Kish key distribution system has been proposed as a class ical alternative to quantum key distribution. The idealized Kish scheme elegantly promise s secure key distribution by…
Physical-layer encryption on the public internet: a stochastic approach to the Kish-Sethuraman cipher
Lachlan J. Gunn, James M. Chappell, Andrew Allison +1
While information-theoretic security is often associated with the one-time pad and quantum key distribution, noisy transport media leave room for classical techniques and even cove…