Ekaterina Zhuchko

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Deterministic Finite Automata

Formal Analysis

Approximate Matching

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner
Lean Formalization of Extended Regular Expression Matching with Lookarounds. CPP (2024)
Denis Firsov, Sven Laur, Ekaterina Zhuchko
Formal Analysis of Non-Malleability for Commitments in EasyCrypt. IACR Cryptol. ePrint Arch. 2022 (2022)
Denis Firsov, Sven Laur, Ekaterina Zhuchko
Unsatisfiability of Comparison-Based Non-malleability for Commitments. ICTAC (2022)