AISEC: AI Secure and Explainable by Construction

Project: Research

Project Details

StatusFinished
Effective start/end date1/06/20 → 31/05/23

Funding

  • EPSRC (Engineering and Physical Sciences Research Council): £348,439.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.
View full fingerprint
  • 1 Conference contribution book

  • A framework for substructural type systems

    Wood, J. & Atkey, R., 7 Apr 2022, (E-pub ahead of print) ESOP 2022 Proceedings. Cham, Switzerland: Springer, 27 p. (Lecture Notes in Computer Science).

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

    Open Access
    File
    4 Downloads (Pure)