Login / Signup
Musab A. AlTurki
ORCID
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 5
Top Topics
Formal Verification
Sequence Diagrams
Program Comprehension
Denial Of Service Attacks
Top Venues
CPS-SPC@CCS
J. Log. Algebraic Methods Program.
CSF
Foundations of Security, Protocols, and Equational Reasoning
</>
Publications
</>