TY  - RPRT
TI  - Calculational Design of Information Flow Monitors (extended version)
AU  - Mounir Assaf
AU  - David A. Naumann
PY  - 2016
UR  - https://arxiv.org/abs/1605.02778
ID  - 1605.02778
ER  -