Digital Security by Design (DSbD) Technology Platform Prototype

Stark, Ian (Principal Investigator)

Status	Finished
Effective start/end date	1/11/19 → 31/03/24

Funding

UK central government bodies/local authorities, health and hospital authorities: £1,000,000.00

4 Conference contribution
1 Article

Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and Undefined Behaviour
Zaliva, V., Memarian, K., De Oliveira Almeida, R., Clarke, J., Davis, B., Richardson, A., Chisnall, D., Campbell, B., Stark, I., Watson, R. N. M. & Sewell, P., 17 Apr 2024, ASPLOS 2024: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. ACM, Vol. 1. p. 181-196 16 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Isla: Integrating full-scale ISA semantics and axiomatic concurrency models (extended version)
Armstrong, A., Campbell, B., Simner, B., Pulte, C. & Sewell, P., 12 May 2023, In: Formal Methods in System Design. 63, p. 110–133 24 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Sammler, M., Hammond, A., Lepigre, R., Campbell, B., Pichon-Pharabod, J., Dreyer, D., Garg, D. & Sewell, P., 9 Jun 2022, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). ACM, p. 825-840 16 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File