共 44 条
[1]
C-FLAT: Control-Flow Attestation for Embedded Systems Software
[J].
CCS'16: PROCEEDINGS OF THE 2016 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY,
2016,
:743-754
[3]
IoT-Proctor: A Secure and Lightweight Device Patching Framework for Mitigating Malware Spread in IoT Networks
[J].
IEEE SYSTEMS JOURNAL,
2022, 16 (03)
:3468-3479
[6]
[Anonymous], 2001, P 16 ANN S LOG COMP
[7]
Banday M T., 2019, Cryptographic Security Solutions for the Internet of Things
[8]
The Gap Between Promise and Reality: On the Insecurity of XOR Arbiter PUFs
[J].
CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2015,
2015, 9293
:535-555
[9]
Blanchet Bruno., 2005, PROVERIF AUTOMATIC C
[10]
Brohet Marco., 2023, A Survey on Thwarting Memory Corruption in RISC-V. Comput. Surveys