Evgenii Rezunov

According to our database, Evgenii Rezunov authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

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

Proceedings of the 26th International Symposium on Quality Electronic Design, 2025

Automatic Microarchitecture-Aware Custom Instruction Design for RISC-V Processors.

Evgenii Rezunov, Niko Zurstraßen, Lennart M. Reimann, Rainer Leupers

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2025

2024

All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification.

Deepak Narayan Gadde, Aman Kumar, Thomas Nalapat, Evgenii Rezunov, Fabio Cappellini

CoRR, 2024