TY  - RPRT
TI  - ACE: Towards A High-Assurance Isolated Virtualization Environment for RISC-V
AU  - Wojciech Ozga
AU  - Guerney D. H. Hunt
AU  - Michael V. Le
AU  - Lennard Gäher
AU  - Avraham Shinnar
AU  - Elaine R. Palmer
AU  - Hani Jamjoom
AU  - Silvio Dragone
PY  - 2026
UR  - https://arxiv.org/abs/2505.12995
ID  - 2505.12995
ER  -