Welcome to the website of the Software Assurance & Security Research Team at The University of Sheffield. 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 Dr. Achim D. Brucker.

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

Members