Robert N. M. Watson

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 34

Top Topics

Structural Analysis

Precisely Defined

Embedded Devices

Top Venues

IEEE Symposium on Security and Privacy

Publications

Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance. ASPLOS (1) (2024)
Alexandre Joannou, Peter Rugg, Jonathan Woodruff, Franz A. Fuchs, Marno van der Maas, Matthew Naylor, Michael Roe, Robert N. M. Watson, Peter G. Neumann, Simon W. Moore
Randomized Testing of RISC-V CPUs Using Direct Instruction Injection. IEEE Des. Test 41 (1) (2024)
Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert M. Norton, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson
Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety. ASPLOS (2) (2024)
Robert N. M. Watson, David Chisnall, Jessica Clarke, Brooks Davis, Nathaniel Wesley Filardo, Ben Laurie, Simon W. Moore, Peter G. Neumann, Alexander Richardson, Peter Sewell, Konrad Witaszczyk, Jonathan Woodruff
CHERI: Hardware-Enabled C/C++ Memory Protection at Scale. IEEE Secur. Priv. 22 (4) (2024)
Saar Amar, David Chisnall, Tony Chen, Nathaniel Wesley Filardo, Ben Laurie, Kunyan Liu, Robert M. Norton, Simon W. Moore, Yucong Tao, Robert N. M. Watson, Hongyan Xia
CHERIoT: Complete Memory Safety for Embedded Devices. MICRO (2023)
Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, Jonathan Woodruff
The Arm Morello Evaluation Platform - Validating CHERI-Based Security in a High-Performance System. IEEE Micro 43 (3) (2023)
Franz A. Fuchs, Jonathan Woodruff, Peter Rugg, Marno van der Maas, Alexandre Joannou, Alexander Richardson, Jessica Clarke, Nathaniel Wesley Filardo, Brooks Davis, John Baldwin, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson
Architectural Contracts for Safe Speculation. ICCD (2023)
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)
Hesham Almatary, Michael Dodson, Jessica Clarke, Peter Rugg, Ivan Gomes, Michal Podhradsky, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson
CompartOS: CHERI Compartmentalization for Embedded Systems. CoRR (2022)
Michael Dodson, Alastair R. Beresford, Alexander Richardson, Jessica Clarke, Robert N. M. Watson
CHERI Macaroons: Efficient, host-based access control for cyber-physical systems. EuroS&P Workshops (2020)
Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin, David Chisnall, Jessica Clarke, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey D. Son, Timothy M. Jones, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson
Cornucopia: Temporal Safety for CHERI Heaps. IEEE Symposium on Security and Privacy (2020)
A. Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson
Position Paper: Defending Direct Memory Access with CHERI Capabilities. HASP@MICRO (2020)
Kyndylan Nienhuis, Alexandre Joannou, Thomas Bauereiss, Anthony C. J. Fox, Michael Roe, Brian Campbell, Matthew Naylor, Robert M. Norton, Simon W. Moore, Peter G. Neumann, Ian Stark, Robert N. M. Watson, Peter Sewell
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process. IEEE Symposium on Security and Privacy (2020)
Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, James Clarke, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, J. Edward Maste, Alfredo Mazzinghi, Edward Tomasz Napierala, Robert M. Norton, Michael Roe, Peter Sewell, Stacey D. Son, Jonathan Woodruff
CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment. ASPLOS (2019)
Jonathan Woodruff, Alexandre Joannou, Hongyan Xia, Anthony C. J. Fox, Robert M. Norton, David Chisnall, Brooks Davis, Khilan Gudka, Nathaniel Wesley Filardo, A. Theodore Markettos, Michael Roe, Peter G. Neumann, Robert N. M. Watson, Simon W. Moore
CHERI Concentrate: Practical Compressed Capabilities. IEEE Trans. Computers 68 (10) (2019)
A. Theodore Markettos, Robert N. M. Watson, Simon W. Moore, Peter Sewell, Peter G. Neumann
Through computer architecture, darkly. Commun. ACM 62 (6) (2019)
Kirk M. Bresniker, Paolo Faraboschi, Avi Mendelson, Dejan S. Milojicic, Timothy Roscoe, Robert N. M. Watson
Rack-Scale Capabilities: Fine-Grained Protection for Large-Scale Memories. Computer 52 (2) (2019)
Hongyan Xia, Jonathan Woodruff, Sam Ainsworth, Nathaniel Wesley Filardo, Michael Roe, Alexander Richardson, Peter Rugg, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson, Timothy M. Jones
CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety. MICRO (2019)
Kayvan Memarian, Victor B. F. Gomes, Brooks Davis, Stephen Kell, Alexander Richardson, Robert N. M. Watson, Peter Sewell
Exploring C semantics and pointer provenance. Proc. ACM Program. Lang. 3 (POPL) (2019)
Leonid Azriel, Lukas Humbel, Reto Achermann, Alex Richardson, Moritz Hoffmann, Avi Mendelson, Timothy Roscoe, Robert N. M. Watson, Paolo Faraboschi, Dejan S. Milojicic
Memory-Side Protection With a Capability Enforcement Co-Processor. ACM Trans. Archit. Code Optim. 16 (1) (2019)
A. Theodore Markettos, Colin Rothwell, Brett F. Gutstein, Allison Pearce, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson
Thunderclap: Exploring Vulnerabilities in Operating System IOMMU Protection via DMA from Untrustworthy Peripherals. NDSS (2019)
Alfredo Mazzinghi, Ripduman Sohan, Robert N. M. Watson
Pointer Provenance in a Capability Architecture. TaPP (2018)
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)
Jyothish Soman, Thomas Bytheway, Lucian Carata, Nikilesh D. Balakrishnan, Ripduman Sohan, Robert N. M. Watson
Structural Analysis of Whole-System Provenance Graphs. IPAW (2018)
Alexandre Joannou, Jonathan Woodruff, Robert Kovacsics, Simon W. Moore, Alex Bradbury, Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. Neumann, Alfredo Mazzinghi, Alex Richardson, Stacey D. Son, A. Theodore Markettos
Efficient Tagged Memory. ICCD (2017)
Ilias Marinos, Robert N. M. Watson, Mark Handley, Randall R. Stewart
Disk|Crypt|Net: rethinking the stack for high-performance video streaming. SIGCOMM (2017)
Graeme Jenkinson, Lucian Carata, Thomas Bytheway, Ripduman Sohan, Robert N. M. Watson, Jonathan Anderson, Brian J. Kidney, Amanda Strnad, Arun Thomas, George V. Neville-Neil
Applying Provenance in APT Monitoring and Analysis: Practical Challenges for Scalable, Efficient and Trustworthy Distributed Provenance. TaPP (2017)
Reto Achermann, Chris I. Dalton, Paolo Faraboschi, Moritz Hoffmann, Dejan S. Milojicic, Geoffrey Ndu, Alex Richardson, Timothy Roscoe, Adrian L. Shaw, Robert N. M. Watson
Separating Translation from Protection in Address Spaces with Dynamic Remapping. HotOS (2017)
David Chisnall, Brooks Davis, Khilan Gudka, David Brazdil, Alexandre Joannou, Jonathan Woodruff, A. Theodore Markettos, J. Edward Maste, Robert M. Norton, Stacey D. Son, Michael Roe, Simon W. Moore, Peter G. Neumann, Ben Laurie, Robert N. M. Watson
CHERI JNI: Sinking the Java Security Model into the C. ASPLOS (2017)
George V. Neville-Neil, Robert N. M. Watson
Teaching Operating Systems with FreeBSD through Tracing, Analysis, and Experimentation. login Usenix Mag. 42 (1) (2017)
Robert N. M. Watson, Robert M. Norton, Jonathan Woodruff, Simon W. Moore, Peter G. Neumann, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Michael Roe, Nirav H. Dave, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Ed Maste, Steven J. Murdoch, Colin Rothwell, Stacey D. Son, Munraj Vadera
Fast Protection-Domain Crossing in the CHERI Capability-System Architecture. IEEE Micro 36 (5) (2016)
Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell
Into the depths of C: elaborating the de facto standards. PLDI (2016)
Robert N. M. Watson, Simon W. Moore, Peter G. Neumann
CHERI: A Hardware-Software System to Support the Principle of Least Privilege. ERCIM News 2016 (106) (2016)
Ionel Gog, Malte Schwarzkopf, Adam Gleave, Robert N. M. Watson, Steven Hand
Firmament: Fast, Centralized Cluster Scheduling at Scale. OSDI (2016)
Khilan Gudka, Robert N. M. Watson, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Ilias Marinos, Peter G. Neumann, Alex Richardson
Clean Application Compartmentalization with SOAAP. CCS (2015)
David Chisnall, Colin Rothwell, Robert N. M. Watson, Jonathan Woodruff, Munraj Vadera, Simon W. Moore, Michael Roe, Brooks Davis, Peter G. Neumann
Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine. ASPLOS (2015)
Matthew P. Grosvenor, Malte Schwarzkopf, Ionel Gog, Robert N. M. Watson, Andrew W. Moore, Steven Hand, Jon Crowcroft
Queues Don't Matter When You Can JUMP Them! NSDI (2015)
Robert N. M. Watson, Jonathan Woodruff, Peter G. Neumann, Simon W. Moore, Jonathan Anderson, David Chisnall, Nirav H. Dave, Brooks Davis, Khilan Gudka, Ben Laurie, Steven J. Murdoch, Robert M. Norton, Michael Roe, Stacey D. Son, Munraj Vadera
CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization. IEEE Symposium on Security and Privacy (2015)
Ilias Marinos, Robert N. M. Watson, Mark Handley
Network stack specialization for performance. SIGCOMM (2014)
Jonathan Woodruff, Robert N. M. Watson, David Chisnall, Simon W. Moore, Jonathan Anderson, Brooks Davis, Ben Laurie, Peter G. Neumann, Robert M. Norton, Michael Roe
The CHERI capability model: Revisiting RISC in an age of risk. ISCA (2014)
Jonathan Anderson, Robert N. M. Watson, David Chisnall, Khilan Gudka, Ilias Marinos, Brooks Davis
TESLA: temporally enhanced system logic assertions. EuroSys (2014)
William R. Harris, Somesh Jha, Thomas W. Reps, Jonathan Anderson, Robert N. M. Watson
Declarative, Temporal, and Practical Programming with Capabilities. IEEE Symposium on Security and Privacy (2013)
Robert N. M. Watson
A decade of OS access-control extensibility. Commun. ACM 56 (2) (2013)
Robert N. M. Watson
Towards a Theory of Application Compartmentalisation (Transcript of Discussion). Security Protocols Workshop (2013)
Robert N. M. Watson, Steven J. Murdoch, Khilan Gudka, Jonathan Anderson, Peter G. Neumann, Ben Laurie
Towards a Theory of Application Compartmentalisation. Security Protocols Workshop (2013)
Robert N. M. Watson
A Decade of OS Access-control Extensibility. ACM Queue 11 (1) (2013)
Ilias Marinos, Robert N. M. Watson, Mark Handley
Network stack specialization for performance. HotNets (2013)
Robert N. M. Watson, Jonathan Anderson, Ben Laurie, Kris Kennaway
A taste of Capsicum: practical capabilities for UNIX. Commun. ACM 55 (3) (2012)
Khilan Gudka, Robert N. M. Watson, Steven Hand, Ben Laurie, Anil Madhavapeddy
Exploring Compartmentalisation Hypotheses with SOAAP. SASO Workshops (2012)
Jonathan Anderson, Robert N. M. Watson
Stayin' Alive: Aliveness as an Alternative to Authentication. Security Protocols Workshop (2012)
Jonathan Anderson, Frank Stajano, Robert N. M. Watson
How to Keep Bad Papers Out of Conferences (with Minimum Reviewer Effort). Security Protocols Workshop (2011)
Robert N. M. Watson, Jonathan Anderson, Ben Laurie, Kris Kennaway
Introducing Capsicum: Practical Capabilities for UNIX. login Usenix Mag. 35 (6) (2010)
Robert N. M. Watson, Jonathan Anderson, Ben Laurie, Kris Kennaway
Capsicum: Practical Capabilities for UNIX. USENIX Security Symposium (2010)
Laurel D. Riek, Robert N. M. Watson
The Age of Avatar Realism. IEEE Robotics Autom. Mag. 17 (4) (2010)
Steven J. Murdoch, Robert N. M. Watson
Metrics for Security and Performance in Low-Latency Anonymity Systems. Privacy Enhancing Technologies (2008)
Robert N. M. Watson
Exploiting Concurrency Vulnerabilities in System Call Wrappers. WOOT (2007)
Richard Clayton, Steven J. Murdoch, Robert N. M. Watson
Ignoring the Great Firewall of China. Privacy Enhancing Technologies (2006)
Sandra L. Murphy, Edward T. Lewis, Robert N. M. Watson
Secure Active Network Prototypes. DANCE (2002)
Robert N. M. Watson
TrustedBSD: Adding Trusted Operating System Features to FreeBSD. USENIX Annual Technical Conference, FREENIX Track (2001)