Unsatisfiability of Comparison-Based Non-malleability for Commitments. - Denis Firsov; Sven Laur; Ekaterina Zhuchko (ICTAC, 2022)

Formal Analysis of Non-Malleability for Commitments in EasyCrypt. - Denis Firsov; Sven Laur; Ekaterina Zhuchko (IACR Cryptol. ePrint Arch., 2022)

Lean Formalization of Extended Regular Expression Matching with Lookarounds. - Ekaterina Zhuchko; Margus Veanes; Gabriel Ebner (CPP, 2024)

Regex Decision Procedures in Extended RE#. - Ian Erik Varatalu; Margus Veanes; Ekaterina Zhuchko; Juhan P. Ernits (CAV (3), 2025)

Symbolic Automata: Omega-Regularity Modulo Theories. - Margus Veanes; Thomas Ball 001; Gabriel Ebner; Ekaterina Zhuchko (Proc. ACM Program. Lang., 2025)