All Members

University of Exeter

Description

The University of Exeter is a Russell Group university and a leading research-intensive institution located in the South West of England, UK. The Faculty of Environment, Science and Economy (ESE) at the University of Exeter is globally recognised for its interdisciplinary approach to solving critical technical challenges and its dedication to delivering world-class education and research that breaks new boundaries and has a positive impact on the world. Cyber security is one of the strategic areas of the Faculty and its Department of Computer Science.
Member Website
University of Exeter logo

CHERI Activities

The Software Assurance & Security group, led by Prof. Achim D. Brucker, develops tools, methods, and processes for developing safe, secure, reliable, resilient software systems. A particular focus are techniques for high-integrity systems. As partner of the AutoCHERI initiative, the group focused on evaluating static code analysis and verification techniques for the development of safety critical components in the automotive sector on top of the CHERI platform. Future and ongoing work focuses on utilising CHERI’s feature to make code analysis and verification techniques more lightweight and scalable while preserving their high level of safety, security, and correctness guarantees. Currently, we are also evaluating CHERI in the context of EN 50716.