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.

225 Publications


2026 | Published | Conference Paper | IST-REx-ID: 22006 | OA
Chalupa, M., Henzinger, T. A., Sarac, N. E., & Yu, E. (2026). Quantitative monitoring of Signal First-Order logic. In 27th International Symposium on Formal Methods (Vol. 16557, pp. 214–233). Tokyo, Japan: Springer Nature. https://doi.org/10.1007/978-3-032-26220-2_11
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21042 | OA
Neiheiser, R., & Kokoris Kogias, E. (2026). Anthemius: Efficient and modular block assembly for concurrent execution. In 29th International Conference on Financial Cryptography and Data Security (Vol. 15751, pp. 307–323). Miyakojima, Japan: Springer Nature. https://doi.org/10.1007/978-3-032-07024-1_18
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21044 | OA
Kniep, Q., Kokoris Kogias, E., Sonnino, A., Zablotchi, I., & Zhang, N. (2026). Pilotfish: Distributed execution for scalable blockchains. In 29th International Conference on Financial Cryptography and Data Security (Vol. 15751, pp. 287–306). Miyakojima, Japan: Springer Nature. https://doi.org/10.1007/978-3-032-07024-1_17
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21134 | OA
Baig, M. A., & Pietrzak, K. Z. (2026). On the (in)security of Proofs-of-space based longest-chain blockchains. In 29th International Conference on Financial Cryptography and Data Security (Vol. 15752, pp. 127–142). Miyakojima, Japan: Springer Nature. https://doi.org/10.1007/978-3-032-07035-7_8
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21135 | OA
Troidl, J., Liang, Y., Beyer, J., Tavakoli, M., Danzl, J. G., Hadwiger, M., … Tompkin, J. (2026). niiv: Interactive Self-supervised Neural Implicit Isotropic Volume Reconstruction. In 1st International Workshop on Efficient Medical Artificial Intelligence (Vol. 16318, pp. 257–267). Daejeon, South Korea: Springer Nature. https://doi.org/10.1007/978-3-032-13961-0_26
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2026 | Published | Conference Paper | IST-REx-ID: 21374 | OA
Antić, T., Džuklevski, A., Fiala, J., Kratochvíl, J., Liotta, G., Saghafian, M., … Zink, J. (2026). Edge-constrained Hamiltonian paths on a point set. In 51st International Conference on Current Trends in Theory and Practice of Computer Science (Vol. 16448, pp. 532–546). Krakow, Poland: Springer Nature. https://doi.org/10.1007/978-3-032-17801-5_39
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21410 | OA
Jabal Ameli, A., Motiei, F., & Saghafian, M. (2026). On the MST-ratio: Theoretical bounds and complexity of finding the maximum. In 20th International Conference and Workshops on Algorithms and Computation (Vol. 16444, pp. 386–401). Perugia, Italy: Springer Nature. https://doi.org/10.1007/978-981-95-7127-7_26
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20844 | OA
Dujmovic, J., Günther, C. U., & Pietrzak, K. Z. (2025). Space-deniable proofs. In 23rd International Conference on Theory of Cryptography (Vol. 16271, pp. 171–202). Aarhus, Denmark: Springer Nature. https://doi.org/10.1007/978-3-032-12290-2_6
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 20845 | OA
Agrawal, S., Modi, A., Yadav, A., & Yamada, S. (2025). Zeroizing attacks against evasive and circular evasive LWE. In 23rd International Conference on Theory of Cryptography (Vol. 16269, pp. 259–290). Aarhus, Denmark: Springer Nature. https://doi.org/10.1007/978-3-032-12293-3_9
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 20846 | OA
Brandt, N., Cueto Noval, M., Günther, C. U., Ünal, A., & Wohnig, S. (2025). Constrained verifiable random functions without obfuscation and friends. In 23rd International Conference on Theory of Cryptography (Vol. 16271, pp. 478–511). Aarhus, Denmark: Springer Nature. https://doi.org/10.1007/978-3-032-12290-2_16
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 21090 | OA
Cano Cordoba, F., Henzinger, T. A., & Kueffner, K. (2025). Algorithmic fairness: A runtime perspective. In 25th International Conference on Runtime Verification (Vol. 16087, pp. 1–21). Graz, Austria: Springer Nature. https://doi.org/10.1007/978-3-032-05435-7_1
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21091 | OA
Henzinger, T. A., Kueffner, K., & Yu, E. (2025). Formal verification of neural certificates done dynamically. In 25th International Conference on Runtime Verification (Vol. 16087, pp. 54–72). Graz, Austria: Springer Nature. https://doi.org/10.1007/978-3-032-05435-7_4
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21092 | OA
Henzinger, T. A., Kueffner, K., Singh, V., & Sun, I. (2025). Alignment monitoring. In 25th International Conference on Runtime Verification (Vol. 16087, pp. 140–159). Graz, Austria: Springer Nature. https://doi.org/10.1007/978-3-032-05435-7_9
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21093 | OA
Chalupa, M., Henzinger, T. A., & Oliveira da Costa, A. A. (2025). Monitoring hypernode logic over infinite domains. In 25th International Conference on Runtime Verification (Vol. 16087, pp. 417–437). Graz, Austria: Springer Nature. https://doi.org/10.1007/978-3-032-05435-7_23
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21262 | OA
Auerbach, B., Cueto Noval, M., Erol, B., & Pietrzak, K. Z. (2025). Continuous group-key agreement: Concurrent updates without pruning. In 45th Annual International Cryptology Conference (Vol. 16007, pp. 141–172). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-032-01913-4_5
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 21323 | OA
Belohorec, J., Dvořák, P., Hoffmann, C., Hubáček, P., Mašková, K., & Pastyřík, M. (2025). On extractability of the KZG family of polynomial commitment schemes. In 45th Annual International Cryptology Conference (Vol. 16005, pp. 584–616). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-032-01887-8_19
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 19375 | OA
Azeem, M., Chakraborty, D., Kanav, S., Kretinsky, J., Mohagheghi, M., Mohr, S., & Weininger, M. (2025). 1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization. In 26th International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 15530, pp. 97–120). Denver, CO, United States: Springer Nature. https://doi.org/10.1007/978-3-031-82703-7_5
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19445 | OA
Křišťan, J. M., & Svoboda, J. (2025). Reconfiguration using generalized token jumping. In 19th International Conference and Workshops on Algorithms and Computation (Vol. 15411, pp. 244–265). Chengdu, China: Springer Nature. https://doi.org/10.1007/978-981-96-2845-2_16
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19600 | OA
Avarikioti, Z., Bastankhah, M., Maddah-Ali, M. A., Pietrzak, K. Z., Svoboda, J., & Yeo, M. X. (2025). Route discovery in private payment channel networks. In Computer Security. ESORICS 2024 International Workshops (Vol. 15263, pp. 207–223). Bydgoszcz, Poland: Springer Nature. https://doi.org/10.1007/978-3-031-82349-7_15
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 19712 | OA
Cueto Noval, M., Merz, S.-P., Stählin, P., & Ünal, A. (2025). On the soundness of algebraic attacks against code-based assumptions. In 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques (Vol. 15606, pp. 385–415). Madrid, Spain: Springer Nature. https://doi.org/10.1007/978-3-031-91095-1_14
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

eissn=1611-3349

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed