The University of Southampton
  • 4 March 2021

    Artificial Intelligence enhanced design to...

    Dr Basel Halak will enhance the security of anti-tamper embedded devices in a new Royal Academy of Engineering Industrial Fellowship at the University of Southampton.

    Read More
  • 23 October 2020

    Proactive cyber risk platform developed to...

    Computer scientists from the University of Southampton have collaborated with incident modelling solutions provider Riskaware to help defend UK military systems and networks from rapidly growing cyber threats.

    Read More
  • 11 June 2020

    Holistic design of security systems to build UK...

    Computer scientists from the University of Southampton will guide software design to help curb cyber attacks on UK businesses in a major new research programme announced by Digital Secretary, Oliver Dowden.

    Read More
  • More publications

    Recent Cyber Security publications

    ASSURE: A hardware-baSed SecUrity pRotocol for resourcE-constrained IoT systems - Yildiran Yilmaz, Leonardo Aniello and Basel Halak
    Type: Article | 2020 | Item availability restricted.
    SMT-based refutation of spurious bug reports in the clang static analyzer - Mikhail R. Gadelha, Enrico Steffinlongo, Lucas Cordeiro, Bernd Fischer and Denis Nicole
    Type: Conference or Workshop Item | 2019 | IEEE Press | Item availability restricted.
    Preemptive type checking - Neville Grech, Bernd Fischer and Julian Rathke
    Type: Article | 2018