Vivek Haldar, Christian H. Stork, Michael Franz. The source is the proof. In Cristina Serban, Carla Marceau, Simon N. Foley, editors, Proceedings of the 2002 Workshop on New Security Paradigms, Virginia Beach, VA, USA, September 23-26, 2002. pages 69-73, ACM, 2002. [doi]
@inproceedings{HaldarSF02,
title = {The source is the proof},
author = {Vivek Haldar and Christian H. Stork and Michael Franz},
year = {2002},
doi = {10.1145/844102.844114},
url = {http://doi.acm.org/10.1145/844102.844114},
researchr = {https://researchr.org/publication/HaldarSF02},
cites = {0},
citedby = {0},
pages = {69-73},
booktitle = {Proceedings of the 2002 Workshop on New Security Paradigms, Virginia Beach, VA, USA, September 23-26, 2002},
editor = {Cristina Serban and Carla Marceau and Simon N. Foley},
publisher = {ACM},
isbn = {1-58113-598-X},
}