Ekaterina Zhuchko

Orcid: 0009-0004-8818-5042

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Symbolic Automata: Omega-Regularity Modulo Theories.
Proc. ACM Program. Lang., 2025

Finiteness of Symbolic Derivatives in Lean.
Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

Regex Decision Procedures in Extended RE#.
Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024
Lean Formalization of Extended Regular Expression Matching with Lookarounds.
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2022
Formal Analysis of Non-Malleability for Commitments in EasyCrypt.
IACR Cryptol. ePrint Arch., 2022

Unsatisfiability of Comparison-Based Non-malleability for Commitments.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022


  Loading...