Confidentiality for seL4-based Systems

Funding period: 2019 - 2021

Completed

University of Melbourne Researchers