Statistical Model Checking of RANDAO’s Resilience to Pre-computed Reveal Strategies

von Alturki, Musab A.
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1 (2020)

On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems

von Alturki, Musab A.
Veröffentlicht in ICTAC (19. : 2022 : Tiflis) Theoretical aspects of computing - ICTAC 2022 (2022)

On Security Analysis of Periodic Systems: Expressiveness and Complexity

von Alturki, Musab A.
Veröffentlicht in ICISSP ICISSP 2021 (2021)

Towards a Verified Model of the Algorand Consensus Protocol in Coq

von Alturki, Musab A.
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1 (2020)