Keyword:formal proof

Publications
Assimilating the Structure of Formal and Informal Proof Kensho Tsurusaki and Akiko Aizawa EasyChair Preprint 6267
Automatically Generalizing Theorems Using Typeclasses Alexander Best EasyChair Preprint 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 104
Automated Proof of Authentication Protocols in a Logic of Events Mark Bickford In:VERIFY-2010. 6th International Verification Workshop