Recherche

AMfoRS

Architectures and Methods for Resilient Systems


Thèmes de recherche

photo AMfoRS

L'équipe AMfoRS aborde des défis cruciaux dans le domaine des systèmes intégrés résilients. Notre objectif est double : garantir un comportement correct du système et assurer un niveau substantiel de robustesse et de sécurité. Nos activités visent à augmenter les synergies entre les technologies de vérification et les activités de conception et de validation de systèmes intégrés fiables, sûrs et sécurisés, l'accent étant mis sur les parties numériques.
Les résultats escomptés incluent des méthodes, des outils et des blocs matériels requis pour justifier la confiance dans des systèmes intégrés de complexité croissante et jusqu'aux systèmes cyber-physiques.
L'équipe contribue à relever des défis scientifiques identifiés non seulement au niveau du laboratoire, mais aussi dans les pôles de recherche de l'Université Grenoble-Alpes (notamment le pôle MSTIC) et plus généralement au niveau national (directions stratégiques Françaises) et au niveau international (en particulier dans les priorités Européennes H2020).

Responsable d'équipe

LEVEUGLE Régis

Dernières publications

Deng E., Design and development of low-power and reliable logic circuits based on spin-transfer torque magnetic tunnel junctions, These de Doctorat, 2017
 
Pontié S., Maistri P., Leveugle R., Dummy operations in scalar multiplication over elliptic curves: a tradeoff between security and performance, Microprocessors and Microsystems, Ed. Elsevier, Vol. 47, No. Part A, pp. 23-36, DOI: 10.1016/j.micpro.2016.02.016, 2016
 
Javaheri N., Morin-Allory K., Borrione D., Synthesis of Regular Expressions Revisited: from PSL SEREs to Hardware, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Ed. IEEE, Vol. PP, No. 99, pp. 1-14, DOI: 10.1109/TCAD.2016.2600241 , 2016
 
Papadimitriou A., Hély D., Beroulle V., Maistri P., Leveugle R., Analysis of laser-induced errors: RTL fault models versus layout locality characteristics, Microprocessors and Microsystems, Ed. Elsevier, Vol. 47, No. Part A, pp. 64-73, DOI: 10.1016/j.micpro.2016.01.018, 2016
 
Mkhinini A., Maistri P., Leveugle R., Tourki R., Machhout M., A flexible RNS-based large polynomial multiplier for Fully Homomorphic Encryption, 11th IEEE International Design & Test Symposium (IDT'16), pp. 131-136, Hammamet, TUNISIA, 2016
 
Rapport annuel d'activité