Digital Security by Design (DSbD) Technology Platform Prototype

Stark, Ian (Principal Investigator)

Status	Active
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

3 Conference contribution
1 Article

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, (E-pub ahead of print) In: Formal Methods in System Design. 30 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
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture
Bauereiss, T., Campbell, B., Sewell, T., Armstrong, A., Esswood, L., Stark, I., Barnes, G., Watson, R. N. M. & Sewell, P., 29 Mar 2022, Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Sergey, I. (ed.). Springer, p. 174-203 30 p. (Lecture Notes in Computer Science; vol. 13240).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File