Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Alin Razafindraibe is active.

Publication


Featured researches published by Alin Razafindraibe.


IEEE Transactions on Very Large Scale Integration Systems | 2007

Improvement of dual rail logic as a countermeasure against DPA

Alin Razafindraibe; Michel Robert; Philippe Maurine

Dual rail logic is considered as a relevant hardware countermeasure against Differential Power Analysis (DPA) by making power consumption data independent. In this paper, we deduce from a thorough analysis of the robustness of dual rail logic against DPA the design range in which it can be considered as effectively robust. Surprisingly this secure design range is quite narrow. We therefore propose the use of an improved logic, called Secure Triple Track Logic, as an alternative to more conventional dual rail logics. To validate the claimed benefits of the logic introduced herein, we have implemented a sensitive block of the Data Encryption Standard algorithm (DES) and carried out by simulation DPA attacks.


applied reconfigurable computing | 2008

Physical Design of FPGA Interconnect to Prevent Information Leakage

Sumanta Chaudhuri; Sylvain Guilley; Philippe Hoogvorst; Jean-Luc Danger; Taha Beyrouthy; Alin Razafindraibe; Laurent Fesquet; Marc Renaudin

In this article we discuss dual/multi-rail routing techniques in an island style FPGA for robustness against side-channel attacks. We present a technique to achieve dual-rail routing balanced in both timing and power consumption with the traditional subset switchbox. Secondly, we propose two switchboxes (namely: Twist-on-Turn & Twist-Always) to route every dual/multi-rail signal in twisted pairs, which can deter electromagnetic attacks. These novel switchboxes can also be balanced in power consumption albeit with some added cost. We present a layout with pre-placed switches and pre-routed balanced wires and extraction statistics about the expected balance. As conclusion, we discuss various overheads associated with these techniques and possible improvements.


power and timing modeling optimization and simulation | 2007

Analysis and improvement of dual rail logic as a countermeasure against DPA

Alin Razafindraibe; Michel Robert; Philippe Maurine

Dual rail logic is considered as a relevant hardware countermeasure against Differential Power Analysis (DPA) by making power consumption data independent. In this paper, we deduce from a thorough analysis of the robustness of dual rail logic against DPA the design range in which it can be considered as effectively robust. Surprisingly this secure design range is quite narrow. We therefore propose the use of an improved logic, called Secure Triple Track Logic, as an alternative to more conventional dual rail logics. To validate the claimed benefits of the logic introduced herein, we have implemented a sensitive block of the Data Encryption Standard algorithm (DES) and carried out by simulation DPA attacks.


field-programmable technology | 2007

A Novel Asynchronous e-FPGA Architecture for Security Applications

Taha Beyrouthy; Alin Razafindraibe; Laurent Fesquet; Marc Renaudin; Sumanta Chaudhuri; Sylvain Guilley; Jean-Luc Danger; Philippe Hoogvorst

With the growing security needs of applications such as homeland security or banking, the frequent updates in cryptographic standards and the high ASIC costs, the ciphering algorithms on an asynchronous embedded FPGA co-processor are becoming a viable alternative. Within the SAFE project, a novel architecture of asynchronous e-FPGA has been proposed. This architecture is natively robust against side channel attacks such as simple and differential power analysis or clock based fault attacks. Simulation-based security proofs are also presented.


power and timing modeling optimization and simulation | 2006

Formal evaluation of the robustness of dual-rail logic against DPA attacks

Alin Razafindraibe; Michel Robert; Philippe Maurine

Based on a first order model of the switching current flowing in CMOS cell, an investigation of the robustness against DPA of dual-rail logic is carried out. The result of this investigation, performed on 130nm process, is a formal identification of the design range in which dual-rail logic can be considered as robust.


power and timing modeling optimization and simulation | 2005

A method to design compact DUAL-RAIL asynchronous primitives

Alin Razafindraibe; Michel Robert; Marc Renaudin; Philippe Maurine

This paper aims at introducing a method to quickly design compact dual-rail asynchronous primitives. If the proposed cells are dedicated to the design of dual-rail asynchronous circuits, it is also possible to use such primitives to design dual-rail synchronous circuits. The method detailed herein has been applied to develop the schematics of various basic primitives. The performances of the 130nm obtained cells have been simulated and compared with more traditional implementations.


power and timing modeling optimization and simulation | 2007

A model of DPA syndrome and its application to the identification of leaking gates

Alin Razafindraibe; Philippe Maurine

Within the context of secure applications, side channel attacks are a major threat. The main characteristic of these attacks is that they exploit physical syndromes, such as power consumption rather than Boolean data. Among all the known side channel attacks the differential power analysis appears as one of the most efficient. This attack constitutes the main topic of this paper. More precisely, a design oriented modelling of the syndrome (signature) obtained while performing Differential Power Analysis of Kocher is introduced. As a validation of this model, it is shown how it allows identifying the leaking nets and gates during the logical synthesis step. The technology considered herein is a 130nm process.


very large scale integration of system on chip | 2006

Security evaluation of dual rail logic against DPA attacks

Alin Razafindraibe; Philippe Maurine; Michel Robert; Marc Renaudin

Based on a first order model of the switching current flowing in CMOS cell, an investigation of the robustness against DPA attacks of dual rail logic is carried out. The result of this investigation, performed on 130nm process, is the formal identification of the design range in which dual rail logic can be considered as robust


Journal of Low Power Electronics | 2005

Compact and Secured Primitives for the Design of Asynchronous Circuits

Alin Razafindraibe; Michel Robert; Philippe Maurine


arXiv: Hardware Architecture | 2011

A Secure Asynchronous FPGA Architecture, Experimental Results and Some Debug Feedback

Sumanta Chaudhuri; Sylvain Guilley; Philippe Hoogvorst; Jean-Luc Danger; Taha Beyrouthy; Alin Razafindraibe; Laurent Fesquet; Marc Renaudin

Collaboration


Dive into the Alin Razafindraibe's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar

Marc Renaudin

Centre national de la recherche scientifique

View shared research outputs
Top Co-Authors

Avatar

Laurent Fesquet

Centre national de la recherche scientifique

View shared research outputs
Top Co-Authors

Avatar

Michel Robert

Centre national de la recherche scientifique

View shared research outputs
Top Co-Authors

Avatar

Sumanta Chaudhuri

Centre national de la recherche scientifique

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Sylvain Guilley

École Normale Supérieure

View shared research outputs
Top Co-Authors

Avatar

Taha Beyrouthy

Joseph Fourier University

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Michel Robert

Centre national de la recherche scientifique

View shared research outputs
Researchain Logo
Decentralizing Knowledge