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
Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011
1342011
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
642009
Stable availability under denial of service attacks through formal patterns
J Eckhardt, T Mühlbauer, M AlTurki, J Meseguer, M Wirsing
Fundamental Approaches to Software Engineering: 15th International …, 2012
532012
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
422009
Real-time rewriting semantics of Orc
M AlTurki, J Meseguer
Proceedings of the 9th ACM SIGPLAN international Conference on Principles …, 2007
382007
Dist-Orc: A rewriting-based distributed implementation of Orc with formal analysis
M AlTurki, J Meseguer
arXiv preprint arXiv:1009.4260, 2010
272010
Model-Checking DoS Amplification for VoIP Session Initiation.
R Shankesi, M AlTurki, R Sasse, CA Gunter, J Meseguer
ESORICS, 390-405, 2009
242009
Reduction semantics and formal analysis of Orc programs
M AlTurki, J Meseguer
Electronic Notes in Theoretical Computer Science 200 (3), 25-41, 2008
242008
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
182020
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
Formal specification and analysis of timing properties in software systems
M AlTurki, D Dhurjati, D Yu, A Chander, H Inamura
Fundamental Approaches to Software Engineering: 12th International …, 2009
162009
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
112018
Rewriting-based formal modeling, analysis and implementation of real-time distributed services
MA Al-Turki
University of Illinois at Urbana-Champaign, 2011
102011
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
92019
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
92018
A Rewriting Logic Approach to the Sematics of Orc
MA Al-Turki
University of Illinois at Urbana-Champaign, 2005
82005
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
72021
Rewriting logic semantics of Orc
M AlTurki, J Meseguer
University of Illinois at Urbana Champaign, Tech. Rep. UIUCDCS, 2007
72007
Executable rewriting logic semantics of Orc and formal analysis of Orc programs
MA AlTurki, J Meseguer
Journal of Logical and Algebraic Methods in Programming 84 (4), 505-533, 2015
62015
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
The system can't perform the operation now. Try again later.
Articles 1–20