Tajana Ban Kirigin

30 papers A 2C 2Journal 14Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Verification of time-bounded multiset rewriting properties.
J. Log. Algebraic Methods Program.
Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
2024 J jnl
Technical Report: Time-Bounded Resilience.
CoRR
Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
2024 — conf
Time-Bounded Resilience.
WRLA
Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
2023 J jnl
Construction Grammar Conceptual Network: Coordination-based graph method for semantic association analysis.
Nat. Lang. Eng.
Benedikt Perak, Tajana Ban Kirigin
2022 J jnl
Graph-Based Taxonomic Semantic Class Labeling.
Future Internet
Tajana Ban Kirigin, Sanda Bujacic, Benedikt Perak
2022 C conf
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems.
ICTAC
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2022 J jnl
On the Security and Complexity of Periodic Systems.
SN Comput. Sci.
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2021 C conf
On Security Analysis of Periodic Systems: Expressiveness and Complexity.
ICISSP
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2021 — conf
On the Complexity of Verification of Time-Sensitive Distributed Systems.
Protocols, Strands, and Logic
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2021 J jnl
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report.
CoRR
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2021 J jnl
Resource and timing aspects of security protocols.
J. Comput. Secur.
Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2020 — ed.
Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Logic, Language, and Security
Vivek Nigam, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan L. Kuznetsov, Boon Thau Loo, Mitsuhiro Okada
2020 — conf
There's No Time, The Problem of Conceptualising Time.
Logic, Language, and Security
Tajana Ban Kirigin, Benedikt Perak
2019 — conf
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols.
Foundations of Security, Protocols, and Equational Reasoning
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2019 A conf
Resource-Bounded Intruders in Denial of Service Attacks.
CSF
Abraão Aires Urquiza, Musab A. Alturki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2018 J jnl
Compliance in Real Time Multiset Rewriting Models.
CoRR
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2018 — conf
Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols.
CPS-SPC@CCS
Musab A. Alturki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2017 J jnl
A rewriting framework and logic for activities subject to regulations.
Math. Struct. Comput. Sci.
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic
2017 J jnl
Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols.
CoRR
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2017 J jnl
Time, computational complexity, and probability in the analysis of distance-bounding protocols.
J. Comput. Secur.
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2016 — conf
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems.
FORMATS
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2016 J jnl
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems.
CoRR
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2015 — conf
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols.
POST
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2015 — conf
Towards a Formal Model of Language Networks.
ICIST
Tajana Ban Kirigin, Ana Mestrovic, Sanda Martincic-Ipsic
2014 J jnl
Bounded memory Dolev-Yao adversaries in collaborative systems.
Inf. Comput.
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
2014 J jnl
Bounded memory protocols.
Comput. Lang. Syst. Struct.
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
2013 A conf
Bounded Memory Protocols and Progressing Collaborative Systems.
ESORICS
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
2012 — conf
A Rewriting Framework for Activities Subject to Regulations.
RTA
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic
2012 — conf
Towards an automated assistant for clinical investigations.
IHI
Vivek Nigam, Tajana Ban Kirigin, Andre Scedrov, Carolyn L. Talcott, Max I. Kanovich, Ranko Perovic
2010 — conf
Bounded Memory Dolev-Yao Adversaries in Collaborative Systems.
Formal Aspects in Security and Trust
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov