Digital Security by Design (DSbD) Technology Platform Prototype

Stark, Ian (Principal Investigator)

School of Informatics

Status	Finished
Effective start/end date	1/11/19 → 28/02/25

Funding

Innovate UK: £999,999.65

1 Conference contribution
1 Article

Static analysis to make the most of CHERI C/C++ for existing code: improving memory safety at scale
Dudina, I. & Stark, I., 20 Feb 2025, In: International Journal on Software Tools for Technology Transfer. SOAP 2024, p. 1-13 13 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
A CHERI C memory model for verified temporal safety
Zaliva, V., Memarian, K., Campbell, B., Almeida, R., Filardo, N., Stark, I. & Sewell, P., 19 Nov 2024, (Accepted/In press) Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’25). New York, NY, USA: ACM, p. 1-15 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File