共 19 条
[1]
[Anonymous], 2012 IEEE INT S HARD
[2]
[Anonymous], 1991, Techn. Rep.
[3]
Borowczak M., 2012, RED INT SEC ENG 2012, P651
[4]
Cao C, 2004, PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN, P363
[5]
Z3: An efficient SMT solver
[J].
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS,
2008, 4963
:337-340
[6]
Einthoven W., 1903, KNAW
[7]
Friedman J., 1972, NSA Cryptologic Spectrum, V2, P26
[8]
Gao F, 2003, ISLPED'03: PROCEEDINGS OF THE 2003 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, P140
[9]
Huang S.-H., 2006, COMP AID DES 2006 IC, P33
[10]
Kocher P., 1999, Advances in Cryptology - CRYPTO'99. 19th Annual International Cryptology Conference. Proceedings, P388