TY  - RPRT
TI  - Security Wrappers for Information-Flow Control in Active Object Languages with Futures
AU  - Farzane Karami
AU  - Olaf Owe
AU  - Gerardo Schneider
PY  - 2020
UR  - https://arxiv.org/abs/2002.10900
ID  - 2002.10900
ER  -