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.

265 Publications


2026 | Published | Conference Paper | IST-REx-ID: 22006 | OA
M. Chalupa, T. A. Henzinger, N. E. Sarac, and E. Yu, “Quantitative monitoring of Signal First-Order logic,” in 27th International Symposium on Formal Methods, Tokyo, Japan, 2026, vol. 16557, pp. 214–233.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21042 | OA
R. Neiheiser and E. Kokoris Kogias, “Anthemius: Efficient and modular block assembly for concurrent execution,” in 29th International Conference on Financial Cryptography and Data Security, Miyakojima, Japan, 2026, vol. 15751, pp. 307–323.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21044 | OA
Q. Kniep, E. Kokoris Kogias, A. Sonnino, I. Zablotchi, and N. Zhang, “Pilotfish: Distributed execution for scalable blockchains,” in 29th International Conference on Financial Cryptography and Data Security, Miyakojima, Japan, 2026, vol. 15751, pp. 287–306.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21134 | OA
M. A. Baig and K. Z. Pietrzak, “On the (in)security of Proofs-of-space based longest-chain blockchains,” in 29th International Conference on Financial Cryptography and Data Security, Miyakojima, Japan, 2026, vol. 15752, pp. 127–142.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21135 | OA
J. Troidl et al., “niiv: Interactive Self-supervised Neural Implicit Isotropic Volume Reconstruction,” in 1st International Workshop on Efficient Medical Artificial Intelligence, Daejeon, South Korea, 2026, vol. 16318, pp. 257–267.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2026 | Published | Conference Paper | IST-REx-ID: 21374 | OA
T. Antić et al., “Edge-constrained Hamiltonian paths on a point set,” in 51st International Conference on Current Trends in Theory and Practice of Computer Science, Krakow, Poland, 2026, vol. 16448, pp. 532–546.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21410 | OA
A. Jabal Ameli, F. Motiei, and M. Saghafian, “On the MST-ratio: Theoretical bounds and complexity of finding the maximum,” in 20th International Conference and Workshops on Algorithms and Computation, Perugia, Italy, 2026, vol. 16444, pp. 386–401.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20844 | OA
J. Dujmovic, C. U. Günther, and K. Z. Pietrzak, “Space-deniable proofs,” in 23rd International Conference on Theory of Cryptography, Aarhus, Denmark, 2025, vol. 16271, pp. 171–202.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 20845 | OA
S. Agrawal, A. Modi, A. Yadav, and S. Yamada, “Zeroizing attacks against evasive and circular evasive LWE,” in 23rd International Conference on Theory of Cryptography, Aarhus, Denmark, 2025, vol. 16269, pp. 259–290.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 20846 | OA
N. Brandt, M. Cueto Noval, C. U. Günther, A. Ünal, and S. Wohnig, “Constrained verifiable random functions without obfuscation and friends,” in 23rd International Conference on Theory of Cryptography, Aarhus, Denmark, 2025, vol. 16271, pp. 478–511.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 21090 | OA
F. Cano Cordoba, T. A. Henzinger, and K. Kueffner, “Algorithmic fairness: A runtime perspective,” in 25th International Conference on Runtime Verification, Graz, Austria, 2025, vol. 16087, pp. 1–21.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21091 | OA
T. A. Henzinger, K. Kueffner, and E. Yu, “Formal verification of neural certificates done dynamically,” in 25th International Conference on Runtime Verification, Graz, Austria, 2025, vol. 16087, pp. 54–72.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21092 | OA
T. A. Henzinger, K. Kueffner, V. Singh, and I. Sun, “Alignment monitoring,” in 25th International Conference on Runtime Verification, Graz, Austria, 2025, vol. 16087, pp. 140–159.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21093 | OA
M. Chalupa, T. A. Henzinger, and A. A. Oliveira da Costa, “Monitoring hypernode logic over infinite domains,” in 25th International Conference on Runtime Verification, Graz, Austria, 2025, vol. 16087, pp. 417–437.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21262 | OA
B. Auerbach, M. Cueto Noval, B. Erol, and K. Z. Pietrzak, “Continuous group-key agreement: Concurrent updates without pruning,” in 45th Annual International Cryptology Conference, Santa Barbara, CA, United States, 2025, vol. 16007, pp. 141–172.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 21323 | OA
J. Belohorec, P. Dvořák, C. Hoffmann, P. Hubáček, K. Mašková, and M. Pastyřík, “On extractability of the KZG family of polynomial commitment schemes,” in 45th Annual International Cryptology Conference, Santa Barbara, CA, United States, 2025, vol. 16005, pp. 584–616.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 19375 | OA
M. Azeem et al., “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, Denver, CO, United States, 2025, vol. 15530, pp. 97–120.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19445 | OA
J. M. Křišťan and J. Svoboda, “Reconfiguration using generalized token jumping,” in 19th International Conference and Workshops on Algorithms and Computation, Chengdu, China, 2025, vol. 15411, pp. 244–265.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19600 | OA
Z. Avarikioti, M. Bastankhah, M. A. Maddah-Ali, K. Z. Pietrzak, J. Svoboda, and M. X. Yeo, “Route discovery in private payment channel networks,” in Computer Security. ESORICS 2024 International Workshops, Bydgoszcz, Poland, 2025, vol. 15263, pp. 207–223.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 19712 | OA
M. Cueto Noval, S.-P. Merz, P. Stählin, and A. Ünal, “On the soundness of algebraic attacks against code-based assumptions,” in 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, 2025, vol. 15606, pp. 385–415.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

issn=0302-9743

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed