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

Title:: 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
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

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