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
1242011
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
592007
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
522012
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
402009
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
102019
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
82019
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
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
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
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
Reverse engineering method, system and computer program thereof
TA Ghaleb, KA Aljasser, MA Alturki
US Patent 10,552,286, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20