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