There are Two Sides to Every Question - Controller Versus Attacker. Martinelli, F.; Matteucci, I.; and Santini, F. In Programming Languages with Applications to Biology and Security, volume 9465, of Lecture Notes in Computer Science, pages 304–318, 2015. Springer.
bibtex   
@inproceedings{DBLP:conf/birthday/MartinelliMS15,
  author    = {Fabio Martinelli and
               Ilaria Matteucci and
               Francesco Santini},
  title     = {There are Two Sides to Every Question - Controller Versus Attacker},
  booktitle = {Programming Languages with Applications to Biology and Security},
  series    = {Lecture Notes in Computer Science},
  volume    = {9465},
  pages     = {304--318},
  publisher = {Springer},
  year      = {2015}
}
Downloads: 0