Applications of Interactive Proof to Data Flow Analysis and Security

Gerwin Klein and Tobias Nipkow

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