Keyword:formal proof

Papers
Assimilating the Structure of Formal and Informal Proof Kensho Tsurusaki and Akiko Aizawa EasyChair Preprint no. 6267
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