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.
1966 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14318 | 
Automated tail bound analysis for probabilistic recurrence relations
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
[Published Version]
View
| Files available
| DOI
| WoS
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
2023 | Published | Conference Paper | IST-REx-ID: 14317 |
MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
[Published Version]
View
| Files available
| DOI
| WoS
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
2023 | Published | Conference Paper | IST-REx-ID: 14428 |
Random oracle combiners: Breaking the concatenation barrier for collision-resistance
Y. Dodis, N. Ferguson, E. Goldin, P. Hall, K.Z. Pietrzak, in:, 43rd Annual International Cryptology Conference, Springer Nature, 2023, pp. 514–546.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
Y. Dodis, N. Ferguson, E. Goldin, P. Hall, K.Z. Pietrzak, in:, 43rd Annual International Cryptology Conference, Springer Nature, 2023, pp. 514–546.
2023 | Published | Conference Paper | IST-REx-ID: 14457 |
Stronger lower bounds for leakage-resilient secret sharing
C. Hoffmann, M. Simkin, in:, 8th International Conference on Cryptology and Information Security in Latin America, Springer Nature, 2023, pp. 215–228.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
C. Hoffmann, M. Simkin, in:, 8th International Conference on Cryptology and Information Security in Latin America, Springer Nature, 2023, pp. 215–228.
2023 | Published | Conference Paper | IST-REx-ID: 14456 |
Shortest dominating set reconfiguration under token sliding
J.M. Křišťan, J. Svoboda, in:, 24th International Symposium on Fundamentals of Computation Theory, Springer Nature, 2023, pp. 333–347.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J.M. Křišťan, J. Svoboda, in:, 24th International Symposium on Fundamentals of Computation Theory, Springer Nature, 2023, pp. 333–347.
2023 | Published | Journal Article | IST-REx-ID: 14441 |
The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy
M. Brooks, R. Seiringer, Communications in Mathematical Physics 404 (2023) 287–337.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Brooks, R. Seiringer, Communications in Mathematical Physics 404 (2023) 287–337.
2023 | Published | Journal Article | IST-REx-ID: 14558
Deterministic near-optimal approximation algorithms for dynamic set cover
S. Bhattacharya, M. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.
View
| DOI
| WoS
S. Bhattacharya, M. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.
2023 | Published | Conference Paper | IST-REx-ID: 14559 |
Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
2023 | Published | Journal Article | IST-REx-ID: 14610 |
Stress granules plug and stabilize damaged endolysosomal membranes
C. Bussi, A. Mangiarotti, C.E. Vanhille-Campos, B. Aylan, E. Pellegrino, N. Athanasiadi, A. Fearns, A. Rodgers, T.M. Franzmann, A. Šarić, R. Dimova, M.G. Gutierrez, Nature 623 (2023) 1062–1069.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Bussi, A. Mangiarotti, C.E. Vanhille-Campos, B. Aylan, E. Pellegrino, N. Athanasiadi, A. Fearns, A. Rodgers, T.M. Franzmann, A. Šarić, R. Dimova, M.G. Gutierrez, Nature 623 (2023) 1062–1069.
2023 | Published | Conference Paper | IST-REx-ID: 14691 |
On the cost of post-compromise security in concurrent Continuous Group-Key Agreement
B. Auerbach, M. Cueto Noval, G. Pascual Perez, K.Z. Pietrzak, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 271–300.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
B. Auerbach, M. Cueto Noval, G. Pascual Perez, K.Z. Pietrzak, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 271–300.
2023 | Conference Paper | IST-REx-ID: 14693 |
(Verifiable) delay functions from Lucas sequences
C. Hoffmann, P. Hubáček, C. Kamath, T. Krňák, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 336–362.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
C. Hoffmann, P. Hubáček, C. Kamath, T. Krňák, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 336–362.
2023 | Published | Conference Paper | IST-REx-ID: 14718 |
Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
| WoS
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
2023 | Published | Conference Paper | IST-REx-ID: 14692 |
Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing
B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.
2023 | Published | Conference Paper | IST-REx-ID: 14735 |
Executing and proving over dirty ledgers
C. Stefo, Z. Xiang, E. Kokoris Kogias, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 3–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
C. Stefo, Z. Xiang, E. Kokoris Kogias, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 3–20.
2023 | Published | Conference Paper | IST-REx-ID: 14744
Divide & Scale: Formalization and roadmap to robust sharding
Z. Avarikioti, A. Desjardins, E. Kokoris Kogias, R. Wattenhofer, in:, 30th International Colloquium on Structural Information and Communication Complexity, Springer Nature, 2023, pp. 199–245.
View
| DOI
| WoS
Z. Avarikioti, A. Desjardins, E. Kokoris Kogias, R. Wattenhofer, in:, 30th International Colloquium on Structural Information and Communication Complexity, Springer Nature, 2023, pp. 199–245.
2023 | Published | Journal Article | IST-REx-ID: 14751 |
Zero-error communication over adversarial MACs
Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
2023 | Published | Conference Paper | IST-REx-ID: 14758 |
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
[Published Version]
View
| Files available
| DOI
| WoS
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
2023 | Published | Conference Paper | IST-REx-ID: 14768 |
Deterministic clustering in high dimensional spaces: Sketches and approximation
V. Cohen-Addad, D. Saulpic, C. Schwiegelshohn, in:, 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–1130.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Cohen-Addad, D. Saulpic, C. Schwiegelshohn, in:, 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–1130.
2023 | Published | Conference Paper | IST-REx-ID: 14411 |
Phenotype control of partially specified boolean networks
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
[Submitted Version]
View
| Files available
| DOI
| WoS
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
2023 | Published | Conference Paper | IST-REx-ID: 14829 |
Proof of availability and retrieval in a modular blockchain architecture
S. Cohen, G. Goren, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 36–53.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
S. Cohen, G. Goren, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 36–53.