Quantitative monitoring of Signal First-Order logic
M. Chalupa, T.A. Henzinger, N.E. Sarac, E. Yu, in:, 27th International Symposium on Formal Methods, Springer Nature, 2026, pp. 214–233.

Anthemius: Efficient and modular block assembly for concurrent execution
R. Neiheiser, E. Kokoris Kogias, in:, 29th International Conference on Financial Cryptography and Data Security, Springer Nature, 2026, pp. 307–323.

Pilotfish: Distributed execution for scalable blockchains
Q. Kniep, E. Kokoris Kogias, A. Sonnino, I. Zablotchi, N. Zhang, in:, 29th International Conference on Financial Cryptography and Data Security, Springer Nature, 2026, pp. 287–306.

On the (in)security of Proofs-of-space based longest-chain blockchains
M.A. Baig, K.Z. Pietrzak, in:, 29th International Conference on Financial Cryptography and Data Security, Springer Nature, 2026, pp. 127–142.

niiv: Interactive Self-supervised Neural Implicit Isotropic Volume Reconstruction
J. Troidl, Y. Liang, J. Beyer, M. Tavakoli, J.G. Danzl, M. Hadwiger, H. Pfister, J. Tompkin, in:, 1st International Workshop on Efficient Medical Artificial Intelligence, Springer Nature, 2026, pp. 257–267.

Edge-constrained Hamiltonian paths on a point set
T. Anti, A. Deuklevski, J. Fiala, J. Kratochvíl, G. Liotta, M. Saghafian, M. Saumell, J. Zink, in:, 51st International Conference on Current Trends in Theory and Practice of Computer Science, Springer Nature, 2026, pp. 532–546.

On the MST-ratio: Theoretical bounds and complexity of finding the maximum
A. Jabal Ameli, F. Motiei, M. Saghafian, in:, 20th International Conference and Workshops on Algorithms and Computation, Springer Nature, 2026, pp. 386–401.

Randomise alone, reach as a team
L.J. Brice, T.A. Henzinger, A. Montaseri, A. Shafiee, K.S. Thejaswini, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 215–236.

Decoupled planning for multiple omega-regular objectives
G. Avni, T.A. Henzinger, K. Mallik, S. Sadhukhan, K.S. Thejaswini, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 237–257.

Extending QuAK with nested quantitative automata
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, H. Ylmaz, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 418–432.

Beholder signatures
S. Dziembowski, S. Faust, P. Kedzior, M. Mielniczuk, S.K. Mohanty, K.Z. Pietrzak, in:, 46th Annual International Cryptology Conference, Springer, 2026, pp. 134–165.

Zeroizing attacks against evasive and circular evasive LWE
S. Agrawal, A. Modi, A. Yadav, S. Yamada, in:, 23rd International Conference on Theory of Cryptography, Springer Nature, 2025, pp. 259–290.

Constrained verifiable random functions without obfuscation and friends
N. Brandt, M. Cueto Noval, C.U. Günther, A. Ünal, S. Wohnig, in:, 23rd International Conference on Theory of Cryptography, Springer Nature, 2025, pp. 478–511.

Formal verification of neural certificates done dynamically
T.A. Henzinger, K. Kueffner, E. Yu, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 54–72.

Alignment monitoring
T.A. Henzinger, K. Kueffner, V. Singh, I. Sun, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 140–159.

Monitoring hypernode logic over infinite domains
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.

On extractability of the KZG family of polynomial commitment schemes
J. Belohorec, P. Dvoák, C. Hoffmann, P. Hubádek, K. Masková, M. Pastyík, in:, 45th Annual International Cryptology Conference, Springer Nature, 2025, pp. 584–616.

1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization
M. Azeem, D. Chakraborty, S. Kanav, J. Kretinsky, M. Mohagheghi, S. Mohr, M. Weininger, in:, 26th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2025, pp. 97–120.

Reconfiguration using generalized token jumping
J.M. Kisan, J. Svoboda, in:, 19th International Conference and Workshops on Algorithms and Computation, Springer Nature, 2025, pp. 244–265.

Route discovery in private payment channel networks
Z. Avarikioti, M. Bastankhah, M.A. Maddah-Ali, K.Z. Pietrzak, J. Svoboda, M.X. Yeo, in:, Computer Security. ESORICS 2024 International Workshops, Springer Nature, 2025, pp. 207–223.