共 44 条
- [11] Casimier Joseph Franciscus Cremers, 2006, SCYTHER SEMANTICS VE
- [12] Cervesato I., 2001, P 16 ANN S LOG COMP, V1, P1
- [13] Chen S, 2005, USENIX Association Proceedings of the 14th USENIX Security Symposium, P177
- [14] LiteHAX: Lightweight Hardware-Assisted Attestation of Program Execution [J]. 2018 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD) DIGEST OF TECHNICAL PAPERS, 2018,
- [16] Garg A, 2014, IEEE INT SYMP CIRC S, P1941, DOI 10.1109/ISCAS.2014.6865541
- [17] Ghaeini HR, 2019, PROCEEDINGS OF THE 22ND INTERNATIONAL SYMPOSIUM ON RESEARCH IN ATTACKS, INTRUSIONS AND DEFENSES, P165