共 129 条
[11]
[Anonymous], 2019, The Coq Proof Assistant
[12]
Banga Mainak, 2010, 2010 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST 2010), P56, DOI 10.1109/HST.2010.5513114
[13]
Bao A, 2014, ELEC COMP C, P47, DOI 10.1109/ECTC.2014.6897265
[17]
Becker Georg T., 2010, 2010 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST 2010), P30, DOI 10.1109/HST.2010.5513117
[18]
Becker GT, 2013, LECT NOTES COMPUT SC, V8086, P197, DOI 10.1007/978-3-642-40349-1_12
[19]
Becker GT., 2017, Foundations of Hardware IP Protection, P105
[20]
Hardware Trojan Horses in Cryptographic IP Cores
[J].
2013 10TH WORKSHOP ON FAULT DIAGNOSIS AND TOLERANCE IN CRYPTOGRAPHY (FDTC 2013),
2013,
:15-29