Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
210 Publications
2024 | Published | Conference Paper | IST-REx-ID: 15333 | 
Chalupa, Marek, and Cedric Richter. “Bubaak-SpLit: Split What You Cannot Verify (Competition Contribution).” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 353–358, doi:10.1007/978-3-031-57256-2_20.
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 15376 |
Avni, Guy, et al. “Auction-Based Scheduling.” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 153–72, doi:10.1007/978-3-031-57256-2_8.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17051 |
Auerbach, Benedikt, et al. “Trapdoor Memory-Hard Functions.” 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, vol. 14653, Springer Nature, 2024, pp. 315–44, doi:10.1007/978-3-031-58734-4_11.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 15377 |
Majumdar, Rupak, et al. “Rabin Games and Colourful Universal Trees.” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 213–31, doi:10.1007/978-3-031-57256-2_11.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17126 |
Tairi, Erkan, and Akin Ünal. “Lower Bounds for Lattice-Based Compact Functional Encryption.” Advances in Cryptology – EUROCRYPT 2024, vol. 14652, Springer Nature, 2024, pp. 249–79, doi:10.1007/978-3-031-58723-8_9.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 17413 |
Froleyks, Nils, et al. “Certifying Phase Abstraction.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14739, Springer Nature, 2024, pp. 284–303, doi:10.1007/978-3-031-63498-7_17.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17402 |
Meggendorfer, Tobias, and Maximilian Weininger. “Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games.” 36th International Conference on Computer Aided Verification, vol. 14683, Springer Nature, 2024, pp. 359–72, doi:10.1007/978-3-031-65633-0_16.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18086
Alwen, Joel F., et al. “DeCAF: Decentralizable CGKA with Fast Healing.” Security and Cryptography for Networks: 14th International Conference, edited by Clemente Galdi and Duong Hieu Phan, vol. 14974, Springer Nature, 2024, pp. 294–313, doi:10.1007/978-3-031-71073-5_14.
View
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18155 |
Chatterjee, Krishnendu, et al. “Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14933, Springer Nature, 2024, pp. 600–19, doi:10.1007/978-3-031-71162-6_31.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18177
Beneš, Nikola, et al. “BNClassifier: Classifying Boolean Models by Dynamic Properties.” Computational Methods in Systems Biology, vol. 14971, Springer Nature, 2024, pp. 19–26, doi:10.1007/978-3-031-71671-3_2.
View
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Bonakdarpour, Borzoo, et al. “Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed & Accuracy.” 24th International Conference on Runtime Verification, vol. 15191, Springer Nature, 2024, pp. 282–301, doi:10.1007/978-3-031-74234-7_18.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18600 |
Andriushchenko R, Bork A, Budde CE, Češka M, Grover K, Hahn EM, Hartmanns A, Israelsen B, Jansen N, Jeppson J, Junges S, Köhl MA, Könighofer B, Kretinsky J, Meggendorfer T, Parker D, Pranger S, Quatmann T, Ruijters E, Taylor L, Volk M, Weininger M, Zhang Z. 2024. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. TOOLympics Challenge 2023. , LNCS, vol. 14550, 90–146.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18599
Chalupa, Marek, et al. “Monitoring Extended Hypernode Logic.” Integrated Formal Methods, vol. 15234, Springer Nature, 2024, pp. 151–71, doi:10.1007/978-3-031-76554-4_9.
View
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18756 |
Brzuska, Chris, et al. “Evasive LWE Assumptions: Definitions, Classes, and Counterexamples.” 30th International Conference on the Theory and Application of Cryptology and Information Security, vol. 15487, Springer Nature, 2024, pp. 418–49, doi:10.1007/978-981-96-0894-2_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18755 |
Ebrahimi, Ehsan, and Anshu Yadav. “Strongly Secure Universal Thresholdizer.” 30th International Conference on the Theory and Application of Cryptology and Information Security, vol. 15486, Springer Nature, 2024, pp. 207–39, doi:10.1007/978-981-96-0891-1_7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 17634 |
Chalupa, Marek, et al. “QuAK: Quantitative Automata Kit.” 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, vol. 15222, Springer Nature, 2024, pp. 3–20, doi:10.1007/978-3-031-75387-9_1.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14410
Tomaszewska, Paulina, and Christoph Lampert. “On the Implementation of Baselines and Lightweight Conditional Model Extrapolation (LIMES) under Class-Prior Shift.” International Workshop on Reproducible Research in Pattern Recognition, vol. 14068, Springer Nature, 2023, pp. 67–73, doi:10.1007/978-3-031-40773-4_6.
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 18218 |
Nemcovsky, Yaniv, et al. “Physical Passive Patch Adversarial Attacks on Visual Odometry Systems.” 16th Asian Conference on Computer Vision, vol. 13847, Springer Nature, 2023, pp. 518–34, doi:10.1007/978-3-031-26293-7_31.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14454 |
Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness under Partial Observations.” 23rd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 291–311, doi:10.1007/978-3-031-44267-4_15.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 12467 |
Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv