TY  - RPRT
TI  - Liquid Information Flow Control
AU  - Nadia Polikarpova
AU  - Deian Stefan
AU  - Jean Yang
AU  - Shachar Itzhaky
AU  - Travis Hance
AU  - Armando Solar-Lezama
PY  - 2020
UR  - https://arxiv.org/abs/1607.03445
ID  - 1607.03445
ER  -