AISEC: AI Secure and Explainable by Construction

Project: Research

  • 2 Conference contribution book
  • 2 Article
Filter
Conference contribution book

Search results

  • 2023

    Compiling higher-order specifications to SMT solvers: how to deal with rejection constructively

    Daggitt, M. L., Atkey, R., Kokke, W., Komendantskaya, E. & Arnaboldi, L., 11 Jan 2023, CPP 2023 : Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). New York, NY., p. 102-120 19 p.

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

    Open Access
    File
    3 Citations (Scopus)
    47 Downloads (Pure)
  • 2022

    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
    49 Downloads (Pure)