Time-Bounded Resilience - Tajana Ban Kirigin; Jesse Comer; Max I. Kanovich; Andre Scedrov; Carolyn L. Talcott (Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers, 2024)

Technical Report: Time-Bounded Resilience - Tajana Ban Kirigin; Jesse Comer; Max I. Kanovich; Andre Scedrov; Carolyn L. Talcott (CoRR, 2024)

Construction Grammar Conceptual Network: Coordination-based graph method for semantic association analysis - Benedikt Perak; Tajana Ban Kirigin (Nat. Lang. Eng., 2023)

Graph-Based Taxonomic Semantic Class Labeling - Tajana Ban Kirigin; Sanda Bujacic; Benedikt Perak (Future Internet, 2022)

On the Security and Complexity of Periodic Systems - Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (SN Comput. Sci., 2022)

On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems - Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, 2022)

Resource and timing aspects of security protocols - Abraão Aires Urquiza; Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (J. Comput. Secur., 2021)

On the Complexity of Verification of Time-Sensitive Distributed Systems - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday, 2021)

On Security Analysis of Periodic Systems: Expressiveness and Complexity - Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (Proceedings of the 7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Online Streaming, February 11-13, 2021, 2021)

On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CoRR, 2021)

There's No Time, The Problem of Conceptualising Time - Tajana Ban Kirigin; Benedikt Perak (Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, 2020)

Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday - Vivek Nigam; Tajana Ban Kirigin; Carolyn L. Talcott; Joshua D. Guttman; Stepan L. Kuznetsov; Boon Thau Loo; Mitsuhiro Okada (Springer, 2020)

A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols - Musab A. AlTurki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, 2019)

Resource-Bounded Intruders in Denial of Service Attacks - Abraão Aires Urquiza; Musab A. AlTurki; Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019, 2019)

Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols - Musab A. AlTurki; Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, CPS-SPC@CCS 2018, Toronto, ON, Canada, October 19, 2018, 2018)

Compliance in Real Time Multiset Rewriting Models - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CoRR, 2018)

Time, computational complexity, and probability in the analysis of distance-bounding protocols - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (J. Comput. Secur., 2017)

A rewriting framework and logic for activities subject to regulations - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott; Ranko Perovic (Math. Struct. Comput. Sci., 2017)

Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CoRR, 2017)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, 2016)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CoRR, 2016)

Towards a Formal Model of Language Networks - Tajana Ban Kirigin; Ana Mestrovic; Sanda Martincic-Ipsic (Information and Software Technologies - 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings, 2015)

Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (Principles of Security and Trust - 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings, 2015)

Bounded memory protocols - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov (Comput. Lang. Syst. Struct., 2014)

Bounded memory Dolev-Yao adversaries in collaborative systems - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov (Inf. Comput., 2014)

Bounded Memory Protocols and Progressing Collaborative Systems - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov (Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings, 2013)

Towards an automated assistant for clinical investigations - Vivek Nigam; Tajana Ban Kirigin; Andre Scedrov; Carolyn L. Talcott; Max I. Kanovich; Ranko Perovic (ACM International Health Informatics Symposium, IHI '12, Miami, FL, USA, January 28-30, 2012, 2012)

A Rewriting Framework for Activities Subject to Regulations - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott; Ranko Perovic (23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, 2012)

Bounded Memory Dolev-Yao Adversaries in Collaborative Systems - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov (Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers, 2010)