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, 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 Band von LNCS, Seiten 192–213, , Ausgabe, 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, 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", Details BIB