Automated Reasoning
From MaRDI portal
Publication:5307075
DOI10.1007/b98691zbMath1126.68558OpenAlexW4239036627MaRDI QIDQ5307075
Sabrina Tarento, Jan Cederquist, Gilles Barthe
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98691
Related Items
Automated analysis of cryptographic assumptions in generic group models ⋮ Automated proofs for asymmetric encryption ⋮ A survey of symbolic methods in computational analysis of cryptographic systems ⋮ Automated Proofs for Asymmetric Encryption ⋮ Analyzing security protocols using time-bounded task-PIOAs ⋮ Machine-Checked Security Proofs of Cryptographic Signature Schemes
Uses Software