@misc{indiciaefa7afd89e1ae,
  title = {Type-Directed Compilation for Fault-Tolerant Non-Interference},
  author = {Filippo Del Tedesco and David Sands and Alejandro Russo},
  year = {2014},
  url = {https://arxiv.org/abs/1410.4917},
  note = {Source identifier: 1410.4917}
}