Finding a middle ground for computer-aided cryptography

DOI10.1007/978-3-319-96418-8_2zbMath1398.94096OpenAlexW2884480216MaRDI QIDQ1662190

Y. Aharonov

Publication date: 17 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-96418-8_2

zbMATH Keywords

automated cryptographic analysis tools

Mathematics Subject Classification ID

Cryptography (94A60)

Uses Software

• QuickCheck
• EasyCrypt

This page was built for publication: Finding a middle ground for computer-aided cryptography