Conference proceedings
Zaliva, V., Memarian, K., Almeida, R., Clarke, J., Davis, B., Richardson, A., Chisnall, D., Campbell, B., Stark, I., Watson, RNM. and Sewell, P., 2024. Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, v. 1
Doi: http://doi.org/10.1145/3617232.3624859
Filardo, NW., Gutstein, BF., Woodruff, J., Clarke, J., Rugg, P., Davis, B., Johnston, M., Norton, R., Chisnall, D., Moore, SW., Neumann, PG. and Watson, RNM., 2024. Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,
Doi: 10.1145/3620665.3640416
Fuchs, F., Woodruff, J., van der Maas, M., Rugg, P., Joannou, A., Richardson, A., Clarke, J., Filardo, NW., Davis, B., Baldwin, J., Neumann, PG., Moore, S. and Watson, R., 2023. Architectural Contracts for Safe Speculation 2023 IEEE 41st International Conference on Computer Design (ICCD),
Doi: http://doi.org/10.1109/ICCD58817.2023.00093
Filardo, N., Gutstein, BF., Woodruff, J., Ainsworth, S., Paul-Trifu, L., Davis, B., Xia, H., Napierala, ET., Richardson, A., Baldwin, J., Chisnall, D., Clarke, J., Gudka, K., Joannou, A., Markettos, AT., Mazzinghi, A., Norton, RM., Roe, M., Sewell, P., Son, S., Jones, TM., Moore, SW., Neumann, PG. and Watson, RNM., Cornucopia: Temporal Safety for CHERI Heaps Proceedings of the 41st IEEE Symposium on Security and Privacy,
David, B., Watson, R., Alexander, R., Peter, N., Moore, S., Baldwin, J., Chisnall, D., Clarke, J., Filardo, N., Gudka, K., Joannou, A., Laurie, B., Markettos, A., Maste, J., Mazzinghi, A., Napierala, E., Norton, R., Roe, M., Sewell, P., Son, S. and Woodruff, J., CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment ACM,
Dodson, M., Beresford, AR., Watson, R., Clarke, J. and Richardson, A., CHERI Macaroons: Efficient, host-based access control for cyber-physical systems
Zaliva, V., Memarian, K., Almeida, R., Clarke, J., Davis, B., Richardson, A., Chisnall, D., Campbell, B., Stark, I., Watson, RNM. and Sewell, P., Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance
Journal articles
Watson, RNM., Chisnall, D., Clarke, J., Davis, B., Filardo, NW., Laurie, B., Moore, SW., Neumann, PG., Richardson, A., Sewell, P., Witaszczyk, K. and Woodruff, J., 2024. CHERI: Hardware-Enabled C/C++ Memory Protection at Scale IEEE Security and Privacy,
Doi: 10.1109/MSEC.2024.3396701
Watson, RNM., Chisnall, D., Clarke, J., Davis, B., Filardo, N., Laurie, B., Moore, S., Neumann, P., Richardson, A., Sewell, P., Witaszczyk, K. and Woodruff, J., CHERI: Hardware-Enabled C/C++ Memory
Protection at Scale IEEE Security and Privacy,
Datasets
Filardo, N., Gutstein, B., Woodruff, J., Ainsworth, S., Paul-Trifu, L., Davis, B., Xia, H., Napierala, E., Richardson, A., Baldwin, J., Chisnall, D., Clarke, J., Gudka, K., Joannou, A., Markettos, AT., Mazzinghi, A., Norton, RM., Roe, M., Sewell, P., Son, S., Jones, TM., Moore, SW., Neumann, PG. and Watson, RNM., Research data supporting 'Cornucopia: Temporal Safety for CHERI Heaps'
