TY - GEN
T1 - Towards Secure Composition of Integrated Circuits and Electronic Systems
T2 - 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020
AU - Knechtel, Johann
AU - Kavun, Elif Bilge
AU - Regazzoni, Francesco
AU - Heuser, Annelie
AU - Chattopadhyay, Anupam
AU - Mukhopadhyay, Debdeep
AU - Dey, Soumyajit
AU - Fei, Yunsi
AU - Belenky, Yaacov
AU - Levi, Itamar
AU - Guneysu, Tim
AU - Schaumont, Patrick
AU - Polian, Ilia
N1 - Publisher Copyright:
© 2020 EDAA.
PY - 2020/3
Y1 - 2020/3
N2 - 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 hardware-centric 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 security-relevant 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.
AB - 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 hardware-centric 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 security-relevant 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.
UR - http://www.scopus.com/inward/record.url?scp=85082558683&partnerID=8YFLogxK
U2 - 10.23919/DATE48585.2020.9116483
DO - 10.23919/DATE48585.2020.9116483
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
T3 - Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020
SP - 508
EP - 513
BT - Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020
A2 - Di Natale, Giorgio
A2 - Bolchini, Cristiana
A2 - Vatajelu, Elena-Ioana
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 9 March 2020 through 13 March 2020
ER -