The CamilleX Framework for the Rodin Platform (2021)

First Author: Thai Son Hoang
Attributed to:  Holistic Design of Secure Systems on Capability Hardware (HD-Sec) funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Type: Working Paper