Automated analysis of cryptographic assumptions in generic group models
From MaRDI portal
Publication:2423840
DOI10.1007/s00145-018-9302-3zbMath1434.94057MaRDI QIDQ2423840
Gilles Barthe, John C. Mitchell, Dario Fiore, Andrej Scedrov, Benedikt Schmidt, Edvard Fagerholm
Publication date: 20 June 2019
Published in: Journal of Cryptology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00145-018-9302-3
94A60: Cryptography
Uses Software