Max Kanovich

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 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, 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", 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

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

Publications