Secure Electronic Voting: CHERIoT-Enhanced Smart Ballot Box on Sonata Introduction Posted on February 10, 2025 · 3 mins read
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