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.

238 Publications


2026 | Published | Conference Paper | IST-REx-ID: 22006 | OA
Chalupa, Marek, et al. “Quantitative Monitoring of Signal First-Order Logic.” 27th International Symposium on Formal Methods, vol. 16557, Springer Nature, 2026, pp. 214–33, doi: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, Ray, and Eleftherios Kokoris Kogias. “Anthemius: Efficient and Modular Block Assembly for Concurrent Execution.” 29th International Conference on Financial Cryptography and Data Security, vol. 15751, Springer Nature, 2026, pp. 307–23, doi: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, Quentin, et al. “Pilotfish: Distributed Execution for Scalable Blockchains.” 29th International Conference on Financial Cryptography and Data Security, vol. 15751, Springer Nature, 2026, pp. 287–306, doi: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, Mirza Ahad, and Krzysztof Z. Pietrzak. “On the (in)Security of Proofs-of-Space Based Longest-Chain Blockchains.” 29th International Conference on Financial Cryptography and Data Security, vol. 15752, Springer Nature, 2026, pp. 127–42, doi: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, Jakob, et al. “Niiv: Interactive Self-Supervised Neural Implicit Isotropic Volume Reconstruction.” 1st International Workshop on Efficient Medical Artificial Intelligence, vol. 16318, Springer Nature, 2026, pp. 257–67, doi: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ć, Todor, et al. “Edge-Constrained Hamiltonian Paths on a Point Set.” 51st International Conference on Current Trends in Theory and Practice of Computer Science, vol. 16448, Springer Nature, 2026, pp. 532–46, doi: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, Afrouz, et al. “On the MST-Ratio: Theoretical Bounds and Complexity of Finding the Maximum.” 20th International Conference and Workshops on Algorithms and Computation, vol. 16444, Springer Nature, 2026, pp. 386–401, doi:10.1007/978-981-95-7127-7_26.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 22717 | OA
Brice, Leonard J., et al. “Randomise Alone, Reach as a Team.” 38th International Conference on Computer Aided Verification, vol. 16682, Springer Nature, 2026, pp. 215–36, doi:10.1007/978-3-032-32519-8_12.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 22719 | OA
Avni, Guy, et al. “Decoupled Planning for Multiple Omega-Regular Objectives.” 38th International Conference on Computer Aided Verification, vol. 16682, Springer Nature, 2026, pp. 237–57, doi:10.1007/978-3-032-32519-8_13.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 22754 | OA
Henzinger, Thomas A., et al. “Extending QuAK with Nested Quantitative Automata.” 38th International Conference on Computer Aided Verification, vol. 16683, Springer Nature, 2026, pp. 418–32, doi:10.1007/978-3-032-32526-6_20.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 22820 | OA
Dziembowski, Stefan, et al. “Beholder Signatures.” 46th Annual International Cryptology Conference, vol. 16801, Springer, 2026, pp. 134–65, doi:10.1007/978-3-032-35374-0_5.
[Published Version] View | DOI | Download Published Version (ext.) | Cryptology ePrint
 

2025 | Published | Conference Paper | IST-REx-ID: 20845 | OA
Agrawal, Shweta, et al. “Zeroizing Attacks against Evasive and Circular Evasive LWE.” 23rd International Conference on Theory of Cryptography, vol. 16269, Springer Nature, 2025, pp. 259–90, doi:10.1007/978-3-032-12293-3_9.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 20846 | OA
Brandt, Nicholas, et al. “Constrained Verifiable Random Functions without Obfuscation and Friends.” 23rd International Conference on Theory of Cryptography, vol. 16271, Springer Nature, 2025, pp. 478–511, doi:10.1007/978-3-032-12290-2_16.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 21091 | OA
Henzinger, Thomas A., et al. “Formal Verification of Neural Certificates Done Dynamically.” 25th International Conference on Runtime Verification, vol. 16087, Springer Nature, 2025, pp. 54–72, doi: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, Thomas A., et al. “Alignment Monitoring.” 25th International Conference on Runtime Verification, vol. 16087, Springer Nature, 2025, pp. 140–59, doi: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, Marek, et al. “Monitoring Hypernode Logic over Infinite Domains.” 25th International Conference on Runtime Verification, vol. 16087, Springer Nature, 2025, pp. 417–37, doi:10.1007/978-3-032-05435-7_23.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21323 | OA
Belohorec, Juraj, et al. “On Extractability of the KZG Family of Polynomial Commitment Schemes.” 45th Annual International Cryptology Conference, vol. 16005, Springer Nature, 2025, pp. 584–616, doi:10.1007/978-3-032-01887-8_19.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 19375 | OA
Azeem, Muqsit, et al. “1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.” 26th International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 15530, Springer Nature, 2025, pp. 97–120, doi: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, Jan Matyáš, and Jakub Svoboda. “Reconfiguration Using Generalized Token Jumping.” 19th International Conference and Workshops on Algorithms and Computation, vol. 15411, Springer Nature, 2025, pp. 244–65, doi: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, Zeta, et al. “Route Discovery in Private Payment Channel Networks.” Computer Security. ESORICS 2024 International Workshops, vol. 15263, Springer Nature, 2025, pp. 207–23, doi:10.1007/978-3-031-82349-7_15.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

eissn=1611-3349

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed