Login / Signup
Lawrence Esswood
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 3
Top Topics
Situational Awareness
Master Slave
Multiresolution Representation
Embedded Devices
Top Venues
CoRR
ICCD
ESOP
</>
Publications
</>
Thomas Bauereiss
,
Brian Campbell
,
Thomas Sewell
,
Alasdair Armstrong
,
Lawrence Esswood
,
Ian Stark
,
Graeme Barnes
,
Robert N. M. Watson
,
Peter Sewell
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture.
ESOP
(2022)
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
CheriRTOS: A Capability Model for Embedded Devices.
ICCD
(2018)
Manuel Costa
,
Lawrence Esswood
,
Olga Ohrimenko
,
Felix Schuster
,
Sameer Wagh
The Pyramid Scheme: Oblivious RAM for Trusted Processors.
CoRR
(2017)