Developing safe exception recovery mechanisms for CHERI capability hardware using UML-B formal analysis Mechanisms for detecting exceptional erroneous behaviour are often generic since they flag unusual use or... Posted on October 08, 2024 · 4 mins read
ABZ 2024 Talk HD-Sec presents (slides) the accepted paper Designing exception handling using Event-B In ABZ 2024 10th... Posted on June 26, 2024 · 1 min read
ABZ 2024 Talk HD-Sec presents (slides) the accepted paper An Event-B Formal Model for Access Control and Resource... Posted on June 26, 2024 · 1 min read
NASA Journal publication HD-Sec published the accepted journal article Systematic hierarchical analysis of requirements for critical systems in... Posted on November 24, 2022 · 1 min read
DETECT 2022 Talk HD-Sec presents (slides) the accepted paper Generating SPARK from Event-B, Providing Fundamental Safety and Security... Posted on November 24, 2022 · 1 min read