@inproceedings{vassena:2019:foundations,
  author    = {Marco Vassena and Gary Soeller and Peter Amidon and Matthew Chan and John Renner and Deian Stefan},
  title     = {Foundations for parallel information flow control runtime systems},
  booktitle = {Conference on Principles of Security and Trust (POST)},
  month     = {April},
  year      = {2019},
  publisher = {Springer}
}