18 citations · 21 across the 8 of their papers we have counts for
1 paper · 1 filter
Jayden Rogers, Niyaz Shakeel, Divya Mankani +4
The hardware security community relies on databases of known vulnerabilities and open-source designs to develop formal verification methods for identifying hardware security flaws.…