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}
}