Computer aided Property Verification for Security Applications---Impact of Machine Model;A "Case Study"

Dokumenttyp:: Konferenzbeitrag
Art des Konferenzbeitrags:: Vortrag / Präsentation
Autor(en):: H. Boche
Titel:: Computer aided Property Verification for Security Applications---Impact of Machine Model; A "Case Study"
Kongress- / Buchtitel:: CASA: Cybersicherheit im Zeitalter großskaliger Angreifer
Kongress / Zusatzinformationen:: Research Hub A: Kryptographie der Zukunft
Ausrichter der Konferenz:: Ruhr Universität Bochum
Datum der Konferenz:: 19.02.2021
Jahr:: 2021
Jahr / Monat:: 2021-02
Monat:: Feb
TUM Einrichtung:: Lehrstuhl für Theoretische Informationstechnik
Eingabe:: 16.02.2021
BibTeX