Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Publikation
8 Treffer
-
In: Inf. Wiss. Prax., Jg. 75 (2024), Heft 1, S. 34-37academicJournalZugriff:
-
In: TACAS (2), 2023, S. 541-546KonferenzZugriff:
-
In: J. Big Data, Jg. 10 (2023), Heft 1, S. 102-102academicJournalZugriff:
-
EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols.In: CoRR, Jg. abs/2103.11363 (2021)academicJournalZugriff:
-
In: SEMCCO, 2010, S. 351-361KonferenzZugriff:
-
In: NaBIC, 2009, S. 1041-1046KonferenzZugriff:
-
In: Symmetry, Jg. 11 (2019), Heft 6, S. 762-762Online academicJournalZugriff:
-
In: Datenschutz und Datensicherheit, Jg. 27 (2003), Heft 9academicJournalZugriff: