@InProceedings{GollamudiCA2019,
  author = 	 {Anitha Gollamudi and Stephen Chong and Owen Arden},
  title = 	 {Information Flow Control for Distributed Trusted Execution Environments},
  year = 	 2019,
  month = 	 jun,
  booktitle =	 {Proceedings of the 32nd {IEEE} Computer Security Foundations Symposium},
  publisher =    {IEEE Press},
  address = 	 {Piscataway, NJ, USA}
}