PORTFELJ / dr.sc. Tajana Ban Kirigin

Portfelj

dr.sc.

Tajana Ban Kirigin

Fakultet za matematiku

Zavod za algebru i teoriju brojeva

Obrazovanje

2011.

dr.sc.

Computational complexity of collaborative systems with nonce creation; mentori: Prof. Andre Scedrov i Prof. Zvonimir Šikić

PMF, Zagreb

2004.

mr.sc.

Logika višeg reda i sustav Isabelle; mentor: dr.sc. Dean Rosenzweig

PMF, Zagreb

01.09.1991. - 25.11.1996.

profesor matematike i informatike

Koherencijski prostori i Gödelov sistem T; mentor: dr.sc. Dean Rosenzweig

Filozofski fakultet u Rijeci

Radno iskustvo

19.10.2022. -

izvanredni profesor

Fakulet za matematiku, Sveučilište u Rijeci

21.09.2021. - 18.10.2022.

docent

Fakulet za matematiku, Sveučilište u Rijeci

11.03.2015. - 20.09.2021.

docent

Odjel za matematiku, Sveučilište u Rijeci

01.03.2011. - 10.03.2015.

viši asistent

Odjel za matematiku, Sveučilište u Rijeci

01.04.2008. - 28.02.2011.

asistent

Odjel za matematiku, Sveučilište u Rijeci

01.02.1998. - 31.03.2008.

asistent

Filozofski fakultet u Rijeci

Članstva

14.03.2011. -

Alumni kluba Odjela za matematiku Sveucilišta u Rijeci

01.10.1998. -

Seminar za teorijsko računarstvo, PMF, Zagreb

01.10.1998. -

Seminar za logiku i osnove matematike, PMF, Zagreb

-danas

Društvo matematičara i fizičara, Rijeka

Nastavna djelatnost

Kolegiji

01.10.2020. - 30.09.2021.

Matematika s osnovama statistike

Biotehnologija i istraživanje lijekova, preddiplomski sveučilišni studij

Odjel za biotehnologiju

nositelj

01.10.2019. - 30.09.2020.

Seminar III

Diplomski studiji matematike

Odjel za matematiku

nositelj

01.10.2015. -

Matematička teorija računarstva

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

voditelj

01.10.2014. -

Teorija skupova

Diplomski sveučilišni studij Fizika

Odjel za matematiku

voditelj

01.10.2014. -

Teorija skupova

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

voditelj

01.10.2012. - 30.09.2013.

Seminar III

Diplomski studiji matematike

Odjel za matematiku

voditelj

01.10.2011. -

Kompleksna analiza

Preddiplomski sveučilišni studij Fizika

Odjel za fiziku

voditelj

01.10.2011. -

Logika

Preddiplomski sveučilišni studij Informatika

Odjel za informatiku

voditelj

01.10.2011. -

Matematika za informatičare 1

Dvopredmetni preddiplomski studij informatike

Filozofski fakultet u Rijeci

voditelj

01.10.2011. -

Matematika 1

Preddiplomski sveučilišni studij Informatika

Odjel za informatiku

voditelj

01.10.2011. -

Kompleksna analiza

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

voditelj

01.10.2010. - 30.09.2011.

Seminar II

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

voditelj

01.10.2009. - 30.09.2011.

Povijest matematike

Diplomski studiji fizike

Odjel za fiziku

voditelj

01.10.2009. - 30.09.2011.

Povijest matematike

Diplomski studiji matematike

Odjel za matematiku

voditelj

01.10.2008. -

Matematička logika

Preddiplomski sveučilišni studij Fizika

Odjel za fiziku

voditelj

01.10.2008. -

Matematička logika

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

voditelj

Mentor u završnim radovima

2021.

Vrednovanje u nastavi matematike

Marija Šulog

Diplomski studij Matematike - nastavnički smjer

Odjel za matematiku

2020.

Metoda dijagonalizacije

Matea Piršljin

Diplomski studij Matematika i informatika - nastavnički smjer

Odjel za matematiku

2020.

Problemski zadaci u osnovnoškolskoj nastavi matematike

Anamarija Gerčer

Diplomski sveučilišni studij Matematika i informatika - smjer nastavnički

Odjel za matematiku

