@inproceedings{buiras:2013:a-library,
  title     = {A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems},
  author    = {Pablo Buiras and Amit Levy and Deian Stefan and Alejandro Russo and David Mazi\`eres},
  booktitle = {Trustworthy Global Computing (TGC)},
  month     = {August},
  year      = {2013},
  publisher = {Springer},
}