共 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
- [5] ATT-Auth: A Hybrid Protocol for Industrial IoT Attestation With Authentication [J]. IEEE INTERNET OF THINGS JOURNAL, 2018, 5 (06): : 5119 - 5131
- [6] Banday M T., 2019, Cryptographic Security Solutions for the Internet of Things
- [7] 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
- [8] Blanchet Bruno., 2005, PROVERIF AUTOMATIC C
- [9] Brohet Marco., 2023, A Survey on Thwarting Memory Corruption in RISC-V. Comput. Surveys