2019.

DoS napadi

Mirza Džaferagić

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

2019.

Problem hanojskih tornjeva i njegovo modeliranje transformacijom multiskupova

Ema Tretinjak

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

2019.

Alan Turing

Ivana Majstorović

Diplomski sveučilišni studij Matematika i informatika - smjer nastavnički

Odjel za matematiku

2018.

Calkin–Wilf enumeracija

Ivana Roginić

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

2018.

Povijest matematičke logike

Lea Damijanić

Diplomski sveučilišni studij Matematika i informatika - smjer nastavnički

Odjel za matematiku

2017.

Modeliranje prirodnih jezika višerazinskim mrežama

Tomislav Bukić

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

2017.

Kviz u nastavi matematike

Anamarija Žalac

Diplomski studij matematike i informatike (smjer: nastavnički)

Odjel za matematiku

2017.

Teorija skupova u osnovnoj školi

Tea Herak

Diplomski studij matematike i informatike (smjer: nastavnički)

Odjel za matematiku

2016.

Sustav prirodne dedukcije za logiku prvog reda

Radoslav Tičić

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

2016.

Modeliranje privatnosti u sustavima suradnje

Nikolina Lozina

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

2016.

Dolev-Yao model napadača

Bojan Ostić

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

2015.

Craigov interpolacijski teorem

Kristina Marinković

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

2014.

Gödel-Löb sustav i generiranje teorema

Luka Mikec

Dvopredmetni preddiplomski studij filozofije i informatike

Filozofski fakultet u Rijeci

2014.

Gödelov prvi teorem o nepotpunosti

Andrea Radočaj

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

2014.

Račun teorija prvog reda

David Tarandek

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

2012.

Rekurzivne funkcije

Marko Kovačić

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

2011.

Halting problem

Ivan Tudor

Preddiplomski sveučilišni studij Matematika

Odjel za matematiku

Znanstvena djelatnost

Znanstveni radovi

19.12.2022.

Graph-Based Taxonomic Semantic Class Labeling

Ban Kirigin, Tajana ; Bujačić Babić, Sanda ; Perak, Benedikt

Future Internet - 14 22

https://doi.org/10.3390/fi14120383

Q2 WOS

25.1.2022.

Semi-Local Integration Measure of Node Importance

Ban Kirigin, Tajana ; Bujačić Babić, Sanda ; Perak, Benedikt

Mathematics - 10 1-16

https://www.mdpi.com/2227-7390/10/3/405

Q1 WOS

2022.

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

Alturki, Musab A. ; Ban Kirigin, Tajana ; Kanovich, Max ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Theoretical Aspects of Computing – ICTAC 2022. Lecture Notes in Computer Science, Seidl, Helmut ; Liu, Zhiming ; Pasareanu, Corina S. (Eds.), Springer Cham, 2022 - 13572 96-113

https://link.springer.com/chapter/10.1007/978-3-031-17715-6_8

Q2

2022.

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

Perak, Benedikt ; Ban Kirigin, Tajana

Natural Language Engineering

https://www.cambridge.org/core/journals/natural-language-engineering/article/abs/construction-grammar-conceptual-network-coordinationbased-graph-method-for-semantic-association-analysis/7448FF3140B6282C2691F32A80BC15AE#access-block

Q1 WOS

2022.

On the Security and Complexity of Periodic Systems

Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

SN Computer Science - 3 22

https://link.springer.com/article/10.1007/s42979-022-01223-9

2021.

Lexical Sense Labeling and Sentiment Potential Analysis using Corpus-Based Dependency Graph

Ban Kirigin, Tajana ; Bujačić Babić, Sanda ; Perak, Benedikt

Mathematics - 9 22

https://www.mdpi.com/2227-7390/9/12/1449

Q1 WOS Q2 WOS

2021.

Resource and Timing Aspects of Security Protocols

Urquiza, Abraão Aires ; Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Journal of Computer Security - 29 299-340

https://content.iospress.com/articles/journal-of-computer-security/jcs200012

Q2 WOS Q3 WOS

2021.

On Security Analysis of Periodic Systems: Expressiveness and Complexity

Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

