Repository for 'A Core Calculus for Equational Proofs of Cryptographic Protocols

A repository associated with the academic article 'A Core Calculus for Equational Proofs of Cryptographic Protocols'. The repository likely contains formal definitions, proofs, or code related to the paper's theoretical framework. The article's author is Joshua Gancher from Carnegie Mellon University.

Use Cases

• Analyzing formal models of cryptographic protocol proofs (inferred from domain, verify after download)
• Developing or verifying automated theorem prover support for equational logic (inferred from domain, verify after download)
• Studying core calculi for security protocol verification (inferred from domain, verify after download)

Strengths

• Published on paperswithcode, a platform for linking research papers with code.
• Author affiliation is Carnegie Mellon University, a known research institution.

Limitations

• Metadata is minimal; actual content requires verification after download.
• License is listed as 'closed', which may restrict usage.
• The specific file formats, size, and row count are unknown.

Provenance

Source

paperswithcode