BCiC: A system for code authentication and verification (2005)

by Nathan Whitehead, Martín Abadi
Venue:In Proceedings of the 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR’04