All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification. - Deepak Narayan Gadde; Aman Kumar; Thomas Nalapat; Evgenii Rezunov; Fabio Cappellini (CoRR, 2024)

The Impact of Logic Locking on Confidentiality: An Automated Evaluation. - Lennart M. Reimann; Evgenii Rezunov; Dominik Germek; Luca Collini; Christian Pilato; Ramesh Karri; Rainer Leupers (ISQED, 2025)