@InProceedings{EilersMeierMueller21,
  author       = {M. Eilers and S. Meier and P. M\"uller},
  title        = {Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security},
  booktitle    = {Computer Aided Verification (CAV)},
  editor="Silva, Alexandra and Leino, K. Rustan M.",
  publisher="Springer International Publishing",
  series       = {LNCS},
  volume       = {12759},
  pages="718--741",
  year         = {2021},
  url          = {https://link.springer.com/chapter/10.1007/978-3-030-81685-8_34},
  urltext      = {[Publisher]}
}