| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Towards Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA
Johann Knechtel
1
Elif Bilge Kavun
2
Francesco Regazzoni
3
Annelie Heuser
4
Anupam Chattopadhyay
5
Debdeep Mukhopadhyay
6
Soumyajit Dey
6
Yunsi Fei
7
Yaacov Belenky
8
Itamar Levi
9
Tim Guneysu
10
Patrick Schaumont
11
Ilia Polian
12
4
TAMIS - Threat Analysis and Mitigation for Information Security
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Johann Knechtel 1
Author
Elif Bilge Kavun 2
Author
Francesco Regazzoni 3
Author
Annelie Heuser 4
Author IdHAL : annelie-heuser
Anupam Chattopadhyay 5
Author
Debdeep Mukhopadhyay 6
Author
Soumyajit Dey 6
Author
Yunsi Fei 7
Author
Ilia Polian 12
Author
1
New York University [Abu Dhabi] (PO Box 129188, Abu Dhabi, United Arab Emirates - United Arab Emirates)
- NYU - NYU System (United States)
2
University of Sheffield [Sheffield] (Western Bank Sheffield S10 2TN - United Kingdom)
3
University of Lugano (Switzerland)
4
TAMIS - Threat Analysis and Mitigation for Information Security (Campus de Beaulieu 35042 Rennes cedex - France)
- IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
5
Nanyang Technological University [Singapour] (50 Nanyang Ave, Singapour 639798 - Singapore)
6
IIT Kharagpur - Indian Institute of Technology Kharagpur (Kharagpur, West Bengal 721302, India - India)
7
Northeastern University [Boston] (360 Huntington Ave., Boston, Massachusetts 02115 - United States)
9
Bar-Ilan University [Israël] (Ramat-Gan 5290002,
Israel - Israel)
10
Ruhr-Universität Bochum [Bochum] (Universitätsstraße 150, 44801 Bochum - Germany)
11
Virginia Tech [Blacksburg] (Virginia Polytechnic Institute and State University Blacksburg, VA 24061-0002 - United States)
12
Universität Stuttgart [Stuttgart] (Keplerstraße 7, 70174 Stuttgart - Germany)
Abstract : Modern electronic systems become evermore complex, yet remain modular, with integrated circuits (ICs) acting as
versatile hardware components at their heart. Electronic design automation (EDA) for ICs has focused traditionally on power, performance, and area. However, given the rise of hardwarecentric security threats, we believe that EDA must also adopt related notions like secure by design and secure composition of hardware. Despite various promising studies, we argue that some aspects still require more efforts, for example: effective means for compilation of assumptions and constraints for security schemes, all the way from the system level down to the “bare metal”; modeling, evaluation, and consideration of securityrelevant metrics; or automated and holistic synthesis of various countermeasures, without inducing negative cross-effects. In this paper, we first introduce hardware security for the EDA community. Next we review prior (academic) art for EDA-driven security evaluation and implementation of countermeasures. We then discuss strategies and challenges for advancing research and development toward secure composition of circuits and systems.
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-03065835
Contributor : Annelie Heuser Connect in order to contact the contributor
Submitted on : Tuesday, December 15, 2020 - 1:47:12 AM
Last modification on : Monday, January 10, 2022 - 2:52:01 PM
Contributor : Annelie Heuser Connect in order to contact the contributor
Submitted on : Tuesday, December 15, 2020 - 1:47:12 AM
Last modification on : Monday, January 10, 2022 - 2:52:01 PM
Links full text
Identifiers
- HAL Id : hal-03065835, version 1
- DOI : 10.23919/DATE48585.2020.9116483
Collections
Citation
Johann Knechtel, Elif Bilge Kavun, Francesco Regazzoni, Annelie Heuser, Anupam Chattopadhyay, et al.. Towards Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA. DATE 2020 - Design, Automation & Test in Europe Conference & Exhibition, Mar 2020, Grenoble, France. pp.508-513, ⟨10.23919/DATE48585.2020.9116483⟩. ⟨hal-03065835⟩
Metrics
Les métriques sont temporairement indisponibles