Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Cardiac Arrhythmias Classification in Kardiovize Population Study., , , , , , , , , and . CinC, page 1-4. IEEE, (2021)A Survey of Practical Formal Methods for Security., , , , , , and . Formal Aspects Comput., 34 (1): 1-39 (2022)Compliance verification of a cyber security standard for Cloud-connected SCADA., , and . GIoTS, page 1-6. IEEE, (2019)State of the Art Report: Verified Computation., , , , , , , , , and 1 other author(s). CoRR, (2023)A Framework for Threat-Driven Cyber Security Verification of IoT Systems., , , and . ICST Workshops, page 89-97. IEEE Computer Society, (2018)Formal Model In-The-Loop for Secure Industrial Control Networks., , , , , and . FACS, volume 13712 of Lecture Notes in Computer Science, page 74-89. Springer, (2022)Security Verification of Industrial Control Systems using Partial Model Checking., , and . FormaliSE@ICSE, page 98-108. ACM, (2020)Towards Formally Verified Key Management for Industrial Control Systems., , and . FormaliSE@ICSE, page 119-129. ACM, (2020)Formal Security Analysis of Cloud-Connected Industrial Control Systems., , and . SecITC, volume 11359 of Lecture Notes in Computer Science, page 71-84. Springer, (2018)A Survey of Practical Formal Methods for Security., , , , , , and . CoRR, (2021)