TY  - RPRT
TI  - Towards Formally Verified Compilation of Tag-Based Policy Enforcement
AU  - CHR Chhak
AU  - Andrew Tolmach
AU  - Sean Anderson
PY  - 2020
UR  - https://arxiv.org/abs/2012.10313
ID  - 2012.10313
ER  -