Posts
Latest Publications (all)
-
BliMe: Verifiably Secure Outsourced Computation with Hardware-Enforced Taint Tracking
Hossam ElAtali, Lachlan J. Gunn, Hans Liljestrand, and N. Asokan,
Network and Distributed Systems Symposium (NDSS), San Diego, CA, USA. 2024. Accepted
[Preprint] -
Towards cryptographically-authenticated in-memory data structures
Setareh Ghorshi, Lachlan J. Gunn, Hans Liljestrand, and N. Asokan,
IEEE Secure Development Conference, Atlanta, GA, USA. 2022.
[Preprint] -
Hardware Platform Security for Mobile Devices
Now Publishers, 2022.
[Preprint]
-
PACStack: an Authenticated Call Stack
Hans Liljestrand, Thomas Nyman, Lachlan J. Gunn, Jan-Erik Ekberg, and N. Asokan,
USENIX Security. 2021. -
Linear measurements from nonlinear sensors: Identifying distortion with incidental noise
IEEE Instrumentation and Measurement Magazine, 2020. doi:10.1109/MIM.2020.8979524
[Preprint]
Talks
-
Design Across Layers: Achieving More by Joining Hardware, Software, and Cryptography
Workshop on Novel Architecture and Novel Design Automation, 2023-09-11, London, United Kingdom,
[Slides] -
Modelling Blinded Memory with F*
CISPA Summer School 2023, 2023-08-22, Saarbrücken, Germany,
[Broader lecture on BliMe] [Preprint] -
The Undeniable Truth: How Remote Attestation Circumvents Deniability Guarantees in Secure Messaging Protocols
Black Hat Europe 2018, 2018-12-05, London, United Kingdom,
[Abstract] [Preprint] [Slides] [White paper]