20 HARDWARE AND EMBEDDED SYSTEMS SECURITY [3 ECTS
Transcription
20 HARDWARE AND EMBEDDED SYSTEMS SECURITY [3 ECTS
Code ECTS HARDWARE AND EMBEDDED SYSTEMS SECURITY [3 ECTS] Architectures matérielles sécurisées Course total volume: 30h Period : 2 bimester Professors : Régis LEVEUGLE, Paolo MAISTRI E-mail : [email protected] Objectives This course aims at presenting the specific design constraints for secure integrated systems and at giving circuit level and architecture level methods for the specification, design and implementation of robust cryptographic circuits. It discusses architectural choices to be done for System on Chip (SoC) design. Contents Embedded system design and architecture – basic concepts Hardware Architecture (integrated bus, memory architecture, advanced processors, IP) Software Architecture (RTOS, API) Integrated Circuits and SoCs Design and implementation of secured circuits and crypto processors Secure circuits: design constraints, qualification, common criteria. Types of attacks, exploitation examples. Impact on test techniques. Implementation of protections (counter-measures) against the different types of attacks. Examples of secure architectures for symmetric and asymmetric coding algorithms. Prerequisites Digital circuit design, computer architecture, cryptanalysis and cryptography. (M1 courses). Examination Written examination (2h) and reports on lab works at CIME laboratory. ___________________________________________________________________________________________________________ Final mark session1: 30%*TP + 20%*CC + 50%*ET Final mark session2: 30%*TP + 20%*CC + 50% ET2 (if ET2 > ET1) DESCRIPTION IN FRENCH Objectifs de l’enseignement Ce cours a pour but de présenter les contraintes de conception spécifiques aux systèmes intégrés sécurisés et de montrer des méthodes aux niveaux circuit et architecture pour la spécification, la conception et l'implantation de circuits de chiffrement robustes. Contenu Conception et architecture de systèmes embarqués – concepts de base Architecture matérielle (bus, architecture mémoire, processeurs avancés, IP) Architecture logicielle (RTOS, API) Circuits intégrés et SoCs Conception et implantation de circuits sécurisés et de processeurs de chiffrement Circuits sécurisés : contraintes de conception, qualification, critères communs. Types d'attaques, exemples d'exploitation. Impact sur les techniques de test. Implantation de protections (contre-mesures) contre les différents types d'attaques. Exemples d'architectures sécurisées pour chiffrement symétrique et asymétrique. Pré requis Conception de circuits numériques, concepts de base en architecture d'ordinateur et en cryptographie Forme d’examen Devoir surveillé (2h) et rapports sur les manipulations Bibliographie / textbooks 20