Bocevska, I., Petković Komel, A., Kovacs, L., Rain, S., & Rawson, M. (2025). Divide and Conquer: A Compositional Approach to Game-Theoretic Security. Proceedings of the ACM on Programming Languages, 9(OOPSLA2), 1949–1973. https://doi.org/10.1145/3763120 ( reposiTUm)

Coutelier, R., Rath, J., Rawson, M., Biere, A., & Kovacs, L. (2024). SAT solving for variants of first-order subsumption. Formal Methods in System Design. https://doi.org/10.1007/s10703-024-00454-1 ( reposiTUm)

Benetollo, L., Lackner, A., Maffei, M., & Scherer, M. (2025). Let’s Move2EVM. In USENIX Association : Proceedings of the 34th USENIX Security Symposium : August 13–15, 2025 Seattle, WA, USA (pp. 1339–1355). ( reposiTUm)

Hochrainer, C., Isychev, A., Wüstholz, V., & Christakis, M. (2025). Fuzzing Processing Pipelines for Zero-Knowledge Circuits. In CCS ’25: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security (pp. 783–797). Association for Computing Machinery. https://doi.org/10.1145/3719027.3744791 ( reposiTUm)

Hajdu, M., Coutelier, R., Kovacs, L., & Voronkov, A. (2025). Term Ordering Diagrams. In C. Barrett & U. Waldmann (Eds.), Automated Deduction – CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (pp. 552–569). Springer-Verlag. https://doi.org/10.1007/978-3-031-99984-0_29 ( reposiTUm)

Bártek, F., Bhayat, A., Coutelier, R., Hajdu, M., Hetzenberger, M., Hozzová, P., Kovács, L., Rath, J., Rawson, M., Reger, G., Suda, M., Schoisswohl, J., & Voronkov, A. (2025). The Vampire Diary. In R. Piskac & Zvonimir Rakamarić (Eds.), Computer Aided Verification (pp. 57–71). Springer. https://doi.org/10.1007/978-3-031-98682-6_4 ( reposiTUm)

Hajdu, M., Kovács, L., & Voronkov, A. (2025). Partial Redundancy in Saturation. In C. Barrett & U. Waldmann (Eds.), Automated Deduction – CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (pp. 532–551). https://doi.org/10.1007/978-3-031-99984-0_28 ( reposiTUm)

Scherer, M., Blaabjerg, J. F., Sjösten, A., & Maffei, M. (2025). Wanilla: Sound Noninterference Analysis for WebAssembly. In CCS ’25: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security (pp. 126–140). Association for Computing Machinery. https://doi.org/10.1145/3719027.3765156 ( reposiTUm)

Rain, S., Petković Komel, A., Rawson, M., & Kovacs, L. (2025). Game Modeling of Blockchain Protocols. In F. Damiani & M. Farrell (Eds.), Integrated Formal Methods : 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings (pp. 359–377). Springer. https://doi.org/10.1007/978-3-032-10794-7_18 ( reposiTUm)

Eisenhofer, C., Kovács, L., & Rawson, M. (2024). Embedding the Connection Calculus in Satisfiability Modulo Theories. In Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) (pp. 54–63). CEUR-WS.org. https://doi.org/10.34726/5394 ( reposiTUm)

Jeanteur, S., Kovács, L., Maffei, M., & Rawson, M. (2024). CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. In 2024 IEEE Symposium on Security and Privacy (SP) (pp. 3165–3183). IEEE. https://doi.org/10.1109/SP54263.2024.00246 ( reposiTUm)

Scherer, M., Blaabjerg, J. F., Sjösten, A., Solitro, M. M., & Maffei, M. (2024). Wappler: Sound Reachability Analysis for WebAssembly. In L. O’Conner & P. Kellenberger (Eds.), 2024 IEEE 37th Computer Security Foundations Symposium (CSF) (pp. 249–264). https://doi.org/10.1109/CSF61375.2024.00025 ( reposiTUm)

Georgiou, P., Hajdu, M., & Kovacs, L. (2024). Saturating Sorting without Sorts. In N. Bjørner, M. Heule, & A. Voronkov (Eds.), Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 88–105). https://doi.org/10.29007/rg9z ( reposiTUm)

Hajdu, M., Kovács, L., & Rawson, M. (2024). Rewriting and Inductive Reasoning. In N. Bjørner, M. Heule, & A. Voronkov (Eds.), Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 278–294). https://doi.org/10.29007/vbfp ( reposiTUm)

Wesley, S., Christakis, M., Navas, J. A., Trefler, R., Wüstholz, V., & Gurfinkel, A. (2024). Inductive Predicate Synthesis Modulo Programs. In 38th European Conference on Object-Oriented Programming (ECOOP 2024) (pp. 1–30). https://doi.org/10.4230/LIPIcs.ECOOP.2024.43 ( reposiTUm)

Kovács, L., Hozzová, P., Hajdu, M., & Voronkov, A. (2024). Induction in Saturation. In Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I (pp. 21–29). Springer. https://doi.org/10.1007/978-3-031-63498-7_2 ( reposiTUm)

Schoisswohl, J., Kovács, L., & Korovin, K. (2024). VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic. In N. Bjørner, M. Heule, & A. Voronkov (Eds.), Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 147–164). https://doi.org/10.29007/kg4v ( reposiTUm)

Athavale, A., Bartocci, E., Christakis, M., Maffei, M., Ničković, D., & Weissenbacher, G. (2024). Verifying Global Two-Safety Properties in Neural Networks with Confidence. In A. Gurfinkel & V. Ganesh (Eds.), Computer Aided Verification (pp. 329–351). Springer. https://doi.org/10.1007/978-3-031-65630-9_17 ( reposiTUm)

Chadt, J., Hochrainer, C., Wüstholz, V., & Christakis, M. (2024). Olympia: Fuzzer Benchmarking for Solidity. In ASE ’24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (pp. 2362–2365). Association for Computing Machinery. https://doi.org/10.1145/3691620.3695352 ( reposiTUm)

Coutelier, R., Fleury, M., & Kovacs, L. (2024). Lazy Reimplication in Chronological Backtracking. In S. Chakraborty & J.-H. R. Jiang (Eds.), 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) (pp. 9:1-9:19). Schloss Dagstuhl. https://doi.org/10.4230/LIPIcs.SAT.2024.9 ( reposiTUm)

Wesley, S., Christakis, M., Navas, J. A., Trefler, R., Wüstholz, V., & Gurfinkel, A. (2024). Inductive Predicate Synthesis Modulo Programs (Extended). arXiv. https://doi.org/10.34726/7020 ( reposiTUm)

Hochrainer, C., Isychev, A., Wüstholz, V., & Christakis, M. (2024). Fuzzing Processing Pipelines for Zero-Knowledge Circuits. arXiv. https://doi.org/10.48550/arXiv.2411.02077 ( reposiTUm)