2024
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),
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
2023
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
2020
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
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
2019
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
