Musab A. Alturki

Publikationen

Liste als BibTeX-Datei exportieren

• 2019 A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols Musab A. Alturki , Tajana Ban Kirigin , Max Kanovich , Vivek Nigam , Andre Scedrov und Carolyn Talcott In Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, Band 11565 von Lecture Notes in Computer Science, Seiten 192–213, 2019. Springer. Details BIB
• 2019 A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols Musab A. Alturki , Tajana Ban Kirigin , Max Kanovich , Vivek Nigam , Andre Scedrov und Carolyn Talcott Seiten 192–213, 2019. Details DOI BIB
• 2019 Resource-Bounded Intruders in Denial of Service Attacks Abraão Aires Urquiza , Musab A. Alturki , Tajana Ban Kirigin , Vivek Nigam und Andre Scedrov In 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019, Seiten 382–396, 2019. IEEE. Details DOI BIB
• 2018 Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols. Musab A. Alturki , Max Kanovich , Vivek Nigam , Andre Scedrov , Carolyn Talcott und Tajana Ban Kirigin In "Workshop on Foundations of Computer Security", 2018. Details BIB