Publications
Below are the lists of papers, reports and talks from the COMPASS project ordered by year. Please click on the icon to download the respective file.
Publications
| 2017 | |
|---|---|
 | Louis Wachtmeister, Thomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications. Proc. Int. Workshop on MILS: Architecture and Assurance for Secure Systems, Zenodo, 2017. |