Welcome to the website of the Software Assurance & Security Research Team at the University of Exeter. Our aim is to build secure, reliable, resilient software (and/or hardware) systems. We work on using formal methods, verification, static analysis, and testing techniques both on the source and binary level as well as on the level of specifications and abstract models to build (and attack) all kinds of IT (and IoT) systems. The Software Assurance & Security Research Team is headed by Prof. Dr. Achim D. Brucker.

For more information about our work, please have a look on our publications, presentations, research and software projects, as well as our blog.


Former Members

  • Michael Herzberg, Michael is now a Senior Security Researcher at Citrix, UK.