Project
HASPOC: High Assurance Security Products On COTS platforms
HASPOC aims to provide security for critical digital services and infrastructures by developing trusted, cost and resource efficient virtualized COTS (ARM) platforms with proven and Common Criteria certified security properties.