Ekaterina Zhuchko

According to our database, Ekaterina Zhuchko authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

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