| * | 2009 |
|---|
| 6 | EE | Rakeshbabu Bobba,
Himanshu Khurana,
Musab AlTurki,
Farhana Ashraf:
PBES: a policy based encryption system with application to data sharing in the power grid.
ASIACCS 2009: 262-275 |
| 5 | EE | Ravinder Shankesi,
Musab AlTurki,
Ralf Sasse,
Carl A. Gunter,
José Meseguer:
Model-Checking DoS Amplification for VoIP Session Initiation.
ESORICS 2009: 390-405 |
| 4 | EE | Musab AlTurki,
Dinakar Dhurjati,
Dachuan Yu,
Ajay Chander,
Hiroshi Inamura:
Formal Specification and Analysis of Timing Properties in Software Systems.
FASE 2009: 262-277 |
| 3 | EE | Musab AlTurki,
José Meseguer,
Carl A. Gunter:
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol.
Electr. Notes Theor. Comput. Sci. 234: 3-18 (2009) |
| 2008 |
|---|
| 2 | EE | Musab AlTurki,
José Meseguer:
Reduction Semantics and Formal Analysis of Orc Programs.
Electr. Notes Theor. Comput. Sci. 200(3): 25-41 (2008) |
| 2007 |
|---|
| 1 | EE | Musab AlTurki,
José Meseguer:
Real-time rewriting semantics of orc.
PPDP 2007: 131-142 |
