共 66 条
- [1] Alkabani YM, 2007, USENIX ASSOCIATION PROCEEDINGS OF THE 16TH USENIX SECURITY SYMPOSIUM, P291
- [2] Azar K. Z., 2019, IACR Trans. Cryptograph. Hardw. Embedded Syst., P97
- [3] Bayrak AG, 2013, DES AUT TEST EUROPE, P410
- [4] Becker G. T., 2013, PROC INT CRYPTOGRAPH
- [5] Biere Armin, 2020, Department of Computer Science Report Series B, VB-2020-1, P51
- [6] Biere Armin., 2017, Proc. SAT Competition, V14, P316
- [7] Breier J., 2019, Automated Methods in Cryptographic Fault Analysis
- [8] Chakraborty RS, 2009, LECT NOTES COMPUT SC, V5747, P396