Old Web
English
Sign In
Acemap
>
authorDetail
>
Lawrence Esswood
Lawrence Esswood
Computer science
Embedded system
Memory safety
Real-time operating system
Avionics
4
Papers
14
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture.
2022
ESOP | European Symposium on Programming
Thomas Bauereiss
Brian Campbell
Thomas Sewell
Alasdair Armstrong
Lawrence Esswood
Ian Stark
Graeme Barnes
Robert N. M. Watson
Peter Sewell
Show All
Source
Cite
Save
Citations (0)
Verified security for the Morello capability-enhanced prototype Arm architecture
2021
Thomas Bauereiss
Brian Campbell
Thomas Sewell
Alasdair Armstrong
Lawrence Esswood
Ian Stark
Graeme Barnes
Robert N. M. Watson
Peter Sewell
Show All
Source
Cite
Save
Citations (0)
CheriRTOS: A Capability Model for Embedded Devices
2018
ICCD | International Conference on Computer Design
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
Alex Richardson
Simon W. Moore
Robert N. M. Watson
Show All
Source
Cite
Save
Citations (4)
The Pyramid Scheme: Oblivious RAM for Trusted Processors.
2017
arXiv: Cryptography and Security
Manuel Costa
Lawrence Esswood
Olga Ohrimenko
Felix Schuster
Sameer Wagh
Show All
Source
Cite
Save
Citations (10)
1