Improving the Security of Dual-Rail Circuits

作者: Danil Sokolov , Julian Murphy , Alex Bystrov , Alex Yakovlev

DOI: 10.1007/978-3-540-28632-5_21

关键词: Common Power FormatComputer hardwareDistributed computingPower analysisAsynchronous circuitAdvanced Encryption StandardCycles per instructionHazard (logic)EncryptionPass transistor logicComputer science

摘要: Dual-rail encoding, return-to-spacer protocol and hazard-free logic can be used to resist differential power analysis attacks by making the consumption independent of processed data. Standard dual-rail uses a with single spacer, e.g. all-zeroes, which gives rise balancing problems. We address these problems incorporating two spacers; spacers alternate between adjacent clock cycles. This guarantees that all gates switch in each cycle regardless transmitted data values. To generate circuits an automated tool has been developed. It is capable converting synchronous netlists into it interfaced industry CAD tools. single-rail benchmarks based upon Advanced Encryption (AES) have simulated compared order evaluate method.

参考文章(18)
Victor I. Varshavsky, Self-Timed Control of Concurrent Processes ,(1989)
Thomas S. Messerges, Robert H. Sloan, Ezzy A. Dabbish, Investigations of power analysis attacks on smartcards WOST'99 Proceedings of the USENIX Workshop on Smartcard Technology on USENIX Workshop on Smartcard Technology. pp. 17- 17 ,(1999)
Joan Daemen, Vincent Rijmen, The Design of Rijndael Springer-Verlag New York, Inc.. ,(2002) , 10.1007/978-3-662-04722-4
I. Verbauwhede, K. Tiri, M. Akmal, A dynamic and differential CMOS logic with signal independent power consumption to withstand differential power analysis on smart cards european solid-state circuits conference. pp. 403- 406 ,(2002)
H. Saputra, N. Vijaykrishnan, M. Kandemir, M.J. Irwin, R. Brooks, Masking the energy behaviour of encryption algorithms IEE Proceedings - Computers and Digital Techniques. ,vol. 150, pp. 274- 284 ,(2003) , 10.1049/IP-CDT:20030832
A. Kondratyev, K. Lwin, Design of asynchronous circuits using synchronous CAD tools IEEE Design & Test of Computers. ,vol. 19, pp. 107- 117 ,(2002) , 10.1109/MDT.2002.1018139
S. Moore, R. Anderson, P. Cunningham, R. Mullins, G. Taylor, Improving smart card security using self-timed circuits symposium on asynchronous circuits and systems. pp. 211- 218 ,(2002) , 10.1109/ASYNC.2002.1000311
Z.C. Yu, S.B. Furber, L.A. Plana, An investigation into the security of self-timed circuits symposium on asynchronous circuits and systems. pp. 206- 215 ,(2003) , 10.1109/ASYNC.2003.1199180
K.M. Fant, S.A. Brandt, NULL Convention Logic/sup TM/: a complete and consistent logic for asynchronous digital circuit synthesis application specific systems architectures and processors. pp. 261- 273 ,(1996) , 10.1109/ASAP.1996.542821
L.A. Plana, P.A. Riocreux, W.J. Bainbridge, A. Bardsley, J.D. Garside, S. Temple, SPA - a synthesisable Amulet core for smartcard applications symposium on asynchronous circuits and systems. pp. 201- 210 ,(2002) , 10.1109/ASYNC.2002.1000310