TY - RPRT TI - Transparent IFC Enforcement: Possibility and (In)Efficiency Results AU - Maximilian Algehed AU - Cormac Flanagan PY - 2020 UR - https://arxiv.org/abs/2005.12345 ID - 2005.12345 ER -