FastPath: A Hybrid Approach for Efficient Hardware Security Verification. - Deutschmann, Lucas; Meza, Andres; Stoffel, Dominik; Kunz, Wolfgang; Kastner, Ryan (DAC: Annual ACM/IEEE Design Automation Conference, 2025)