E. Zhuchko, M. Veanes, G. Ebner. (2024). Lean Formalization of Extended Regular Expression
Matching with Lookarounds. CPP ’24 (London, Jan. 2024).
pdfcode
D. Firsov, S. Laur, E. Zhuchko. (2022). Unsatisfiability of Comparison-Based
Non-Malleability for Commitments. In: H. Seidl, Z. Liu, C. S. Pasareanu, eds., Proc. of 19th Int. Coll. on
Theoretical Aspects of Computing, ICTAC 2022 (Tbilisi, Sept. 2022), v. 13572 of Lect.
Notes in Comput. Sci., pp. 305-323. Springer, 2022.
pdfcode