共 50 条
- [1] Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 189 - 207
- [2] Electromagnetic Analysis and Attacks System for Cryptographic RFID 2012 IEEE 11TH INTERNATIONAL CONFERENCE ON SOLID-STATE AND INTEGRATED CIRCUIT TECHNOLOGY (ICSICT-2012), 2012, : 544 - 546
- [3] Fault Attacks on Cryptographic Circuits 2019 17TH IEEE INTERNATIONAL NEW CIRCUITS AND SYSTEMS CONFERENCE (NEWCAS), 2019,
- [5] Power Analysis Attacks to Cryptographic Circuits: a Comparative Analysis of DPA and CPA 2008 INTERNATIONAL CONFERENCE ON MICROELECTRONICS, 2008, : 333 - 336
- [6] Unrolling Cryptographic Circuits: A Simple Countermeasure Against Side-Channel Attacks TOPICS IN CRYPTOLOGY - CT-RSA 2010, PROCEEDINGS, 2010, 5985 : 195 - 207
- [7] Method of formal verification of cryptographic circuits J Electron Test Theory Appl JETTA, 3 (321-322):
- [8] A method of formal verification of cryptographic circuits JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1998, 13 (03): : 321 - 322
- [10] A Method of Formal Verification of Cryptographic Circuits Journal of Electronic Testing, 1998, 13 : 321 - 322