TY  - RPRT
TI  - Hypercollecting Semantics and its Application to Static Analysis of Information Flow
AU  - Mounir Assaf
AU  - David A. Naumann
AU  - Julien Signoles
AU  - Éric Totel
AU  - Frédéric Tronel
PY  - 2016
DO  - 10.1145/3009837.3009889
UR  - https://arxiv.org/abs/1608.01654
ID  - 1608.01654
ER  -