Musab A. Alturki

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 and Carolyn Talcott In Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, volume 11565 of Lecture Notes in Computer Science, pages 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 and Carolyn Talcott pages 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 and Andre Scedrov In 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019, pages 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 and Tajana Ban Kirigin In "Workshop on Foundations of Computer Security", 2018. Details BIB

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_cvar	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_hsr	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo

[Translate to English:]

Musab A. Alturki

Publications