Recherche

AMfoRS

Architectures and Methods for Resilient Systems
créée en 2015


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

Sivadasan A., Conception et Simulation des Circuits Numériques en 28nm FDSOI pour la Haute Fiabilité, These de Doctorat, 2018
 
Leveugle R., Mkhinini A., Maistri P., Hardware Support for Security in the Internet of Things: From Lightweight Countermeasures to Accelerated Homomorphic Encryption, Information - Open Access Journal of Information Science, Ed. MDPI, Vol. , DOI: 10.3390/info9050114, 2018
 
Plassan G., Conclusive formal verification of clock domain crossing properties, These de Doctorat, 2018
 
Mkhinini A., Maistri P., Leveugle R., Tourki R., Co-designed accelerator for homomorphic encryption applications, Advances in Science, Technology and Engineering Systems Journal (ASTESJ), Vol. 3, No. 1, pp. 426-433, DOI: 10.25046/aj030152, 2018
 
Alexandrescu D., Altun M., Anghel L., Ciriani V., Tahoori M., Bernasconi A., Logic synthesis and testing techniques for switching nano-crossbar arrays, Microprocessors and Microsystems, Ed. Elsevier, Vol. 54, pp. 14-25, DOI: 10.1016/j.micpro.2017.08.004, 2017
 
Rapport annuel d'activité