Robert Norton-Wright

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety

Nathaniel Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert Norton-Wright, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson

ASPLOS ’24 | April 2024

PDF DOI Publication Project

CHERIoT: Complete Memory Safety for Embedded Devices

Saar Amar, David Chisnall, Tony Chen, Nathaniel Filardo, Ben Laurie, Kunyan Liu, Robert Norton-Wright, Simon W. Moore, Yucong Tao, Robert N. M. Watson, Hongyan Xia

2023 56th IEEE/ACM International Symposium on Microarchitecture (MICRO) | October 2023, pp. 641-653

Publication DOI Publication Project

CHERIoT: Rethinking security for low-cost embedded systems

Saar Amar, Tony Chen, David Chisnall, Felix Domke, Nathaniel Filardo, Kunyan Liu, Robert Norton-Wright, Yucong Tao, Robert N. M. Watson, Hongyan Xia

MSR-TR-2023-6 | February 2023

Published by Microsoft

PDF Github Github Github Project

CHERI Concentrate: Practical Compressed Capabilities

Jonathan Woodruff, Alexandre Joannou, Hongyan Xia, Anthony Fox, Robert Norton-Wright, Thomas Bauereiss, David Chisnall, Brooks Davis, Khilan Gudka, Nathaniel Filardo, A. Theodore Markettos, Michael Roe, Peter G. Neumann, Robert N. M. Watson, Simon W. Moore

IEEE Transactions on Computers | April 2019

Publication Publication Project

CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment

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 Norton-Wright, Michael Roe, Peter Sewell, Stacey Son, Jonathan Woodruff

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems | April 2019

Best paper award winner

Publication Project

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety

Nathaniel Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert Norton-Wright, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson

ASPLOS ’24 | April 2024

PDF DOI Publication Project

CHERIoT: Complete Memory Safety for Embedded Devices

Saar Amar, David Chisnall, Tony Chen, Nathaniel Filardo, Ben Laurie, Kunyan Liu, Robert Norton-Wright, Simon W. Moore, Yucong Tao, Robert N. M. Watson, Hongyan Xia

2023 56th IEEE/ACM International Symposium on Microarchitecture (MICRO) | October 2023, pp. 641-653

Publication DOI Publication Project

CHERIoT: Rethinking security for low-cost embedded systems

Saar Amar, Tony Chen, David Chisnall, Felix Domke, Nathaniel Filardo, Kunyan Liu, Robert Norton-Wright, Yucong Tao, Robert N. M. Watson, Hongyan Xia

MSR-TR-2023-6 | February 2023

Published by Microsoft

PDF Github Github Github Project

CHERI Concentrate: Practical Compressed Capabilities

Jonathan Woodruff, Alexandre Joannou, Hongyan Xia, Anthony Fox, Robert Norton-Wright, Thomas Bauereiss, David Chisnall, Brooks Davis, Khilan Gudka, Nathaniel Filardo, A. Theodore Markettos, Michael Roe, Peter G. Neumann, Robert N. M. Watson, Simon W. Moore

IEEE Transactions on Computers | April 2019

Publication Publication Project

CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment

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 Norton-Wright, Michael Roe, Peter Sewell, Stacey Son, Jonathan Woodruff

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems | April 2019

Best paper award winner

Publication Project

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety

Nathaniel Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert Norton-Wright, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson

ASPLOS ’24 | April 2024

PDF DOI Publication Project

CHERIoT: Complete Memory Safety for Embedded Devices

Saar Amar, David Chisnall, Tony Chen, Nathaniel Filardo, Ben Laurie, Kunyan Liu, Robert Norton-Wright, Simon W. Moore, Yucong Tao, Robert N. M. Watson, Hongyan Xia

2023 56th IEEE/ACM International Symposium on Microarchitecture (MICRO) | October 2023, pp. 641-653

Publication DOI Publication Project

CHERIoT: Rethinking security for low-cost embedded systems

Saar Amar, Tony Chen, David Chisnall, Felix Domke, Nathaniel Filardo, Kunyan Liu, Robert Norton-Wright, Yucong Tao, Robert N. M. Watson, Hongyan Xia

MSR-TR-2023-6 | February 2023

Published by Microsoft

PDF Github Github Github Project

CHERI Concentrate: Practical Compressed Capabilities

Jonathan Woodruff, Alexandre Joannou, Hongyan Xia, Anthony Fox, Robert Norton-Wright, Thomas Bauereiss, David Chisnall, Brooks Davis, Khilan Gudka, Nathaniel Filardo, A. Theodore Markettos, Michael Roe, Peter G. Neumann, Robert N. M. Watson, Simon W. Moore

IEEE Transactions on Computers | April 2019

Publication Publication Project

CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment

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 Norton-Wright, Michael Roe, Peter Sewell, Stacey Son, Jonathan Woodruff

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems | April 2019

Best paper award winner

Publication Project

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety

Nathaniel Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert Norton-Wright, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson

ASPLOS ’24 | April 2024

PDF DOI Publication Project

CHERIoT: Rethinking security for low-cost embedded systems

Saar Amar, Tony Chen, David Chisnall, Felix Domke, Nathaniel Filardo, Kunyan Liu, Robert Norton-Wright, Yucong Tao, Robert N. M. Watson, Hongyan Xia

MSR-TR-2023-6 | February 2023

Published by Microsoft

PDF Github Github Github Project

CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment

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 Norton-Wright, Michael Roe, Peter Sewell, Stacey Son, Jonathan Woodruff

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems | April 2019

Best paper award winner

Publication Project

CHERIoT: Complete Memory Safety for Embedded Devices

Saar Amar, David Chisnall, Tony Chen, Nathaniel Filardo, Ben Laurie, Kunyan Liu, Robert Norton-Wright, Simon W. Moore, Yucong Tao, Robert N. M. Watson, Hongyan Xia

2023 56th IEEE/ACM International Symposium on Microarchitecture (MICRO) | October 2023, pp. 641-653

Publication DOI Publication Project

CHERI Concentrate: Practical Compressed Capabilities

Jonathan Woodruff, Alexandre Joannou, Hongyan Xia, Anthony Fox, Robert Norton-Wright, Thomas Bauereiss, David Chisnall, Brooks Davis, Khilan Gudka, Nathaniel Filardo, A. Theodore Markettos, Michael Roe, Peter G. Neumann, Robert N. M. Watson, Simon W. Moore

IEEE Transactions on Computers | April 2019

Publication Publication Project

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety

Nathaniel Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert Norton-Wright, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson

ASPLOS ’24 | April 2024

PDF DOI Publication Project

CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment

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 Norton-Wright, Michael Roe, Peter Sewell, Stacey Son, Jonathan Woodruff

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems | April 2019

Best paper award winner

Publication Project

CHERIoT: Rethinking security for low-cost embedded systems

Saar Amar, Tony Chen, David Chisnall, Felix Domke, Nathaniel Filardo, Kunyan Liu, Robert Norton-Wright, Yucong Tao, Robert N. M. Watson, Hongyan Xia

MSR-TR-2023-6 | February 2023

Published by Microsoft

PDF Github Github Github Project