Musab A. Alturki

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 9

Top Topics

Language Constructs

Software Design

Security Protocols

Top Venues

FM Workshops (1)

Publications

Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On the Security and Complexity of Periodic Systems. SN Comput. Sci. 3 (5) (2022)
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. ICTAC (2022)
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On Security Analysis of Periodic Systems: Expressiveness and Complexity. ICISSP (2021)
Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Resource and timing aspects of security protocols. J. Comput. Secur. 29 (3) (2021)
Taher Ahmed Ghaleb, Khalid Aljasser, Musab A. Alturki
An Extensible Compiler for Implementing Software Design Patterns as Concise Language Constructs. Int. J. Softw. Eng. Knowl. Eng. 31 (7) (2021)
Taher Ahmed Ghaleb, Khalid Aljasser, Musab A. Alturki
Enhanced Visualization of Method Invocations by Extending Reverse-engineered Sequence Diagrams. VISSOFT (2020)
Musab A. Alturki, Grigore Rosu
Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal Strategies. FM Workshops (1) (2019)
Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
Towards a Verified Model of the Algorand Consensus Protocol in Coq. FM Workshops (1) (2019)
Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
Towards a Verified Model of the Algorand Consensus Protocol in Coq. CoRR (2019)