@inproceedings{infoflow:post17,
  author =       {Willard Rafnsson and Limin Jia and Lujo Bauer},
  title =        {Timing-sensitive noninterference through composition},
  booktitle =    {Proceedings of the 6th International Conference on the Principles of Security and Trust},
  year =         2017,
  month =        apr,
  keywords =     {information flow},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2017/post2017-compose-time.pdf},
}