selected publications book 2014 Twelfth annual conference on privacy, security and trust 2014 conference paper Proceedings of the 5th international conference on Foundations and Practice of Security. Foundations and Practice of Security. 2012