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.

12349 Publications


2024 | Published | Conference Paper | IST-REx-ID: 18159 | OA
Akshay, S., Chatterjee, K., Meggendorfer, T., & Zikelic, D. (2024). Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties. In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (pp. 3–12). Jeju, Korea: International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2024/1
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 12738 | OA
Chatterjee, K., Katoen, J. P., Mohr, S., Weininger, M., & Winkler, T. (2024). Stochastic games with lexicographic objectives. Formal Methods in System Design. Springer Nature. https://doi.org/10.1007/s10703-023-00411-4
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Conference Paper | IST-REx-ID: 18160 | OA
Chatterjee, K., Goharshady, E., Karrabi, M., Novotný, P., & Zikelic, D. (2024). Solving long-run average reward robust MDPs via stochastic games. In 33rd International Joint Conference on Artificial Intelligence (pp. 6707–6715). Jeju, South Korea: International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2024/741
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17474 | OA
Baier, C., Chatterjee, K., Meggendorfer, T., & Piribauer, J. (2024). Entropic risk for turn-based stochastic games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2024.105214
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18925 | OA
Ceylan, E., Chatterjee, K., Schmid, S., & Svoboda, J. (2024). Congestion-free rerouting of network flows: Hardness and an FPT algorithm. In NOMS 2024-2024 IEEE Network Operations and Management Symposium. Seoul, Republic of Korea: IEEE. https://doi.org/10.1109/noms59830.2024.10575579
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2024 | Published | Conference Paper | IST-REx-ID: 17328 | OA
Chatterjee, K., Ebrahimzadeh, A., Karrabi, M., Pietrzak, K. Z., Yeo, M. X., & Zikelic, D. (2024). Fully automated selfish mining analysis in efficient proof systems blockchains. In Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing (pp. 268–278). Nantes, France: Association for Computing Machinery. https://doi.org/10.1145/3662158.3662769
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 15007 | OA
Alpos, O., Amores-Sesar, I., Cachin, C., & Yeo, M. X. (2024). Eating sandwiches: Modular and lightweight elimination of transaction reordering attacks. In 27th International Conference on Principles of Distributed Systems (Vol. 286). Tokyo, Japan: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.OPODIS.2023.12
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 17051 | OA
Auerbach, B., Günther, C. U., & Pietrzak, K. Z. (2024). Trapdoor memory-hard functions. In 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques (Vol. 14653, pp. 315–344). Zurich, Switzerland: Springer Nature. https://doi.org/10.1007/978-3-031-58734-4_11
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2024 | Published | Journal Article | IST-REx-ID: 17283 | OA
Chatterjee, K., Goharshady, E., Novotný, P., & Zikelic, D. (2024). Equivalence and similarity refutation for probabilistic programs. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3656462
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 14820 | OA
Schmid, S., Svoboda, J., & Yeo, M. X. (2024). Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2023.114353
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Conference Paper | IST-REx-ID: 17126 | OA
Tairi, E., & Ünal, A. (2024). Lower bounds for lattice-based compact functional encryption. In Advances in Cryptology – EUROCRYPT 2024 (Vol. 14652, pp. 249–279). Zurich, Switzerland: Springer Nature. https://doi.org/10.1007/978-3-031-58723-8_9
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2024 | Published | Conference Paper | IST-REx-ID: 18755 | OA
Ebrahimi, E., & Yadav, A. (2024). Strongly secure universal thresholdizer. In 30th International Conference on the Theory and Application of Cryptology and Information Security (Vol. 15486, pp. 207–239). Kolkata, India: Springer Nature. https://doi.org/10.1007/978-981-96-0891-1_7
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2024 | Published | Conference Paper | IST-REx-ID: 18974 | OA
Svoboda, J., Bansal, S., & Chatterjee, K. (2024). Reinforcement learning from reachability specifications: PAC guarantees with expected conditional distance. In 41st International Conference on Machine Learning (Vol. 235, pp. 47331–47344). Vienna, Austria: ML Research Press.
[Preprint] View | Download Preprint (ext.)
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18088 | OA
Pascual Perez, G. (2024). On the efficiency and security of secure group messaging. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18088
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 18086
Alwen, J. F., Auerbach, B., Cueto Noval, M., Klein, K., Pascual Perez, G., & Pietrzak, K. Z. (2024). DeCAF: Decentralizable CGKA with fast healing. In C. Galdi & D. H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference (Vol. 14974, pp. 294–313). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-71073-5_14
View | Files available | DOI | WoS
 

2024 | Published | Journal Article | IST-REx-ID: 18961 | OA
Günther, C. U., & Pietrzak, K. Z. (2024). Deniability in automated contact tracing: Impossibilities and possibilities. Proceedings on Privacy Enhancing Technologies. Bristol, UK/Virtual: Privacy Enhancing Technologies Symposium Advisory Board. https://doi.org/10.56553/popets-2024-0134
[Published Version] View | Files available | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 18554 | OA
Erdös, L., & Riabov, V. (2024). Eigenstate Thermalization Hypothesis for Wigner-type matrices. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-024-05143-y
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 13975 | OA
Campbell, A. J., & O’Rourke, S. (2024). Spectrum of Lévy–Khintchine random laplacian matrices. Journal of Theoretical Probability. Springer Nature. https://doi.org/10.1007/s10959-023-01275-4
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17281 | OA
Campbell, A. J., O’Rourke, S., & Renfrew, D. T. (2024). The fractional free convolution of R-diagonal elements and random polynomials under repeated differentiation. International Mathematics Research Notices. Oxford University Press. https://doi.org/10.1093/imrn/rnae062
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Journal Article | IST-REx-ID: 14408 | OA
Cipolloni, G., Erdös, L., & Schröder, D. J. (2024). Mesoscopic central limit theorem for non-Hermitian random matrices. Probability Theory and Related Fields. Springer Nature. https://doi.org/10.1007/s00440-023-01229-1
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed