Andre Scedrov

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, 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
• 2019 Subexponentials in non-commutative linear logic Max Kanovich , Stepan Kuznetsov , Vivek Nigam and Andre Scedrov Mathematical Structures in Computer Science, 29(8):1217–1249, 2019. Details URL DOI BIB
• 2018 A Logical Framework with Commutative and Non-commutative Subexponentials Max Kanovich , Stepan Kuznetsov , Vivek Nigam and Andre Scedrov In Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, pages 228–245, 2018. Details URL 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
• 2018 Subexponentials in non-commutative linear logic Max Kanovich , Stepan Kuznetsov , Vivek Nigam and Andre Scedrov Mathematical Structures in Computer Science, ():, 2018. Details URL DOI 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