Digital Security by Design (DSbD) Technology Platform Prototype

  • 4 Conference contribution
  • 1 Article
Filter
Conference contribution

Search results

  • 2023

    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., 19 Sept 2023, (Accepted/In press) ASPLOS 2024: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. ACM, p. 1-16 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2022

    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
  • 2021

    Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models

    Armstrong, A., Campbell, B., Simner, B., Pulte, C. & Sewell, P., 15 Jul 2021, Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV 2021). Springer, p. 303-316 14 p. (Lecture Notes in Computer Science; vol. 12759).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File