MODELS 2022 Poster Hd-Sec presents (poster) the accepted paper A Lightweight Approach to the Concurrent Use and Integration... Posted on October 22, 2022 · 1 min read
F-IDE 2022 Talk Hd-Sec presents two accpeted papers In DETECT 2022 7th Workshop on Formal Integrated Development Environment,... Posted on September 25, 2022 · 1 min read
First HD-Sec Workshop University of Southampton hosted the first HD-Sec workshop on 16 September 2021. The event took... Posted on September 16, 2021 · 1 min read
ABZ 2021 Talks Hd-Sec presents three accpeted papers In ABZ 2021 8th International Conference on Abstract State Machines... Posted on March 31, 2021 · 1 min read
HD-Sec News Release The release of Holistic Design of Secure Systems on Capability Hardware (HD-Sec) project is featured... Posted on June 11, 2020 · 1 min read