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

Document type:: Konferenzbeitrag
Contribution type:: Vortrag / Präsentation
Author(s):: H. Boche
Title:: Computer aided Property Verification for Security Applications---Impact of Machine Model; A "Case Study"
Book / Congress title:: CASA: Cybersicherheit im Zeitalter großskaliger Angreifer
Congress (additional information):: Research Hub A: Kryptographie der Zukunft
Organization:: Ruhr Universität Bochum
Date of congress:: 19.02.2021
Year:: 2021
Year / month:: 2021-02
Month:: Feb
TUM Institution:: Lehrstuhl für Theoretische Informationstechnik
Ingested:: 16.02.2021
BibTeX