Variant-Based Equational Anti-unification

von Alpuente, María
Veröffentlicht in LOPSTR (32. : 2022 : Tiflis) Logic-based program synthesis and transformation (2022)

An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA

von Aparicio-Sánchez, Damián
Veröffentlicht in ESORICS (25. : 2020 : Online) Computer Security – ESORICS 2020 ; Part 2 (2020)

Protocol Analysis with Time

von Aparicio-Sánchez, Damián
Veröffentlicht in INDOCRYPT (21. : 2020 : Online) Progress in cryptology - INDOCRYPT 2020 (2020)