City, University of London Library

    City Research Online

    Items where Author is "Player, R."

    [up] Up a level
    Group by: Type | No Grouping
    Jump to: Conference or Workshop Item
    Number of items: 1.

    Conference or Workshop Item

    Brain, M. ORCID: 0000-0003-4216-7151, Cid, C., Player, R. & Robson, W. (2023). Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation. In: Code-Based Cryptography. 10th International Workshop, CBCrypto 2022, 29-30 May 2022, Trondheim, Norway. doi: 10.1007/978-3-031-29689-5_2

    This list was generated on Mon Oct 27 12:38:05 2025 UTC.