Finding meaning in cryptographic verification: Methods in the verification of post-quantum cryptography

Project funded by UK Research and Innovation (UKRI) (EPSRC, Studentship), research institution: ROYAL HOLLOWAY UNIVERSITY OF LONDON. Gateway to Research gives no award value above zero for this award (studentships are often listed without one). Runs 2019-10-01 to 2024-03-04. Source: Gateway to Research (UK Research and Innovation) (national funding data, not CORDIS).

Original source.

Source: Gateway to Research (UK Research and Innovation), UK Research and Innovation (UKRI). Retrieved 2026-10-23. Licence: Open Government Licence v3.0; contains public sector information licensed under the Open Government Licence v3.0. Selected metadata, adapted presentation; the publisher's record is authoritative. No endorsement by the source is implied. Licence: Open Government Licence v3.0.

AI-assisted summary: The project 'Finding meaning in cryptographic verification' focuses on post-quantum cryptography and is funded by UK Research and Innovation through a studentship at Royal Holloway University of London. It runs from October 1, 2019, to March 4, 2024. Suggested technology pillar: communication. Generated by AI from the public source text; it may contain errors and the original source is authoritative.