Tajana Ban Kirigin

Publications

Export list as BibTeX file

• 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, 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 volume of LNCS, pages 192–213, , edition, 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, 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", Details BIB
• 2017 A rewriting framework and logic for activities subject to regulations Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Ranko Perovic and Carolyn Talcott Mathematical Structures in Computer Science, 27(3):332–375, 2017. Details URL DOI BIB
• 2017 Time, computational complexity, and probability in the analysis of distance-bounding protocols Max Kanovich, Vivek Nigam, Andre Scedrov, Carolyn Talcott and Tajana Ban Kirigin Journal of Computer Security, 25(6):585–630, 2017. Details URL DOI BIB