TY  - RPRT
TI  - LIO*: Low Level Information Flow Control in F*
AU  - Jean-Joseph Marty
AU  - Lucas Franceschino
AU  - Jean-Pierre Talpin
AU  - Niki Vazou
PY  - 2020
UR  - https://arxiv.org/abs/2004.12885
ID  - 2004.12885
ER  -