All Stories

  1. Lexical Sense Labeling and Sentiment Potential Analysis Using Corpus-Based Dependency Graph

    Article • Mathematics, June 2021, MDPI AG

    Dr Tajana Ban Kirigin

  2. Resource and timing aspects of security protocols

    Article • Journal of Computer Security, February 2021, IOS Press

    Dr Tajana Ban Kirigin

  3. On Security Analysis of Periodic Systems: Expressiveness and Complexity

    Article • January 2021, Scitepress

    Dr Tajana Ban Kirigin

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

    Article • January 2021, Springer Science + Business Media

    Dr Tajana Ban Kirigin

  5. Corpus-Based Syntactic-Semantic Graph Analysis

    Article • Rasprave Instituta za hrvatski jezik i jezikoslovlje, October 2020, Institute of Croatian Language and Linguistics

    Dr Tajana Ban Kirigin

  6. There’s No Time, The Problem of Conceptualising Time

    Article • January 2020, Springer Science + Business Media

    Dr Tajana Ban Kirigin

  7. Resource-Bounded Intruders in Denial of Service Attacks

    Article • June 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Tajana Ban Kirigin

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

    Article • January 2019, Springer Science + Business Media

    Dr Tajana Ban Kirigin

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

    Article • January 2018, ACM (Association for Computing Machinery)

    Dr Tajana Ban Kirigin

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

    Article • Journal of Computer Security, August 2017, IOS Press

    Dr Tajana Ban Kirigin

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

    Article • January 2016, Springer Science + Business Media

    Dr Tajana Ban Kirigin

  12. A rewriting framework and logic for activities subject to regulations

    Article • Mathematical Structures in Computer Science, June 2015, Cambridge University Press

    Dr Tajana Ban Kirigin

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

    Article • January 2015, Springer Science + Business Media

    Dr Tajana Ban Kirigin

  14. Towards a Formal Model of Language Networks

    Article • January 2015, Springer Science + Business Media

    Dr Tajana Ban Kirigin

  15. Bounded memory Dolev–Yao adversaries in collaborative systems

    Article • Information and Computation, November 2014, Elsevier

    Dr Tajana Ban Kirigin

  16. Bounded memory protocols

    Article • Computer Languages Systems & Structures, October 2014, Elsevier

    Dr Tajana Ban Kirigin

  17. Bounded Memory Protocols and Progressing Collaborative Systems

    Article • January 2013, Springer Science + Business Media

    Dr Tajana Ban Kirigin

  18. Bounded Memory Dolev-Yao Adversaries in Collaborative Systems

    Article • January 2011, Springer Science + Business Media

    Dr Tajana Ban Kirigin