@inproceedings{stefan:2012:addressing,
  title     = {Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems},
  author    = {Deian Stefan and Alejandro Russo and Pablo Buiras and Amit Levy and John C. Mitchell and David Mazi\`eres},
  booktitle = {International Conference on Functional Programming (ICFP)},
  month     = {September},
  year      = {2012},
  publisher = {ACM SIGPLAN},
  video     = {https://www.youtube.com/watch?v=ak3z50FAqA8}
}