共 53 条
[1]
Abadi M, 2004, LECT NOTES COMPUT SC, V3235, P1
[3]
Angrisani L., 2020, PROC IEEE INT INSTRU, P1
[4]
[Anonymous], 2009, ARM SECURITY TECHNOL
[5]
Verification of a Cryptographic Primitive: SHA-256
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
2015, 37 (02)
[6]
ARM Inc, 2022, AMBA AXI3 AXI4 PRO 1
[9]
Bernhard Grill B., 2014, P 7 EUROPEAN WORKSHO, P1