@inproceedings{KleinN-MOD2013,author={Gerwin Klein and Tobias Nipkow}, title={Applications of Interactive Proof to Data Flow Analysis and Security}, booktitle={Software Systems Safety}, publisher={IOS Press},editor={O. Grumberg and H. Seidl and M. Irlbeck}, pages={77--134},year=2014}This article is superseded by the book Concrete Semantics with Isabelle/HOL.