Accelerating hardware security verification and vulnerability detection through state space reduction
| Autor: | Shen, Lixiang, Mu, Dejun, Cao, Guo, Qin, Maoyuan, Zhu, Jiacheng, Hu, Wei |
|---|---|
| Zdroj: | In Computers & Security April 2021 103 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect