Tajana Ban Kirigin

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 20

Top Topics

Distributed Systems

Security Protocols

Top Venues

J. Comput. Secur.

Math. Struct. Comput. Sci.

Nat. Lang. Eng.

Publications

Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
Time-Bounded Resilience. WRLA (2024)
Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
Technical Report: Time-Bounded Resilience. CoRR (2024)
Benedikt Perak, Tajana Ban Kirigin
Construction Grammar Conceptual Network: Coordination-based graph method for semantic association analysis. Nat. Lang. Eng. 29 (3) (2023)
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On the Security and Complexity of Periodic Systems. SN Comput. Sci. 3 (5) (2022)
Tajana Ban Kirigin, Sanda Bujacic, Benedikt Perak
Graph-Based Taxonomic Semantic Class Labeling. Future Internet 14 (12) (2022)
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. ICTAC (2022)
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On Security Analysis of Periodic Systems: Expressiveness and Complexity. ICISSP (2021)
Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Resource and timing aspects of security protocols. J. Comput. Secur. 29 (3) (2021)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On the Complexity of Verification of Time-Sensitive Distributed Systems. Protocols, Strands, and Logic (2021)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report. CoRR (2021)
Tajana Ban Kirigin, Benedikt Perak
There's No Time, The Problem of Conceptualising Time. Logic, Language, and Security (2020)
Abraão Aires Urquiza, Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Resource-Bounded Intruders in Denial of Service Attacks. CSF (2019)
Musab A. AlTurki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. Foundations of Security, Protocols, and Equational Reasoning (2019)
Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. CPS-SPC@CCS (2018)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Compliance in Real Time Multiset Rewriting Models. CoRR (2018)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Time, computational complexity, and probability in the analysis of distance-bounding protocols. J. Comput. Secur. 25 (6) (2017)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic
A rewriting framework and logic for activities subject to regulations. Math. Struct. Comput. Sci. 27 (3) (2017)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols. CoRR (2017)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. FORMATS (2016)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. CoRR (2016)
Tajana Ban Kirigin, Ana Mestrovic, Sanda Martincic-Ipsic
Towards a Formal Model of Language Networks. ICIST (2015)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. POST (2015)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
Bounded memory Dolev-Yao adversaries in collaborative systems. Inf. Comput. 238 (2014)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
Bounded memory protocols. Comput. Lang. Syst. Struct. 40 (3-4) (2014)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
Bounded Memory Protocols and Progressing Collaborative Systems. ESORICS (2013)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic
A Rewriting Framework for Activities Subject to Regulations. RTA (2012)
Vivek Nigam, Tajana Ban Kirigin, Andre Scedrov, Carolyn L. Talcott, Max I. Kanovich, Ranko Perovic
Towards an automated assistant for clinical investigations. IHI (2012)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
Bounded Memory Dolev-Yao Adversaries in Collaborative Systems. Formal Aspects in Security and Trust (2010)