@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,
  copyright =    {Springer-Verlag},
  publisher =    {Springer},
  month =        apr,
  keywords =     {information-flow control, language-based security},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2017/post2017-compose-time.pdf},
  doi =          {10.1007/978-3-662-54455-6_1}
}