Ekaterina Zhuchko

According to our database, Ekaterina Zhuchko authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

Symbolic Automata: Omega-Regularity Modulo Theories.

Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko

Proc. ACM Program. Lang., 2025

Finiteness of Symbolic Derivatives in Lean.

Ekaterina Zhuchko, Hendrik Maarand, Margus Veanes, Gabriel Ebner

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

Regex Decision Procedures in Extended RE#.

Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko, Juhan P. Ernits

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Lean Formalization of Extended Regular Expression Matching with Lookarounds.

Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2022

Formal Analysis of Non-Malleability for Commitments in EasyCrypt.

Denis Firsov, Sven Laur, Ekaterina Zhuchko

IACR Cryptol. ePrint Arch., 2022

Unsatisfiability of Comparison-Based Non-malleability for Commitments.

Denis Firsov, Sven Laur, Ekaterina Zhuchko

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022