1. 2020
  2. E-pub ahead of print

    A Performant, Misuse-Resistant API for Primality Testing

    Kenneth G. Paterson, 9 Nov 2020, Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security 2020.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    Legislation-Driven Development of a Gift Aid system using Event-B

    Williams, D. M., Darwish, S., Schneider, S. & Michael, D. R., 25 May 2020, In : Formal Aspects of Computing.

    Research output: Contribution to journalArticle

  4. Published
  5. Published
  6. Forthcoming

    A Survey of Subscription Privacy on the 5G Radio Interface - The Past, Present and Future

    Khan, H. & Martin, K. M., 5 May 2020, (Accepted/In press) In : Journal of Information Security and Applications.

    Research output: Contribution to journalArticle

  7. Published

    Who needs trust for 5G?

    Mitchell, C. J., 2 May 2020, arXiv.

    Research output: Working paper

  8. E-pub ahead of print

    (One) Failure Is Not an Option: Bootstrapping the Search for Failures in Lattice-Based Encryption Schemes

    D'Anvers, J-P., Rossi, M. & Virdia, F., 1 May 2020, Advances in Cryptology – EUROCRYPT 2020. Springer, p. 3-33 31 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. E-pub ahead of print

    Implementing Grover Oracles for Quantum Key Search on AES and LowMC

    Jaques, S., Naehrig, M., Roetteler, M. & Virdia, F., 1 May 2020, Advances in Cryptology – EUROCRYPT 2020. Springer, p. 280-310 31 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Published

    2FA: Police Digital Security Centre

    Agha, D., May 2020

    Research output: Other contribution

  11. Published
Previous 1 2 3 4 5 6 7 8 ...202 Next