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. Forthcoming

    WearFlow: Expanding Information Flow Analysis To Companion Apps in Wear OS

    Blasco Alis, J., Tileria Palacios, M. & Suarez de Tangil Rotaeche, G., 27 May 2020, (Accepted/In press) 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020).

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

  4. 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

  5. Published
  6. Published
  7. 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

  8. Published

    Who needs trust for 5G?

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

    Research output: Working paper

  9. 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

  10. 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

  11. Published

    2FA: Police Digital Security Centre

    Agha, D., May 2020

    Research output: Other contribution

  12. Published
  13. E-pub ahead of print

    Improved Classical Cryptanalysis of SIKE in Practice

    Costello, C., Longa, P., Naehrig, M., Renes, J. & Virdia, F., 29 Apr 2020, Public-Key Cryptography – PKC 2020. Springer, p. 505-534 30 p. (Lecture Notes in Computer Science; vol. 12111).

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

  14. Published
  15. Published

    On the unbearable lightness of FIPS 140-2 randomness tests

    Hurley-Smith, D., Patsakis, C. & Hernandez-Castro, J., 17 Apr 2020, In : IEEE Transactions on Information Forensics and Security . p. 1-13 13 p.

    Research output: Contribution to journalArticle

  16. E-pub ahead of print

    Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange

    Dowling, B., Hansen, T. B. & Paterson, K. G., 10 Apr 2020, Post-Quantum Cryptography - 11th International Conference, PQCrypto 2020, Proceedings. Ding, J. & Tillich, J-P. (eds.). Springer, p. 483-502 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12100 LNCS).

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

  17. Forthcoming

    User Access Privacy in OAuth 2.0 and OpenID Connect

    Li, W. & Mitchell, C. J., 9 Apr 2020, (Accepted/In press) Proceedings of SecWeb 2020, June 2020. IEEE Press

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

  18. E-pub ahead of print

    The impact of quantum computing on real-world security: A 5G case study

    Mitchell, C. J., 3 Apr 2020, In : Computers and Security. 93, p. 1-11 11 p., 101825.

    Research output: Contribution to journalArticle

  19. Published

    Civic Empowerment through Digitalisation: The Case of Greenlandic Women

    Wendt, N., Jensen, R. B. & Coles-Kemp, L., Apr 2020, ACM CHI Conference on Human Factors in Computing Systems: CHI'20. ACM, p. 1-13 13 p.

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

  20. Published

    Digital Liminalities: Understanding Isolated Communities on the Edge

    Jensen, R. B., Coles-Kemp, L., Wendt, N. & Lewis, M., Apr 2020, ACM CHI Conference on Human Factors in Computing Systems: CHI'20. ACM, p. 1-14 14 p.

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

  21. Published

    Too Much Information: Questioning Security in a Post-Digital Society

    Coles-Kemp, L., Jensen, R. B. & Heath, C. P. R., Apr 2020, CHI '20: CHI Conference on Human Factors in Computing Systems. ACM, p. 1-14 14 p.

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

  22. Published

    Virtual Private Networks: Police Digital Security Centre

    Agha, D., Apr 2020

    Research output: Other contribution

  23. Published

    When the Civic Turn turns Digital: Designing Safe and Secure Refugee Resettlement

    Jensen, R. B., Coles-Kemp, L. & Talhouk, R., Apr 2020, ACM CHI Conference on Human Factors in Computing Systems: CHI'20. ACM, p. 1-14 14 p.

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

  24. Published
  25. Published

    Resilience Analysis of Software-Defined Networks Using Queueing Networks

    Nweke, L. O. & Wolthusen, S. D., 30 Mar 2020, 2020 International Conference on Computing, Networking and Communications (ICNC): Communications and Information Security Symposium. IEEE, p. 1-7 7 p.

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

  26. E-pub ahead of print

    Prenatal and perinatal risk and protective factors for psychosis: a systematic review and meta-analysis

    Davies, C., Segre, G., Estradé, A., Radua, J., De Micheli, A., Provenzani, U., Oliver, D., Salazar de Pablo, G., Ramella-Cravaro, V., Besozzi, M., Dazzan, P., Miele, M., Caputo, G., Spallarossa, C., Crossland, G., Ilyas, A., Spada, G., Politi, P., Murray, R., McGuire, P. & 1 others, Fusar-Poli, P., 24 Mar 2020, In : The Lancet Psychiatry. p. 1-12 12 p.

    Research output: Contribution to journalArticle

Previous 1 2 3 4 5 6 7 8 ...81 Next