Theorem proof based gate level information flow tracking for hardware security verification
| Autor: | Qin, Maoyuan, Hu, Wei, Wang, Xinmu, Mu, Dejun, Mao, Baolei |
|---|---|
| Zdroj: | In Computers & Security August 2019 85:225-239 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect