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 M, Henzinger TA, Sarac NE, Yu E. Quantitative monitoring of Signal First-Order logic. In: 27th International Symposium on Formal Methods. Vol 16557. Springer Nature; 2026:214-233. 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 R, Kokoris Kogias E. Anthemius: Efficient and modular block assembly for concurrent execution. In: 29th International Conference on Financial Cryptography and Data Security. Vol 15751. Springer Nature; 2026:307-323. 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 Q, Kokoris Kogias E, Sonnino A, Zablotchi I, Zhang N. Pilotfish: Distributed execution for scalable blockchains. In: 29th International Conference on Financial Cryptography and Data Security. Vol 15751. Springer Nature; 2026: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 MA, Pietrzak KZ. On the (in)security of Proofs-of-space based longest-chain blockchains. In: 29th International Conference on Financial Cryptography and Data Security. Vol 15752. Springer Nature; 2026:127-142. 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 J, Liang Y, Beyer J, et al. niiv: Interactive Self-supervised Neural Implicit Isotropic Volume Reconstruction. In: 1st International Workshop on Efficient Medical Artificial Intelligence. Vol 16318. Springer Nature; 2026:257-267. 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ć T, Džuklevski A, Fiala J, et al. Edge-constrained Hamiltonian paths on a point set. In: 51st International Conference on Current Trends in Theory and Practice of Computer Science. Vol 16448. Springer Nature; 2026:532-546. 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 A, Motiei F, Saghafian M. On the MST-ratio: Theoretical bounds and complexity of finding the maximum. In: 20th International Conference and Workshops on Algorithms and Computation. Vol 16444. Springer Nature; 2026: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 LJ, Henzinger TA, Montaseri A, Shafiee A, Thejaswini KS. Randomise alone, reach as a team. In: 38th International Conference on Computer Aided Verification. Vol 16682. Springer Nature; 2026:215-236. 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 G, Henzinger TA, Mallik K, Sadhukhan S, Thejaswini KS. Decoupled planning for multiple omega-regular objectives. In: 38th International Conference on Computer Aided Verification. Vol 16682. Springer Nature; 2026:237-257. 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 TA, Mazzocchi NA, Sarac NE, Yılmaz H. Extending QuAK with nested quantitative automata. In: 38th International Conference on Computer Aided Verification. Vol 16683. Springer Nature; 2026:418-432. 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 S, Faust S, Kedzior P, Mielniczuk M, Mohanty SK, Pietrzak KZ. Beholder signatures. In: 46th Annual International Cryptology Conference. Vol 16801. Springer; 2026:134-165. 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 S, Modi A, Yadav A, Yamada S. Zeroizing attacks against evasive and circular evasive LWE. In: 23rd International Conference on Theory of Cryptography. Vol 16269. Springer Nature; 2025:259-290. 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 N, Cueto Noval M, Günther CU, Ünal A, Wohnig S. Constrained verifiable random functions without obfuscation and friends. In: 23rd International Conference on Theory of Cryptography. Vol 16271. Springer Nature; 2025: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 TA, Kueffner K, Yu E. Formal verification of neural certificates done dynamically. In: 25th International Conference on Runtime Verification. Vol 16087. Springer Nature; 2025: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 TA, Kueffner K, Singh V, Sun I. Alignment monitoring. In: 25th International Conference on Runtime Verification. Vol 16087. Springer Nature; 2025:140-159. 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 M, Henzinger TA, Oliveira da Costa AA. Monitoring hypernode logic over infinite domains. In: 25th International Conference on Runtime Verification. Vol 16087. Springer Nature; 2025:417-437. 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 J, Dvořák P, Hoffmann C, Hubáček P, Mašková K, Pastyřík M. On extractability of the KZG family of polynomial commitment schemes. In: 45th Annual International Cryptology Conference. Vol 16005. Springer Nature; 2025: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 M, Chakraborty D, Kanav S, 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. Vol 15530. Springer Nature; 2025: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 JM, Svoboda J. Reconfiguration using generalized token jumping. In: 19th International Conference and Workshops on Algorithms and Computation. Vol 15411. Springer Nature; 2025:244-265. 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 Z, Bastankhah M, Maddah-Ali MA, Pietrzak KZ, Svoboda J, Yeo MX. Route discovery in private payment channel networks. In: Computer Security. ESORICS 2024 International Workshops. Vol 15263. Springer Nature; 2025:207-223. 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: AMA

Export / Embed