@inproceedings{buiras:2014:on-dynamic,
  title     = {On Dynamic Flow-sensitive Floating-Label Systems},
  author    = {Pablo Buiras and Deian Stefan and Alejandro Russo},
  booktitle = {Computer Security Foundations Symposium (CSF)},
  month     = {July},
  year      = {2014},
  publisher = {IEEE},
}