Posts

• Better visualisation of consensus protocols at the Secure Systems Group blog.
• Protecting against run-time attacks with Pointer Authentication at the Secure Systems Group blog.

Latest Publications (all)

1. Data-Oblivious ML Accelerators Using Hardware Security Extensions
   Hossam ElAtali, John Z Jekel, Lachlan J Gunn, and N Asokan,
   IEEE International Symposium on Hardware Oriented Security and Trust (HOST), Tysons Corner, VA, USA. 2024.
   [Preprint]
2. 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.
   [Preprint]
3. 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]
4. Hardware Platform Security for Mobile Devices
   Lachlan J. Gunn, N. Asokan, Jan-Erik Ekberg, Hans Liljestrand, Vijayanand Nayani, and Thomas Nyman,
   Now Publishers, 2022.
   [Preprint]
   
5. PACStack: an Authenticated Call Stack
   Hans Liljestrand, Thomas Nyman, Lachlan J. Gunn, Jan-Erik Ekberg, and N. Asokan,
   USENIX Security. 2021.

Talks

1. Design Across Layers: Achieving More by Joining Hardware, Software, and Cryptography
   Lachlan J. Gunn,
   Workshop on Novel Architecture and Novel Design Automation, 2023-09-11, London, United Kingdom,
   [Slides]
2. Modelling Blinded Memory with F*
   Lachlan J. Gunn,
   CISPA Summer School 2023, 2023-08-22, Saarbrücken, Germany,
   [Broader lecture on BliMe] [Preprint]
3. The Undeniable Truth: How Remote Attestation Circumvents Deniability Guarantees in Secure Messaging Protocols
   Lachlan Gunn, N Asokan, and Ricardo Vieitez Parra,
   Black Hat Europe 2018, 2018-12-05, London, United Kingdom,
   [Abstract] [Preprint] [Slides] [White paper]