Automated Deduction – CADE-20

DOI10.1007/11532231zbMath1135.94330OpenAlexW2485416161MaRDI QIDQ5394626

Tomasz Truderung

Publication date: 1 November 2006

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

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

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (1)

Transducer-based analysis of cryptographic protocols

This page was built for publication: Automated Deduction – CADE-20