Verifpal: Cryptographic Protocol Analysis for the Real World
Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari
Topics & Concepts
Computer scienceCryptographic protocolFormal verificationAutomated theorem provingProtocol (science)Formal methodsProgramming languageCryptographic primitiveModel checkingCryptographyTheoretical computer scienceHeuristicsSemantics (computer science)Computer securityMedicineAlternative medicineOperating systemPathologyAdvanced Authentication Protocols SecurityUser Authentication and Security SystemsCryptography and Data Security