A verifying core for a cryptographic language compiler (2006)

by L Pike, M Shields, J Matthews
Venue:In ACL2 ’06: Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications