Lawrence Esswood

According to our database, Lawrence Esswood authored at least 4 papers between 2017 and 2022.

Collaborative distances:

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

2022

Verified Security for the Morello Capability-enhanced Prototype Arm Architecture.

Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell

Proceedings of the Programming Languages and Systems, 2022

2020

CheriOS: designing an untrusted single-address-space capability operating system utilising capability hardware and a minimal hypervisor

Lawrence Esswood

PhD thesis, 2020

2018

CheriRTOS: A Capability Model for Embedded Devices.

Hongyan Xia, Jonathan Woodruff, Hadrien Barral, Lawrence Esswood, Alexandre Joannou, Robert Kovacsics, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. Neumann, Alexander Richardson, Simon W. Moore, Robert N. M. Watson

Proceedings of the 36th IEEE International Conference on Computer Design, 2018

2017

The Pyramid Scheme: Oblivious RAM for Trusted Processors.

Manuel Costa, Lawrence Esswood, Olga Ohrimenko, Felix Schuster, Sameer Wagh

CoRR, 2017