Tajana Ban Kirigin

Orcid: 0000-0003-3230-6891

According to our database¹, Tajana Ban Kirigin authored at least 25 papers between 2012 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Technical Report: Time-Bounded Resilience.

[BibT_eX]

[DOI]

CoRR, 2024

Time-Bounded Resilience.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024

2023

Construction Grammar Conceptual Network: Coordination-based graph method for semantic association analysis.

[BibT_eX]

[DOI]

Benedikt Perak

Tajana Ban Kirigin

Nat. Lang. Eng., May, 2023

2022

On the Security and Complexity of Periodic Systems.

[BibT_eX]

[DOI]

SN Comput. Sci., 2022

Graph-Based Taxonomic Semantic Class Labeling.

[BibT_eX]

[DOI]

Tajana Ban Kirigin

Sanda Bujacic

Benedikt Perak

Future Internet, 2022

On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Resource and timing aspects of security protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2021

On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report.

[BibT_eX]

[DOI]

CoRR, 2021

On Security Analysis of Periodic Systems: Expressiveness and Complexity.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

On the Complexity of Verification of Time-Sensitive Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Protocols, Strands, and Logic, 2021

2020

There's No Time, The Problem of Conceptualising Time.

[BibT_eX]

[DOI]

Tajana Ban Kirigin

Benedikt Perak

Proceedings of the Logic, 2020

2019

Resource-Bounded Intruders in Denial of Service Attacks.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2018

Compliance in Real Time Multiset Rewriting Models.

[BibT_eX]

[DOI]

CoRR, 2018

Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols.

[BibT_eX]

[DOI]

Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, 2018

2017

A rewriting framework and logic for activities subject to regulations.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2017

Time, computational complexity, and probability in the analysis of distance-bounding protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2017

2016

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

2015

Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Towards a Formal Model of Language Networks.

[BibT_eX]

[DOI]

Tajana Ban Kirigin

Ana Mestrovic

Sanda Martincic-Ipsic

Proceedings of the Information and Software Technologies - 21st International Conference, 2015

2014

Bounded memory Dolev-Yao adversaries in collaborative systems.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Bounded memory protocols.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2014

2013

Bounded Memory Protocols and Progressing Collaborative Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2013, 2013

2012

A Rewriting Framework for Activities Subject to Regulations.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

Towards an automated assistant for clinical investigations.

[BibT_eX]

[DOI]

Proceedings of the ACM International Health Informatics Symposium, 2012

Tajana Ban Kirigin

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...