@inproceedings{DBLP:conf/forte/BartheCDPR12,
  author    = {Gilles Barthe and
               Juan Manuel Crespo and
               Dominique Devriese and
               Frank Piessens and
               Exequiel Rivas},
  title     = {Secure Multi-Execution through Static Program Transformation},
  booktitle = {FMOODS/FORTE},
  year      = {2012},
  pages     = {186-202}
}