Michael Roe - RankMe

68 papers A* 13A 4C 4Journal 8Unranked 25

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	NVIDIA AI Aerial: AI-Native Wireless Communications. CoRR Kobi Cohen-Arazi, Michael Roe, Zhen Hu, Rohan Chavan, Anna Ptasznik, Joanna Lin, Joao Morais, Joseph Boccuzzi, Tommaso Balercia
2024	J	`jnl`	Randomized Testing of RISC-V CPUs Using Direct Instruction Injection. IEEE Des. Test 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
2022	J	`jnl`	Drivers and challenges of internet of things diffusion in smart stores: A field exploration. CoRR Michael Roe, Konstantina Spanaki, Athina Ioannou, Efpraxia D. Zamani, Mihalis Giannakis
2020	A*	`conf`	Cornucopia: Temporal Safety for CHERI Heaps. SP 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
2020	A*	`conf`	Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process. SP 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
2019	J	`jnl`	CHERI Concentrate: Practical Compressed Capabilities. IEEE Trans. Computers 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
2019	A*	`conf`	CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety. MICRO 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
2019	A*	`conf`	CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment. ASPLOS Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, Jessica 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
2018	C	`conf`	CheriRTOS: A Capability Model for Embedded Devices. ICCD 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
2017	A*	`conf`	CHERI JNI: Sinking the Java Security Model into the C. ASPLOS 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
2017	C	`conf`	Efficient Tagged Memory. ICCD 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
2016	J	`jnl`	Fast Protection-Domain Crossing in the CHERI Capability-System Architecture. IEEE Micro 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
2015	A*	`conf`	Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine. ASPLOS David Chisnall, Colin Rothwell, Robert N. M. Watson, Jonathan Woodruff, Munraj Vadera, Simon W. Moore, Michael Roe, Brooks Davis, Peter G. Neumann
2015	A*	`conf`	CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization. IEEE Symposium on Security and Privacy 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
2014	A*	`conf`	The CHERI capability model: Revisiting RISC in an age of risk. ISCA 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
2013	—	`ed.`	Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers Security Protocols Workshop Bruce Christianson, James A. Malcolm, Vashek Matyas, Michael Roe
2011	—	`conf`	Production and raw material ordering management for a manufacturing supply chain with uncertainties. IEEM Wei Xu, Dongping Song, Michael Roe
2011	—	`ed.`	Security Protocols XVI - 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers Security Protocols Workshop Bruce Christianson, James A. Malcolm, Vashek Matyas, Michael Roe
2011	—	`conf`	The Metaplace Security Model (Transcript of Discussion). Security Protocols Workshop Michael Roe
2011	—	`conf`	The Metaplace Security Model. Security Protocols Workshop Michael Roe
2010	—	`conf`	Censorship of eBooks (Extended Abstract). Security Protocols Workshop Michael Roe
2010	—	`conf`	Censorship of eBooks (Transcript of Discussion). Security Protocols Workshop Michael Roe
2010	—	`conf`	Generating Channel Ids in Virtual World Operating Systems (Extended Abstract). Security Protocols Workshop Michael Roe
2010	—	`ed.`	Security Protocols - 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers Security Protocols Workshop Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe
2010	J	`jnl`	Weighting the competitiveness factors for container ports under conflicting interests. J. Oper. Res. Soc. Gi-Tae Yeo, Dong-Wook Song, John Dinwoodie, Michael Roe
2009	—	`conf`	Privacy-preserving 802.11 access-point discovery. WISEC Janne Lindqvist, Tuomas Aura, George Danezis, Teemu Koponen, Annu Myllyniemi, Jussi Mäki, Michael Roe
2009	—	`ed.`	Security Protocols, 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers Security Protocols Workshop Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe
2008	A	`conf`	Chattering Laptops. Privacy Enhancing Technologies Tuomas Aura, Janne Lindqvist, Michael Roe, Anish Mohammed
2008	—	`conf`	Problems of Provenance for Digital Libraries (Transcript of Discussion). Security Protocols Workshop Michael Roe
2008	—	`conf`	Problems of Provenance for Digital Libraries. Security Protocols Workshop Michael Roe
2007	—	`conf`	Instructions to Reviewers. Security Protocols Workshop Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe
2007	—	`conf`	Reconciling Multiple IPsec and Firewall Policies (Transcript of Discussion). Security Protocols Workshop Michael Roe
2007	—	`conf`	Reconciling Multiple IPsec and Firewall Policies. Security Protocols Workshop Tuomas Aura, Moritz Becker, Michael Roe, Piotr Zielinski
2007	C	`conf`	Securing network location awareness with authenticated DHCP. SecureComm Tuomas Aura, Michael Roe, Steven J. Murdoch
2007	—	`ed.`	Security Protocols, 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers Security Protocols Workshop Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe
2006	J	`jnl`	Designing the mobile IPv6 security protocol. Ann. des Télécommunications Tuomas Aura, Michael Roe
2006	—	`conf`	Scanning electronic documents for personally identifiable information. WPES Tuomas Aura, Thomas A. Kuhn, Michael Roe
2006	—	`ed.`	Security Protocols, 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers Security Protocols Workshop Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe
2005	—	`conf`	Experiences with Host-to-Host IPsec. Security Protocols Workshop Tuomas Aura, Michael Roe, Anish Mohammed
2005	—	`conf`	Non-repudiation and the Metaphysics of Presence. Security Protocols Workshop Michael Roe
2005	—	`conf`	Non-repudiation and the Metaphysics of Presence. Security Protocols Workshop Michael Roe
2005	C	`conf`	Reducing Reauthentication Delay in Wireless Networks. SecureComm Tuomas Aura, Michael Roe
2005	—	`ed.`	Security Protocols, 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers Security Protocols Workshop Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe
2004	—	`ed.`	Security Protocols, 10th International Workshop, Cambridge, UK, April 17-19, 2002, Revised Papers Security Protocols Workshop Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe
2003	—	`conf`	Panel Session: Is Protocol Modelling Finished? Security Protocols Workshop Michael Roe
2003	—	`conf`	Secure Sessions from Weak Secrets. Security Protocols Workshop Bruce Christianson, Michael Roe, David Wheeler
2002	—	`conf`	Securing IPv6 neighbor and router discovery. Workshop on Wireless Security Jari Arkko, Tuomas Aura, James Kempf, Vesa-Matti Mäntylä, Pekka Nikander, Michael Roe
2002	—	`ed.`	Security Protocols, 9th International Workshop, Cambridge, UK, April 25-27, 2001, Revised Papers Security Protocols Workshop Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe
2002	A	`conf`	Security of Internet Location Management. ACSAC Tuomas Aura, Michael Roe, Jari Arkko
2001	J	`jnl`	Child-proof authentication for MIPv6 (CAM). Comput. Commun. Rev. Greg O'Shea, Michael Roe
2001	—	`conf`	Experiences of Mobile IP Security. Security Protocols Workshop Michael Roe
2001	—	`ed.`	Security Protocols, 8th International Workshop, Cambridge, UK, April 3-5, 2000, Revised Papers Security Protocols Workshop Bruce Christianson, Bruno Crispo, Michael Roe
2000	—	`conf`	Authentication and Naming (Transcript of Discussion). Security Protocols Workshop Michael Roe
2000	—	`conf`	Government Access to Keys - Panel Discussion. Security Protocols Workshop Michael Roe, Ross J. Anderson, William S. Harbison, T. Mark A. Lomas
2000	—	`ed.`	Security Protocols, 7th International Workshop, Cambridge, UK, April 19-21, 1999, Proceedings Security Protocols Workshop Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe
1999	—	`conf`	Digital Copy Protection Scheme Using Recording Medium Identifier. ICPP Workshops Hajime Morito, Michael Roe, E. Stewart Lee
1999	—	`conf`	Performance of Protocols. Security Protocols Workshop Michael Roe
1999	—	`ed.`	Security Protocols, 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings Security Protocols Workshop Bruce Christianson, Bruno Crispo, William S. Harbison, Michael Roe
1998	—	`conf`	Certification and Delegation (Transcript of Discussion). Security Protocols Workshop Michael Roe
1998	—	`ed.`	Security Protocols, 5th International Workshop, Paris, France, April 7-9, 1997, Proceedings Security Protocols Workshop Bruce Christianson, Bruno Crispo, T. Mark A. Lomas, Michael Roe
1997	—	`—`	Cryptography and evidence Michael Roe
1997	A*	`conf`	The GCHQ Protocol and Its Problems. EUROCRYPT Ross J. Anderson, Michael Roe
1996	A*	`conf`	A Case Study of Secure ATM Switch Booting. NDSS Shaw-Cheng Chuang, Michael Roe
1994	A*	`conf`	How to Reverse Engineer an EES Device. FSE Michael Roe
1994	A*	`conf`	Performance of Block Ciphers and Hash Functions - One Year Later. FSE Michael Roe
1993	A*	`conf`	Performance of Symmetric Ciphers and One-Way Hash Functions. FSE Michael Roe
1990	A	`conf`	Integrating cryptography in the trusted computing base. ACSAC Michael Roe, Tom Casey
1989	A	`conf`	Secure automated document delivery. ACSAC Tom Casey, Michael Roe, Bill Tuck, Steve R. Wilbur