共 50 条
- [41] Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations ENGINEERING SECURE SOFTWARE AND SYSTEMS, 2011, 6542 : 58 - 72
- [43] Verifying Cryptographic Software Correctness with Respect to Reference Implementations FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 37 - 52
- [44] Exploring Formal Methods for Cryptographic Hash Function Implementations INFORMATION SECURITY AND PRIVACY, ACISP 2023, 2023, 13915 : 177 - 195
- [45] Implementation and Analysis of Cryptographic Ciphers in FPGA EMERGING TECHNOLOGIES IN DATA MINING AND INFORMATION SECURITY, IEMIS 2018, VOL 1, 2019, 755 : 653 - 666
- [46] Implementation of Lightweight Cryptographic Algorithms in FPGA 2017 2ND INTERNATIONAL CONFERENCE ON CIRCUITS, CONTROLS, AND COMMUNICATIONS (CCUBE), 2017, : 232 - 235
- [48] Efficient FPGA Implementations of LowMC and Picnic TOPICS IN CRYPTOLOGY, CT-RSA 2020, 2020, 12006 : 417 - 441
- [49] FPGA Implementations of Espresso Stream Cipher 2021 28TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS, AND SYSTEMS (IEEE ICECS 2021), 2021,