Published November 7, 2022 | Version v1

Conference paper Metadata-only

Tidy: Symbolic Verification of Timed Cryptographic Protocols

Creators: Barthe, Gilles; Dal Lago, Ugo; Malavolta, Giulio; Rakotonirina, Itsaka

Others:: Max Planck Institute for Security and Privacy [Bochum] (MPI Security and Privacy); Institute IMDEA Software [Madrid]; Foundations of Component-based Ubiquitous Systems (FOCUS) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI) ; Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO); University of Bologna/Università di Bologna

Description

International audience

Additional details

Created:: February 22, 2023
Modified:: November 28, 2023