TY  - RPRT
TI  - A Verified Information-Flow Architecture
AU  - Arthur Azevedo de Amorim
AU  - Nathan Collins
AU  - André DeHon
AU  - Delphine Demange
AU  - Catalin Hritcu
AU  - David Pichardie
AU  - Benjamin C. Pierce
AU  - Randy Pollack
AU  - Andrew Tolmach
PY  - 2016
UR  - https://arxiv.org/abs/1509.06503
ID  - 1509.06503
ER  -