Digital Security by Design (DSbD) Technology Platform Prototype

Project Details

StatusActive
Effective start/end date1/11/1931/03/24

Funding

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

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • 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 journalArticlepeer-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 proceedingConference 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 proceedingConference contribution

    Open Access
    File