TY  - RPRT
TI  - UCCA: A Verified Architecture for Compartmentalization of Untrusted Code Sections in Resource-Constrained Devices
AU  - Liam Tyler
AU  - Ivan De Oliveira Nunes
PY  - 2024
UR  - https://arxiv.org/abs/2312.02348
ID  - 2312.02348
ER  -