Follow
Musab A. Alturki
Musab A. Alturki
Runtime Verification Inc.
Verified email at runtimeverification.com - Homepage
Title
Cited by
Cited by
Year
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool
M AlTurki, J Meseguer
International Conference on Algebra and Coalgebra in Computer Science, 386-392, 2011
1442011
PBES: a policy based encryption system with application to data sharing in the power grid
R Bobba, H Khurana, M AlTurki, F Ashraf
Proceedings of the 4th international symposium on information, computer, and …, 2009
652009
Stable availability under denial of service attacks through formal patterns
J Eckhardt, T Mühlbauer, M AlTurki, J Meseguer, M Wirsing
International Conference on Fundamental Approaches to Software Engineering …, 2012
562012
Probabilistic modeling and analysis of DoS protection for the ASV protocol
M AlTurki, J Meseguer, CA Gunter
Electronic Notes in Theoretical Computer Science 234, 3-18, 2009
452009
Real-time rewriting semantics of Orc
M AlTurki, J Meseguer
Proceedings of the 9th ACM SIGPLAN international Conference on Principles …, 2007
372007
Dist-Orc: A rewriting-based distributed implementation of Orc with formal analysis
M AlTurki, J Meseguer
arXiv preprint arXiv:1009.4260, 2010
282010
Model-checking DoS amplification for VoIP session initiation
R Shankesi, M AlTurki, R Sasse, CA Gunter, J Meseguer
Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009
282009
Towards a verified model of the Algorand consensus protocol in Coq
MA Alturki, J Chen, V Luchangco, B Moore, K Palmskog, L Peña, G Roşu
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
252020
Reduction semantics and formal analysis of Orc programs
M AlTurki, J Meseguer
Electronic Notes in Theoretical Computer Science 200 (3), 25-41, 2008
242008
Formal specification and analysis of timing properties in software systems
M AlTurki, D Dhurjati, D Yu, A Chander, H Inamura
International Conference on Fundamental Approaches to Software Engineering …, 2009
202009
Resource-bounded intruders in denial of service attacks
AA Urquiza, MA AlTurki, M Kanovich, TB Kirigin, V Nigam, A Scedrov, ...
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 382-38214, 2019
172019
Program comprehension through reverse‐engineered sequence diagrams: A systematic review
TA Ghaleb, MA Alturki, K Aljasser
Journal of Software: Evolution and Process 30 (11), e1965, 2018
142018
Statistical model checking of RANDAO’s resilience to pre-computed reveal strategies
MA Alturki, G Roşu
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
122020
Statistical model checking of distance fraud attacks on the Hancke-Kuhn family of protocols
MA Alturki, M Kanovich, T Ban Kirigin, V Nigam, A Scedrov, C Talcott
Proceedings of the 2018 workshop on cyber-physical systems security and …, 2018
112018
A multiset rewriting model for specifying and verifying timing aspects of security protocols
MA Alturki, T Ban Kirigin, M Kanovich, V Nigam, A Scedrov, C Talcott
Foundations of Security, Protocols, and Equational Reasoning: Essays …, 2019
102019
Rewriting-based formal modeling, analysis and implementation of real-time distributed services
MA Al-Turki
University of Illinois at Urbana-Champaign, 2011
102011
Resource and timing aspects of security protocols
A Aires Urquiza, MA Alturki, T Ban Kirigin, M Kanovich, V Nigam, ...
Journal of Computer Security 29 (3), 299-340, 2021
82021
Rewriting logic semantics of Orc
M AlTurki, J Meseguer
University of Illinois at Urbana Champaign, Tech. Rep. UIUCDCS, 2007
72007
Method and apparatus for the formal specification and analysis of timing properties in software systems
M AlTurki, D Dhurjati, D Yu, A Chander, H Inamura
US Patent App. 12/569,747, 2010
62010
A Rewriting Logic Approach to the Sematics of Orc
MA Al-Turki
University of Illinois at Urbana-Champaign, 2005
62005
The system can't perform the operation now. Try again later.
Articles 1–20