Keyword:formal proof

Papers
Automatically Generalizing Theorems Using Typeclasses Alexander Best EasyChair Preprint no. 6216
Formal Security Proof of CMAC and its Variants Cécile Baritel-Ruet, François Dupressoir, Pierre-Alain Fouque and Benjamin Grégoire EasyChair Preprint no. 104
Automated Proof of Authentication Protocols in a Logic of Events Mark Bickford In:VERIFY-2010. 6th International Verification Workshop