ICISSP 2021 Proceedings of the 7th International Conference on Information Systems Security and Privacy / Mori, Paolo; Lenzini, Gabriele; Furnell, Steven - Portugal: SCITEPRESS - 43-54

https://www.scitepress.org/PublicationsDetail.aspx?ID=VFAIJyP1Zaw=&t=1

WOS

2020.

Corpus-Based Syntactic-Semantic Graph Analysis: Semantic Domains of the Concept Feeling

Perak, Benedikt ; Ban Kirigin, Tajana

Rasprave Instituta za hrvatski jezik i jezikoslovlje - 46 957-996

https://hrcak.srce.hr/index.php?show=clanak&id_clanak_jezik=356618

Q2 WOS

2020

There’s No Time, The Problem of Conceptualising Time

Ban Kirigin, Tajana; Perak, Benedikt;

Logic, Language, and Security - 123000 61-68

https://www.springer.com/978-3-030-62076-9

Q2

25.06.2019.

Resource-Bounded Intruders in Denial of Service Attacks

Urquiza, Abraao Aires ; Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) - 382-38214

https://web.stevens.edu/csf2019/index.html

WOS

23.05.2019.

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

Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Foundations of Security, Protocols, and Equational Reasoning. Lecture Notes in Computer Science - 11565 1-22

https://link.springer.com/chapter/10.1007%2F978-3-030-19052-1_13

Q2

19.10.2018.

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

Alturki, M.A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

ACM Workshop on Cyber-Physical Systems Security & Privacy (CPS-SPC) Toronto, Kanada - 60-71

https://dl.acm.org/citation.cfm?id=3264895

WOS

08.07.2018.

Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols

Alturki, M.A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn

Workshop on Foundations of Computer Security 2018 Oxford, Velika Britanija

30.06.2017.

Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn

Journal of Computer Security - 25 585-630

http://www.iospress.nl/journal/journal-of-computer-security/

Q2 WOS Q2

2017.

Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Journal of Computer Security - 25 585-630

https://content.iospress.com/articles/journal-of-computer-security/jcs560

Q2

24.08.2016.

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

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Lecture Notes in Computer Science Formal Modeling and Analysis of Timed Systems. FORMATS 2016. - 9884 228-244

http://link.springer.com/chapter/10.1007%2F978-3-319-44878-7_14

Q2 WOS

27.06.2016.

Can we mitigate the attacks on Distance- Bounding Protocols by using challenge-response rounds repeatedly ?

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Workshop on Foundations of Computer Security 2016

15.10.2015.

Towards a Formal Model of Language Networks

Ban Kirigin, Tajana; Meštrović, Ana; Martinčić- Ipšić, Sanda

Information and Software TechnologiesSpringer International Publishing , 2015. 469-479 (ISBN: 978-3-319-24769-4). - 538 469-479

http://link.springer.com/chapter/10.1007/978-3-319-24770-0_40

Q4

11.04.2015.

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

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn

Springer LNCS 4th Conference on Principles of Security and Trust (POST) - 9036 259 - 279

https://link.springer.com/chapter/10.1007%2F978-3-662-46666-7_14

Q2

2015.

A rewriting framework and logic for activities subject to regulations

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn ; Perović, Ranko

Mathematical structures in computer science - 27 332-375

http://journals.cambridge.org/article_S096012951500016X

Q3 WOS

31.05.2014.

Progressing Collaborative Systems

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre

Advances in Computer Science : an International Journal - 3 78-86

http://www.acsij.org/about-us

2014.

Bounded Memory Protocols

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre

Computer languages systems & structures - 40 137-154

http://www.sciencedirect.com/science/article/pii/S1477842414000347

Q3 WOS

2014.

Bounded memory Dolev-Yao adversaries in collaborative systems

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre

Information and computation, Special issue on Security and Rewriting Techniques - 238 233-261

http://www.sciencedirect.com/science/article/pii/S0890540114000972?np=y

Q2 WOS

2013.

Bounded Memory Protocols and Progressing Collaborative Systems

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre

Lecture Notes in Computer Science - 8143 309-326

https://link.springer.com/chapter/10.1007%2F978-3-642-40203-6_18

Q2

28.05.2012.

A Rewriting Framework for Activities Subject to Regulations

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko

23rd International Conference on Rewriting Techniques and Applications (RTA'12) proceedings / Ashish Tiwari (ur.). - Dagstuhl, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik , 2012. 305-322 (ISBN: 978-3-939897-38-5). - 305-322

28.01.2012.

Towards an Automated Assistant for Clinical Investigations

Nigam, Vivek; Ban Kirigin, Tajana; Scedrov, Andre; Talcott, Carolyn; Kanovich, Max; Perovic, Ranko

ACM Digital Library / Luo, Gang ; Liu, Jiming ; Yang, Christopher C. (ur.). - ACM , 2012. 773-778 (ISBN: 978-1-4503-0781-9). - 773-778

2011.

Computational complexity of collaborative systems with nonce creation

Ban Kirigin, Tajana

- 139

16.09.2010.

Bounded Memory Protocols and Progressing Collaborative Systems

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre

Lecture Notes in Computer Science - 6561 18-33

Q2

14.07.2010.

Progressing Collaborative Systems

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre

2004.

Logika višeg reda i sustav Isabelle

Ban Kirigin, Tajana

- 81

Znanstvene knjige

2004.

Logika višeg reda i sustav Isabelle

Ban Kirigin, Tajana

2008.

Euklidski prostori

Mirko Polonijo ; Dean Crnkovic ; Tajana Ban Kirigin ; Mea Bombardelli ; Zrinka Franusic ; Rene Susanj

PMF

2011.

Computational complexity of collaborative systems with nonce creation

Ban Kirigin, Tajana

2020.

Logic, Language, and Security

Nigam, Vivek ; Ban Kirigin, Tajana ; Talcott, Carolyn ; Guttman, Joshua ; Kuznetsov, Stepan ; Loo, Boon Thau ; Okada, Mitsuhiro

Springer Nature Switzerland AG 2020

Kongresna priopćenja

27.09.2023.

Resilience Problems for Cyber-Physical Systems: Formalization and Computational Complexity

Alturki, Musab A. ; Ban Kirigin, Tajana ; Kanovich, Max ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

Logic and Applications 2023 Dubrovnik, Croatia

http://lap.math.hr/files/LAP2023_Main.pdf

27.09.2023.

Graph Based Sentiment Propagation Algorithm

Ban Kirigin, Tajana ; Bujačić Babić, Sanda ; Perak, Benedikt

Predavanje

Logic and Applications 2023 Dubrovnik, Croatia

http://lap.math.hr/files/LAP2023_Main.pdf

26.9.2022. - 29.9.2022.

Properties of Time-Sensitive Distributed Systems: Verification and Complexity

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

Logic and Applications 2022 Dubrovnik, Hrvatska

26.9.2022. - 29.9.2022.

Semi-Local Integration Centrality for Complex Networks

Ban Kirigin, Tajana ; Bujačić Babić, Sanda ; Perak, Benedikt

Predavanje

Logic and Applications 2022 Dubrovnik, Hrvatska

26.9.2022. - 29.9.2022.

Syntactic Dependency Networks: Cognitive Aspects of Hierarhical Multi-Layer Structures

Ban Kirigin, Tajana ; Bujačić Babić, Sanda ; Perak, Benedikt

Predavanje

Logic and Applications 2022 Dubrovnik, Hrvatska

11.08.2022. - 12.08.2022.

On the Complexity of Verification of Time-Sensitive Distributed Systems

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

GuttmanFest2021 Haifa, Israel

13.10.2021. - 15.10.2021.

Dependency-based Labeling of Associative Lexical Communities

Perak, Benedikt ; Ban Kirigin, Tajana

Predavanje

Central European Conference on Information and Intelligent Systems (CECIIS) 2021 Varaždin, Hrvatska

20.09.2021. - 24.9.2021.

Periodic Systems: Safety, Security, and Complexity

Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

Logic and Applications 2021 Dubrovnik, Hrvatska

20.9.2021. - 24.9.2021.

Sentiment Potential Analysis

Ban Kirigin, Tajana ; Bujačić Babić, Sanda ; Perak, Benedikt

Predavanje

Logic and Applications 2021 Dubrovnik, Hrvatska

20.09.2021. - 24.9.2021.

Building a Sentiment Dictionary for Croatian

Ban Kirigin, Tajana ; Bujačić Babić, Sanda ; Perak, Benedikt

Predavanje

Logic and Applications 2021 Dubrovnik, Hrvatska

20.9.2021. - 24.9.2021.

Implementing Sentiment Dictionary into Vader Sentiment Analyis for Croatian

Ban Kirigin, Tajana ; Bujačić Babić, Sanda ; Perak, Benedikt

Predavanje

Logic and Applications 2021 Dubrovnik, Hrvatska

13.02.2021.

On Security Analysis of Periodic Systems: Expressiveness and Complexity

Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn

predavanje

7th International Conference on Information Systems Security and Privacy (ICISSP) online

http://www.icissp.org/?y=2021

11.02.2021. - 13.02.2021.

On Security Analysis of Periodic Systems: Expressiveness and Complexity

Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

7th International Conference on Information Systems Security and Privacy (ICISSP 2021) Beč, Austrija

24.09.2020.

ConGraCNet 0.3: Corpus-based graph syntactic- semantic relations analysis

Perak, Benedikt ; Ban Kirigin, Tajana

predavanje

Logic and Applications - FORMALS 2020 Dubrovnik, Hrvatska

23.09.2020.

Modelling Resource and Timing Aspects of Security Protocols

Urquiza, Abraao Aires; Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn

predavanje

Logic and Applications 2020 Dubrovnik, Hrvatska

21.9.2020. - 25.9.2020.

Modelling Resource and Timing Aspects of Security Protocols

Urquiza, Abraão Aires ; Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Ostalo

Logic and Applications 2020 Dubrovnik, Hrvatska

21.09.2020. - 25.09.2020.

ConGraCNet 0.3: Corpus-based graph syntactic-semantic relations analysis

Perak, Benedikt ; Ban Kirigin, Tajana

Predavanje

Logic and Applications, FORMALS 2020 Dubrovnik, Hrvatska

30.7.2020.

There's No Time, The Problem of Conceptualising Time

Ban Kirigin, Tajana ; Perak, Benedikt

Ostalo

ScedrovFest65 Philadelphia, SAD

23.09.2019. - 27.09.2019.

A Multiset Rewriting Model for the Specification and Verification of Resource and Timing Aspects of Security Protocols

Urquiza, Abraão Aires ; Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Ostalo

Logic and Applications 2019 Dubrovnik, Hrvatska

25.6.2019. - 28.6.2019.

Resource-Bounded Intruders in Denial of Service Attacks

Urquiza, Abraão Aires ; Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

32nd IEEE Computer Security Foundations Symposium Hoboken, New Jersey, USA

18.06.2019.

Specifying and verifying timing aspects of security protocols

Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn

predavanje

FORMALS 2019 workshop Zagreb, Hrvatska

17.6.2019. - 18.6.2019.

Specifying and verifying timing aspects of security protocols

Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

FORMALS 2019 workshop Zagreb, Hrvatska

23.5.2019. - 24.5.2019.

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

Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

Meadows Festschrift Fredericksburg, Virginia, USA

19.10.2018.

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

Alturki, M.A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

predavanje

ACM Workshop on Cyber-Physical Systems Security & Privacy (CPS-SPC) Toronto, Kanada

https://dl.acm.org/citation.cfm?id=3264895

19.10.2018.

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

Alturki, M.A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

ACM Workshop on Cyber-Physical Systems Security & Privacy (CPS-SPC) Toronto, Kanada

28.09.2018.

Corpus-based Approach to the Extraction of the Emotional Concepts and Their Ontological Relations Using the Natural Language Logic Operators

Perak, Benedikt ; Ban Kirigin, Tajana

Predavanje

Logic and Applications 2018 Dubrovnik, Hrvatska

Preuzeto sa:https://bib.irb.hr/prikazi-rad?&rad=958570

24-28.9.2018.

Statistical Model Checking in the Analysis of Distance- bounding Protocols

Alturki, M.A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

Logic and Applications 2018 Dubrovnik, Hrvatska

8.7.2018.

Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols

Alturki, M.A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

Workshop on Foundations of Computer Security 2018 Oxford, Velika Britanija

08.07.2018.

Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols

Alturki, M.A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn

predavanje

Workshop on Foundations of Computer Security 2018 Oxford, Velika Britanija

18-22.9.2017.

Dense Time Multiset Rewriting Model in the Verification of Time-Sensitive Distributed Systems

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

Logic and Applications 2017 Dubrovnik, Hrvatska

10.11.2016.

Formalizing an Ontological Model of Lexical Concepts and Constructions for Emotion Domain

Perak, Benedikt; Ban Kirigin, Tajana

predavanje

8th International Conference on Information Technologies and Information Society (ITIS2016) Šmarješke toplice, Slovenija

10.11.2016.

Formalizing an Ontological Model of Lexical Concepts and Constructions for Emotion Domain

Perak, Benedikt ; Ban Kirigin, Tajana

Predavanje

8th International Conference on Information Technologies and Information Society (ITIS2016) Šmarješke toplice, Slovenija

19.09.2016.

Can we mitigate the attacks on Distance-Bounding Protocols by using challenge- response rounds repeatedly ?

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

Logic and Applications 2016 Dubrovnik, Hrvatska

Preuzeto sa:https://bib.irb.hr/prikazi-rad?&rad=839352

19.09.2016.

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

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

Logic and Applications 2016 Dubrovnik, Hrvatska

Preuzeto sa:https://bib.irb.hr/prikazi-rad?&rad=839350

24.08.2016. - 26.08.2016.

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

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

14th International Conference on Formal Modelling and Analysis of Timed Systems Quebec City, Kanada

27.06.2016.

Can we mitigate the attacks on Distance- Bounding Protocols by using challenge-response rounds repeatedly?

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

Workshop on Foundations of Computer Security 2016 Lisabon, Portugal

27.06.2016.

Can we mitigate the attacks on Distance-Bounding Protocols by using challenge- response rounds repeatedly ?

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

predavanje

Workshop on Foundations of Computer Security 2016 Lisabon, Portugal

15-16.10.2015.

Towards a Formal Model of Language Networks

Ban Kirigin, Tajana ; Meštrović, Ana ; Martinčić- Ipšić, Sanda

Predavanje

21st International Conference on Information and Software Technologies (ICIST 2015) Druskininkai, Litva

21.09.2015. - 25.09.2015.

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

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

Logic and Applications 2015 Dubrovnik, Hrvatska

21.09.2015.

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

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn

predavanje

Logic and Applications 2015 Dubrovnik, Hrvatska

21.09.2015.

A Rewriting Framework and Logic for Activities Subject to Regulations

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko

predavanje

Logic and Applications 2015 Dubrovnik, Hrvatska

11.04.2015. - 18.04.2015.

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

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

4th Conference on Principles of Security and Trust (POST) London, Velika Britanija

11.04.2015.

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

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn

predavanje

4th Conference on Principles of Security and Trust (POST) London, Velika Britanija

22-26.09.2014.

Time-Bounding Needham-Schroeder Public Key Exchange Protocol

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

Logic and Applications 2014 Dubrovnik, Hrvatska

18.7.2014.

Towards Timed Models for Cyber-Physical Security Protocols

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Predavanje

Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography Beč, Austria

16-20.09.2013

Timed Collaborative Systems with Real Time

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre

Predavanje

Logic and Applications 2013 Dubrovnik, Hrvatska

12.09.2013. - 13.09.2013.

Bounded Memory Protocols and Progressing Collaborative Systems

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre

Predavanje

European Symposium on Research in Computer Security (ESORICS) 2013 Ehgam, Velika Britanija

29.6.2013.

Bounded Memory Protocols and Progressing Collaborative Systems

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre

Predavanje

FCS'13 Workshop on Foundations of Computer Security New Orleans, SAD

14.-15.07.2010.

Progressing Collaborative Systems

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre

Predavanje

Workshop on Foundations of Security and Privacy (FCS-PrivMod 2010) Edinburg, Velika Britanija

28.05-02.06.2012.

A Rewriting Framework for Activities Subject to Regulations

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn ; Perović, Ranko

Predavanje

International Conference on Rewriting Techniques and Applications (23 ; 2012) Nagoya, Japan

28-30.01.2012.

Towards an Automated Assistant for Clinical Investigations

Nigam, Vivek ; Ban Kirigin, Tajana ; Scedrov, Andre ; Talcott, Carolyn ; Kanovich, Max ; Perovic, Ranko

Predavanje

2nd ACM SIGHIT International Health Informatics Symposium (IHI 2012). Miami, SAD

16-17.9.2010.

Bounded memory Dolev-Yao adversaries in collaborative systems

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre

Predavanje

Formal Aspects of Security and Trust Pisa, Italija

Znanstveni skupovi

9.7.2023. - 13.7.2023.

IEEE Computer Security Foundations Symposium (CSF)

Dubrovnik, Croatia general chair

26.9.2022. - 29.9.2022.

FORMALS 2022: Formal Reasoning and Semantics

Dubrovnik, Croatia organizer

7.8.2022. - 10.8.2022.

IEEE Computer Security Foundations Symposium (CSF)

Haifa, Isreal general chair

21.6.2021. - 25.6.2021.

IEEE Computer Security Foundations Symposium (CSF)

Dubrovnik, Croatia general chair

21.9.2020. - 25.9.2020.

FORMALS 2020: Formal Reasoning and Semantics

Dubrovnik, Croatia organizer

17.6.2019. - 18.6.2019.

FORMALS 2019: Formal Reasoning and Semantics

Zagreb, Croatia organizer

24.9.2018. - 28.9.2018.

FORMALS 2018: Formal Reasoning and Semantics

Dubrovnik, Croatia organizer

Uredništva časopisa

2021.

Mathematics, ISSN 2227-7390

https://www.mdpi.com/journal/mathematics

2020.

Lecture Notes in Computer Science, Logic, Language, and Security, Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

https://www.springer.com/gp/book/9783030620769

Javno djelovanje

Javna predavanja

02.06.2011.

Složenost u sustavima suradnje koji mogu generirati nove vrijednosti

Društvo matematičara i fizičara Rijeka

Rijeka

11.11.2004.

Isabelle - Sustav za dokazivanje teorema

Društvo matematičara i fizičara Rijeka

Rijeka

Popularizacija znanosti

18.10.2017.

Sustavi suradnje i primjene

Alumni klub matRi

Rijeka

19.04.2017.

P vs. NP

Riječki matematički susreti 2017, Odjel za matematiku, Sveučilište u Rijeci

Rijeka

05.12.2013.

O teoriji skupova

Večer matematike, Odjel za matematiku, Sveučilište u Rijeci

Rijeka

24.03.2013.

O teoriji skupova

Festival znanosti, Otvoreni dan Sveučilišnih odjela Sveučilišta u Rijeci

Rijeka

Projekti

Znanstveni projekti

2020. - 2023.

Security for resource limited networked Cyber-physical systems

istraživač

Office of Naval Research (ONR), USA

2019. - 2022.

Jezično izražavanje emocija: Razvoj računalnih metoda identifikacije i ontološkog modeliranja komunikacije psiholoških stanja u hrvatskom jeziku (EmoCNet)

istraživač

Sveučilište u Rijeci

http://emocnet.uniri.hr/

2019. - 2021.

Izlučivanje ključnih riječi i sažimanje tekstova na temelju reprezentacije u mrežama jezika - LangNet

istraživač

Sveučilište u Rijeci

http://langnet.uniri.hr

01.12.2017. - 01.12.2022.

Formalno rasuđivanje i semantike (FORMALS)

suradnik

HRZZ UIP-05-2017-9219

http://formals.ufzg.hr/index.php/hr/novosti/

2015. - 2016.

Cyber Protocols in the Physical Environment

istraživač

Office of Naval Research (ONR), USA

2014. - 2017.

Regulated Colaborative Systems: Foundations and Applications

istraživač

SCIENCE WITHOUT BORDERS, Ministry of Education, Brasil

2014. - 2016.

Kompleksne mreže jezika - LangNet

istraživač

Sveučilište u Rijeci

http://langnet.uniri.hr/index.html

2013. - 2014.

Protocols and Policies

istraživač

Office of Naval Research (ONR), USA

2007. - 2013.

Matematička logika i primjene

istraživač

MZOS

2007. - 2013.

Logika i stvarnost

istraživač

MZOS

Projekti u znanosti - Suradnik na projektu

UNIRI PROJEKTI 2018
Potpore 2014/2016