@inproceedings{soeller:2017:multi-core-ifc,
  author    = {Gary Soeller and Deian Stefan},
  title     = {Multi-core {IFC}: Securing the space-time continuum},
  booktitle = {Workshop on Foundations of Computer Security (FCS)}
  month     = {August},
  year      = {2017},
}