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
1182011
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
622009
Real-time rewriting semantics of Orc
M AlTurki, J Meseguer
Proceedings of the 9th ACM SIGPLAN international Conference on Principles …, 2007
532007
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
512012
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
Dist-Orc: A rewriting-based distributed implementation of Orc with formal analysis
M AlTurki, J Meseguer
arXiv preprint arXiv:1009.4260, 2010
282010
Reduction semantics and formal analysis of Orc programs
M AlTurki, J Meseguer
Electronic Notes in Theoretical Computer Science 200 (3), 25-41, 2008
242008
Model-checking DoS amplification for VoIP session initiation
R Shankesi, M AlTurki, R Sasse, CA Gunter, J Meseguer
European Symposium on Research in Computer Security, 390-405, 2009
222009
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
162009
Rewriting-based formal modeling, analysis and implementation of real-time distributed services
MA Al-Turki
University of Illinois at Urbana-Champaign, 2011
112011
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
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
82018
A Rewriting Logic Approach to the Sematics of Orc
MA Al-Turki
University of Illinois at Urbana-Champaign, 2005
82005
A multiset rewriting model for specifying and verifying timing aspects of security protocols
MA Alturki, TB Kirigin, M Kanovich, V Nigam, A Scedrov, C Talcott
Foundations of Security, Protocols, and Equational Reasoning, 192-213, 2019
72019
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
72018
Rewriting logic semantics of Orc
M AlTurki, J Meseguer
72007
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
International Symposium on Formal Methods, 362-367, 2019
62019
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
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
52015
Statistical model checking of RANDAO’s resilience against pre-computed reveal strategies
MA Alturki, G Roşu
22018
The system can't perform the operation now. Try again later.
Articles 1–20