Formal Proof of a Vulnerability in Z-Wave IoT Protocol

von Lilli, Mario
Veröffentlicht in SECRYPT (18. : 2021 : Online) SECRYPT 2021 (2021)

Towards ASM-Based Automated Formal Verification of Security Protocols

von Braghin, Chiara
Veröffentlicht in ABZ (Veranstaltung : 8. : 2021 : Online) Rigorous State-Based Methods (2021)

A Model Driven Approach for Cyber Security Scenarios Deployment

von Braghin, Chiara
Veröffentlicht in ESORICS (24. : 2019 : Luxemburg) Computer security (2020)

Towards the Monitoring and Evaluation of Trainees’ Activities in Cyber Ranges

von Braghin, Chiara
Veröffentlicht in MSTEC (2. : 2020 : Online) Model-driven simulation and training environments for cybersecurity (2020)