Challenges in Verifying Communication Fabrics. - Michael Kishinevsky; Alexander Gotmanov; Yuriy Viktorov (ITP, 2011)

UEFI Firmware Fuzzing with Simics Virtual Platform. - Zhenkun Yang; Yuriy Viktorov; Jin Yang 006; Jiewen Yao; Vincent Zimmer (DAC, 2020)

LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification. - Minwoo Kang; Azade Nova; Eshan Singh; Geetheeka Sharron Bathini; Yuriy Viktorov (ICCAD, 2023)