DocumentCode :
1756039
Title :
Sophisticated security verification on routing repaired balanced cell-based dual-rail logic against side channel analysis
Author :
Wei He ; Bhasin, Shubhendu ; Otero, Andres ; Graba, Tarik ; de la Torre, E. ; Danger, Jean-Luc
Author_Institution :
Centro de Electron. Ind., Univ. Politec. de Madrid, Madrid, Spain
Volume :
9
Issue :
1
fYear :
2015
fDate :
1 2015
Firstpage :
1
Lastpage :
13
Abstract :
Conventional dual-rail precharge logic suffers from difficult implementations of dual-rail structure for obtaining strict compensation between the counterpart rails. As a light-weight and high-speed dual-rail style, balanced cell-based dual-rail logic (BCDL) uses synchronised compound gates with global precharge signal to provide high resistance against differential power or electromagnetic analyses. BCDL can be realised from generic field programmable gate array (FPGA) design flows with constraints. However, routings still exist as concerns because of the deficient flexibility on routing control, which unfavourably results in bias between complementary nets in security-sensitive parts. In this article, based on a routing repair technique, novel verifications towards routing effect are presented. An 8 bit simplified advanced encryption processing (AES)-co-processor is executed that is constructed on block random access memory (RAM)-based BCDL in Xilinx Virtex-5 FPGAs. Since imbalanced routing are major defects in BCDL, the authors can rule out other influences and fairly quantify the security variants. A series of asymptotic correlation electromagnetic (EM) analyses are launched towards a group of circuits with consecutive routing schemes to be able to verify routing impact on side channel analyses. After repairing the non-identical routings, Mutual information analyses are executed to further validate the concrete security increase obtained from identical routing pairs in BCDL.
Keywords :
coprocessors; correlation theory; cryptography; electromagnetic fields; field programmable gate arrays; formal verification; logic design; logic gates; network routing; random-access storage; synchronisation; AES coprocessor; Xilinx Virtex-5 FPGA; asymptotic correlation EM analyses; balanced cell-based dual rail logic; block RAM-based BCDL; complementary nets; compound gate synchronisation; consecutive routing scheme; differential power; dual rail precharge logic; dual rail structure; electromagnetic analyses; fleld programmable gate array; global precharge signal; mutual information analyses; nonidentical routing; routing effect; routing repair technique; security verification; side channel analysis;
fLanguage :
English
Journal_Title :
Information Security, IET
Publisher :
iet
ISSN :
1751-8709
Type :
jour
DOI :
10.1049/iet-ifs.2013.0058
Filename :
6983700
Link To Document :
بازگشت