Conference proceedings
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 International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, v. 2
Doi: 10.1145/3620665.3640416
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: 10.1145/3617232.3624859
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. ASPLOS (1),
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: 10.1109/ICCD58817.2023.00093
Wesley Filardo, N., Gutstein, BF., Woodruff, J., Ainsworth, S., Paul-Trifu, L., Davis, B., Xia, H., Tomasz Napierala, E., Richardson, A., Baldwin, J., Chisnall, D., Clarke, J., Gudka, K., Joannou, A., Theodore Markettos, A., Mazzinghi, A., Norton, RM., Roe, M., Sewell, P., Son, S., Jones, TM., Moore, SW., Neumann, PG. and Watson, RNM., 2020. Cornucopia: Temporal safety for CHERI heaps Proceedings - IEEE Symposium on Security and Privacy, v. 2020-May
Doi: 10.1109/SP40000.2020.00098
Dodson, M., Beresford, AR., Richardson, A., Clarke, J. and Watson, RNM., 2020. CHERI Macaroons: Efficient, host-based access control for cyber-physical systems Proceedings - 5th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2020,
Doi: 10.1109/EuroSPW51379.2020.00099
Davis, B., Watson, RNM., Richardson, A., Neumann, PG., Moore, SW., Baldwin, J., Chisnall, D., Clarke, J., Filardo, NW., Gudka, K., Joannou, A., Laurie, B., Markettos, AT., Maste, JE., Mazzinghi, A., Napierala, ET., Norton, RM., Roe, M., Sewell, P., Son, S. and Woodruff, J., 2019. CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS,
Doi: 10.1145/3297858.3304042
Journal articles
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., 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, 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, v. 22
Doi: 10.1109/MSEC.2024.3396701
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., 2020. Research data supporting 'Cornucopia: Temporal Safety for CHERI Heaps'
Doi: 10.17863/CAM.51028
