Verfasser Suchresultate :: Subito Katalog

1

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)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Protocol Analysis with Time

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

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: