Tajana Ban Kirigin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2013–2022
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICTAC | On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. | Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott |
| 2021 | ICISSP | On Security Analysis of Periodic Systems: Expressiveness and Complexity. | Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott |
| 2018 | CCS | Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. | Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott |
| 2013 | ESORICS | Bounded Memory Protocols and Progressing Collaborative Systems. | Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov |