Types for Proofs and Programs

DOI10.1007/11617990zbMath1172.94560OpenAlexW4300050167MaRDI QIDQ5898171

Sabrina Tarento, Gilles Barthe

Publication date: 13 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11617990

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (3)

Automated analysis of cryptographic assumptions in generic group models ⋮ Automated proofs for asymmetric encryption ⋮ Automated Proofs for Asymmetric Encryption

Uses Software

• Coq

This page was built for publication: Types for Proofs and Programs