Checking trace equivalence: how to get rid of nonces?
From MaRDI portal
Publication:2165459
DOI10.1007/978-3-319-24177-7_12zbMath1499.68048OpenAlexW2293447636MaRDI QIDQ2165459
Stéphanie Delaune, Véronique Cortier, Rémy Chrétien
Publication date: 19 August 2022
Full work available at URL: https://doi.org/10.1007/978-3-319-24177-7_12
Related Items (1)
This page was built for publication: Checking trace equivalence: how to get rid of nonces?