A Higher-Order Indistinguishability Logic for Cryptographic Reasoning Article Swipe

Higher-order logic Computer science Computational logic Theoretical computer science Automated theorem proving Cryptographic protocol Gas meter prover Programming language Automated reasoning Mathematical proof Cryptographic primitive Description logic Cryptography Protocol (science) Horn clause Logic programming Mathematics Algorithm Pathology Medicine Geometry Alternative medicine