@misc{indiciae143906b3ed95,
  title = {Testing Noninterference, Quickly},
  author = {Catalin Hritcu and Leonidas Lampropoulos and Antal Spector-Zabusky and Arthur Azevedo de Amorim and Maxime Dénès and John Hughes and Benjamin C. Pierce and Dimitrios Vytiniotis},
  year = {2015},
  doi = {10.1017/s0956796816000058},
  url = {https://arxiv.org/abs/1409.0393},
  note = {Source identifier: 1409.0393}
}