activity
20222026
most citedReusing Verification Assertions as Security Checkers for Hardware Trojan Detection

13 citations · 13 across the 3 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.CR2026

AutoTrans: AI-Assisted Automatic Translation of Security Assertions for RISC-V Processors

Sharjeel Imtiaz, Uljana Reinsalu, Tara Ghasempouri

Reusing a set of verified security assertions across RISC-V processor targets remains one of the most expensive bottlenecks in hardware security verification. Manual translation ta…