@misc{indiciae5e272ac76510, title = {Nonmalleable Information Flow: Technical Report}, author = {Ethan Cecchetti and Andrew C. Myers and Owen Arden}, year = {2017}, doi = {10.1145/3133956.3134054}, url = {https://arxiv.org/abs/1708.08596}, note = {Source identifier: 1708.08596} }