Michael Roe

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 13

Top Topics

Diagnostic Problem Solving

Embedded Devices

Temporal Ordering

Top Venues

IEEE Symposium on Security and Privacy

Publications

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)
Michael Roe, Konstantina Spanaki, Athina Ioannou, Efpraxia D. Zamani, Mihalis Giannakis
Drivers and challenges of internet of things diffusion in smart stores: A field exploration. CoRR (2022)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Michael Roe
The Metaplace Security Model. Security Protocols Workshop (2011)
Wei Xu, Dongping Song, Michael Roe
Production and raw material ordering management for a manufacturing supply chain with uncertainties. IEEM (2011)
Michael Roe
The Metaplace Security Model (Transcript of Discussion). Security Protocols Workshop (2011)
Michael Roe
Censorship of eBooks (Transcript of Discussion). Security Protocols Workshop (2010)
Michael Roe
Generating Channel Ids in Virtual World Operating Systems (Extended Abstract). Security Protocols Workshop (2010)
Michael Roe
Censorship of eBooks (Extended Abstract). Security Protocols Workshop (2010)
Janne Lindqvist, Tuomas Aura, George Danezis, Teemu Koponen, Annu Myllyniemi, Jussi Mäki, Michael Roe
Privacy-preserving 802.11 access-point discovery. WISEC (2009)
Michael Roe
Problems of Provenance for Digital Libraries (Transcript of Discussion). Security Protocols Workshop (2008)
Tuomas Aura, Janne Lindqvist, Michael Roe, Anish Mohammed
Chattering Laptops. Privacy Enhancing Technologies (2008)
Michael Roe
Problems of Provenance for Digital Libraries. Security Protocols Workshop (2008)
Michael Roe
Reconciling Multiple IPsec and Firewall Policies (Transcript of Discussion). Security Protocols Workshop (2007)
Tuomas Aura, Moritz Becker, Michael Roe, Piotr Zielinski
Reconciling Multiple IPsec and Firewall Policies. Security Protocols Workshop (2007)
Tuomas Aura, Michael Roe, Steven J. Murdoch
Securing network location awareness with authenticated DHCP. SecureComm (2007)
Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe
Instructions to Reviewers. Security Protocols Workshop (2007)
Tuomas Aura, Thomas A. Kuhn, Michael Roe
Scanning electronic documents for personally identifiable information. WPES (2006)
Tuomas Aura, Michael Roe
Designing the mobile IPv6 security protocol. Ann. des Télécommunications 61 (3-4) (2006)
Michael Roe
Non-repudiation and the Metaphysics of Presence. Security Protocols Workshop (2005)
Michael Roe
Non-repudiation and the Metaphysics of Presence. Security Protocols Workshop (2005)
Tuomas Aura, Michael Roe
Reducing Reauthentication Delay in Wireless Networks. SecureComm (2005)
Tuomas Aura, Michael Roe, Anish Mohammed
Experiences with Host-to-Host IPsec. Security Protocols Workshop (2005)
Bruce Christianson, Michael Roe, David Wheeler
Secure Sessions from Weak Secrets. Security Protocols Workshop (2003)
Michael Roe
Panel Session: Is Protocol Modelling Finished? Security Protocols Workshop (2003)
Jari Arkko, Tuomas Aura, James Kempf, Vesa-Matti Mäntylä, Pekka Nikander, Michael Roe
Securing IPv6 neighbor and router discovery. Workshop on Wireless Security (2002)
Tuomas Aura, Michael Roe, Jari Arkko
Security of Internet Location Management. ACSAC (2002)
Greg O'Shea, Michael Roe
Child-proof authentication for MIPv6 (CAM). Comput. Commun. Rev. 31 (2) (2001)
Michael Roe
Experiences of Mobile IP Security. Security Protocols Workshop (2001)
Michael Roe, Ross J. Anderson, William S. Harbison, T. Mark A. Lomas
Government Access to Keys - Panel Discussion. Security Protocols Workshop (2000)
Michael Roe
Authentication and Naming (Transcript of Discussion). Security Protocols Workshop (2000)
Hajime Morito, Michael Roe, E. Stewart Lee
Digital Copy Protection Scheme Using Recording Medium Identifier. ICPP Workshops (1999)
Michael Roe
Performance of Protocols. Security Protocols Workshop (1999)
Michael Roe
Certification and Delegation (Transcript of Discussion). Security Protocols Workshop (1998)
Ross J. Anderson, Michael Roe
The GCHQ Protocol and Its Problems. EUROCRYPT (1997)
Shaw-Cheng Chuang, Michael Roe
A Case Study of Secure ATM Switch Booting. NDSS (1996)
Michael Roe
Performance of Block Ciphers and Hash Functions - One Year Later. FSE (1994)
Michael Roe
How to Reverse Engineer an EES Device. FSE (1994)
Michael Roe
Performance of Symmetric Ciphers and One-Way Hash Functions. FSE (1993)
Michael Roe, Tom Casey
Integrating cryptography in the trusted computing base. ACSAC (1990)
Tom Casey, Michael Roe, Bill Tuck, Steve R. Wilbur
Secure automated document delivery. ACSAC (1989)