Seguir
Musab A. Alturki
Musab A. Alturki
Runtime Verification Inc.
Dirección de correo verificada de runtimeverification.com - Página principal
Título
Citado por
Citado por
Año
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
1432011
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
672009
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
572012
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
462009
Real-time rewriting semantics of Orc
M AlTurki, J Meseguer
Proceedings of the 9th ACM SIGPLAN international Conference on Principles …, 2007
352007
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
312009
Dist-Orc: A rewriting-based distributed implementation of Orc with formal analysis
M AlTurki, J Meseguer
arXiv preprint arXiv:1009.4260, 2010
292010
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
262020
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
212009
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
182019
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
152018
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
132020
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
122018
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
92011
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
72007
A Rewriting Logic Approach to the Sematics of Orc
MA Al-Turki
University of Illinois at Urbana-Champaign, 2005
72005
On the formalization and computational complexity of resilience problems for cyber-physical systems
MA Alturki, T Ban Kirigin, M Kanovich, V Nigam, A Scedrov, C Talcott
International Colloquium on Theoretical Aspects of Computing, 96-113, 2022
62022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20