Exploring and Preventing Cryptographic Hardware Backdoors: Protecting the Internet of Things against Next-Generation Attacks

Informations projet

EPoCH

N° de convention de subvention: 695022

DOI

10.3030/695022

Projet clôturé

Date de signature de la CE 1 Septembre 2016

Date de début 1 Octobre 2016

Date de fin 30 Septembre 2021

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 2 498 286,00

Contribution de l’UE

€ 2 498 286,00

Coordonné par

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (11)

Doppelganger Obfuscation — Exploring theDefensive and Offensive Aspects of Hardware Camouflaging

Auteurs: Max Hoffmann, Christof Paar
Publié dans: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020, Page(s) 82-108, ISSN 2569-2925
Éditeur: IACR Transactions on Cryptographic Hardware and Embedded Systems
DOI: 10.46586/tches.v2021.i1.82-108

Hardware Penetration Testing Knocks Your SoCs Off

Auteurs: Mark Fischer, Fabian Langer, Johannes Mono, Clemens Nasenberg, Nils Albartus
Publié dans: IEEE Design & Test, Numéro 38/1, 2021, Page(s) 14-21, ISSN 2168-2356
Éditeur: IEEE Computer Society
DOI: 10.1109/mdat.2020.3013730

A survey of algorithmic methods in IC reverse engineering

Auteurs: Leonid Azriel, Julian Speith, Nils Albartus, Ran Ginosar, Avi Mendelson, Christof Paar
Publié dans: Journal of Cryptographic Engineering, Numéro 11/3, 2021, Page(s) 299-315, ISSN 2190-8508
Éditeur: Springer Science + Business Media
DOI: 10.1007/s13389-021-00268-5

LifeLine for FPGA Protection: Obfuscated Cryptography for Real-World Security

Auteurs: Florian Stolz, Nils Albartus, Julian Speith, Simon Klix, Clemens Nasenberg, Aiden Gula, Marc Fyrbiak, Christof Paar, Tim Güneysu, Russell Tessier
Publié dans: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021, Page(s) 412-446, ISSN 2569-2925
Éditeur: IACR
DOI: 10.46586/tches.v2021.i4.412-446

Physical Design Obfuscation of Hardware: A Comprehensive Investigation of Device and Logic-Level Techniques

Auteurs: Arunkumar Vijayakumar, Vinay C. Patil, Daniel E. Holcomb, Christof Paar, Sandip Kundu
Publié dans: IEEE Transactions on Information Forensics and Security, Numéro 12/1, 2017, Page(s) 64-77, ISSN 1556-6013
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tifs.2016.2601067

Interdiction in practice—Hardware Trojan against a high-security USB flash drive

Auteurs: Pawel Swierczynski, Marc Fyrbiak, Philipp Koppe, Amir Moradi, Christof Paar
Publié dans: Journal of Cryptographic Engineering, Numéro 7/3, 2017, Page(s) 199-211, ISSN 2190-8508
Éditeur: Springer Science + Business Media
DOI: 10.1007/s13389-016-0132-7

Hybrid Obfuscation to Protect Against Disclosure Attacks on Embedded Microprocessors

Auteurs: Marc Fyrbiak, Simon Rokicki, Nicolai Bissantz, Russell Tessier, Christof Paar
Publié dans: IEEE Transactions on Computers, Numéro 67/3, 2018, Page(s) 307-321, ISSN 0018-9340
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2017.2649520

HAL—The Missing Piece of the Puzzle for Hardware Reverse Engineering, Trojan Detection and Insertion

Auteurs: Marc Fyrbiak, Sebastian Wallat, Pawel Swierczynski, Max Hoffmann, Sebastian Hoppach, Matthias Wilhelm, Tobias Weidlich, Russell Tessier, Christof Paar
Publié dans: IEEE Transactions on Dependable and Secure Computing, Numéro 16/3, 2019, Page(s) 498-510, ISSN 1545-5971
Éditeur: IEEE Computer Society
DOI: 10.1109/tdsc.2018.2812183

DANA Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering

Auteurs: Nils Albartus, Max Hoffmann,Sebastian Temme,Leonid Azriel,Christof Paar
Publié dans: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020, ISSN 2569-2925
Éditeur: IACR Transactions on Cryptographic Hardware and Embedded Systems
DOI: 10.13154/tches.v2020.i4.309-336

Graph Similarity and its Applications to Hardware Security

Auteurs: Marc Fyrbiak, Sebastian Wallat, Sascha Reinhard, Nicolai Bissantz, Christof Paar
Publié dans: IEEE Transactions on Computers, Numéro 69/4, 2020, Page(s) 505-519, ISSN 0018-9340
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2019.2953752

ARMORY : Fully Automated and Exhaustive Fault Simulation on ARM-M Binaries

Auteurs: Max Hoffmann, Falk Schellenberg, Christof Paar
Publié dans: IEEE Transactions on Information Forensics and Security, Numéro 16, 2021, Page(s) 1058-1073, ISSN 1556-6013
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tifs.2020.3027143

Conference proceedings (21)

An Exploratory Study of Hardware Reverse Engineering - Technical and Cognitive Processes

Auteurs: Steffen Becker, Carina Wiesen, Nils Albartus, Nikol Rummel, Christof Paar
Publié dans: Sixteenth Symposium on Usable Privacy and Security (SOUPS 2020), 2020
Éditeur: USENIX Association

The Unpatchable Silicon: A Full Break of the Bitstream Encryption of Xilinx 7-Series FPGAs

Auteurs: Maik Ender, Amir Moradi, Christof Paar
Publié dans: 29th USENIX Security Symposium (USENIX Security 20), 2020
Éditeur: USENIX Association

Listen to Your Heart: Evaluation of the Cardiologic Ecosystem

Auteurs: Endres Puschner, Christoph Saatjohann, Markus Willing, Christian Dresen, Julia Köbe, Benjamin Rath, Christof Paar, Lars Eckardt, Uwe Haverkamp, Sebastian Schinzel
Publié dans: The 16th International Conference on Availability, Reliability and Security, 2021, Page(s) 1-10, ISBN 9781450390514
Éditeur: ACM
DOI: 10.1145/3465481.3465753

Promoting the Acquisition of Hardware Reverse Engineering Skills

Auteurs: Carina Wiesen, Steffen Becker, Nils Albartus, Christof Paar, Nikol Rummel
Publié dans: 2019 IEEE Frontiers in Education Conference (FIE), 2019, Page(s) 1-9, ISBN 978-1-7281-1746-1
Éditeur: IEEE
DOI: 10.1109/fie43999.2019.9028668

On the Design and Misuse of Microcoded (Embedded) Processors — A Cautionary Note

Auteurs: Nils Albartus, Clemens Nasenberg, Florian Stolz, Marc Fyrbiak, Christof Paar, Russell Tessier
Publié dans: 30th USENIX Security Symposium (USENIX Security 21), 2021
Éditeur: USENIX Association

On the Design and Misuse of Microcoded (Embedded) Processors — A Cautionary Note

Auteurs: Nils Albartus, Clemens Nasenberg, Florian Stolz, Christof Paar, Russell Tessier
Publié dans: 30TH Usenix Security Symposium, 2021
Éditeur: USENIX

An Exploratory Analysis of Microcode as a Building Block for System Defenses

Auteurs: Benjamin Kollenda, Philipp Koppe, Marc Fyrbiak, Christian Kison, Christof Paar, Thorsten Holz
Publié dans: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS '18, 2018, Page(s) 1649-1666, ISBN 9781-450356930
Éditeur: ACM Press
DOI: 10.1145/3243734.3243861

A look at the dark side of hardware reverse engineering - a case study

Auteurs: Sebastian Wallat, Marc Fyrbiak, Moritz Schlogel, Christof Paar
Publié dans: 2017 IEEE 2nd International Verification and Security Workshop (IVSW), 2017, Page(s) 95-100, ISBN 978-1-5386-1708-3
Éditeur: IEEE
DOI: 10.1109/ivsw.2017.8031551

SAT-based reverse engineering of gate-level schematics using fault injection and probing

Auteurs: Shahrzad Keshavarz, Falk Schellenberg, Bastian Richte, Christof Paar, Daniel Holcomb
Publié dans: 2018 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2018, Page(s) 215-220, ISBN 978-1-5386-4731-8
Éditeur: IEEE
DOI: 10.1109/hst.2018.8383918

The First Thorough Side-Channel Hardware Trojan

Auteurs: Maik Ender, Samaneh Ghandali, Amir Moradi, Christof Paar
Publié dans: Advances in Cryptology – ASIACRYPT 2017, Numéro 10624, 2017, Page(s) 755-780, ISBN 978-3-319-70693-1
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-70694-8_26

Design automation for obfuscated circuits with multiple viable functions

Auteurs: Shahrzad Keshavarz, Christof Paar, Daniel Holcomb
Publié dans: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017, 2017, Page(s) 886-889, ISBN 978-3-9815370-8-6
Éditeur: IEEE
DOI: 10.23919/date.2017.7927112

Hardware Trojans and Other Threats against Embedded Systems

Auteurs: Christof Paar
Publié dans: Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security - ASIA CCS '17, 2017, Page(s) 1-1, ISBN 9781-450349444
Éditeur: ACM Press
DOI: 10.1145/3052973.3053885

Hardware reverse engineering: Overview and open challenges

Auteurs: Marc Fyrbiak, Sebastian Strauss, Christian Kison, Sebastian Wallat, Malte Elson, Nikol Rummel, Christof Paar
Publié dans: 2017 IEEE 2nd International Verification and Security Workshop (IVSW), 2017, Page(s) 88-94, ISBN 978-1-5386-1708-3
Éditeur: IEEE
DOI: 10.1109/ivsw.2017.8031550

Reverse Engineering x86 Processor Microcode

Auteurs: Philipp Koppe, Benjamin Kollenda, Marc Fyrbiak, Christian Kison, Robert Gawlik, Christof Paar, Thorsten Holz
Publié dans: 26th USENIX Security Symposium, Numéro 2017, 2017, Page(s) 1163-1180
Éditeur: USENIX Association

On the Difficulty of FSM-based Hardware Obfuscation

Auteurs: Marc Fyrbiak, Sebastian Wallat, Jonathan Déchelotte, Nils Albartus, Sinan Böcker, Russell Tessier, Christof Paar
Publié dans: IACR Trans. Cryptogr. Hardw. Embed. Syst, Numéro 3, 2018, Page(s) 293-330
Éditeur: IACR
DOI: 10.13154/tches.v2018.i3.293-330

Stealthy Opaque Predicates in Hardware - Obfuscating Constant Expressions at Negligible Overhead

Auteurs: Max Hoffmann, Christof Paar
Publié dans: IACR Trans. Cryptogr. Hardw. Embed. Syst., Numéro 2, 2018, Page(s) 277-297
Éditeur: IACR
DOI: 10.13154/tches.v2018.i2.277-297

Highway to HAL - open-sourcing the first extendable gate-level netlist reverse engineering framework

Auteurs: Sebastian Wallat, Nils Albartus, Steffen Becker, Max Hoffmann, Maik Ender, Marc Fyrbiak, Adrian Drees, Sebastian Maaßen, Christof Paar
Publié dans: Proceedings of the 16th ACM International Conference on Computing Frontiers - CF '19, 2019, Page(s) 392-397, ISBN 9781450366854
Éditeur: ACM Press
DOI: 10.1145/3310273.3323419

Insights into the mind of a trojan designer - the challenge to integrate a trojan into the bitstream

Auteurs: Maik Ender, Pawel Swierczynski, Sebastian Wallat, Matthias Wilhelm, Paul Martin Knopp, Christof Paar
Publié dans: Proceedings of the 24th Asia and South Pacific Design Automation Conference on - ASPDAC '19, 2019, Page(s) 112-119, ISBN 9781-450360074
Éditeur: ACM Press
DOI: 10.1145/3287624.3288742

Towards cognitive obfuscation - impeding hardware reverse engineering based on psychological insights

Auteurs: Carina Wiesen, Nils Albartus, Max Hoffmann, Steffen Becker, Sebastian Wallat, Marc Fyrbiak, Nikol Rummel, Christof Paar
Publié dans: Proceedings of the 24th Asia and South Pacific Design Automation Conference on - ASPDAC '19, 2019, Page(s) 104-111, ISBN 9781-450360074
Éditeur: ACM Press
DOI: 10.1145/3287624.3288741

Teaching Hardware Reverse Engineering: Educational Guidelines and Practical Insights

Auteurs: Carina Wiesen, Steffen Becker, Marc Fyrbiak, Nils Albartus, Malte Elson, Nikol Rummel, Christof Paar
Publié dans: 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE), 2018, Page(s) 438-445, ISBN 978-1-5386-6522-0
Éditeur: IEEE
DOI: 10.1109/tale.2018.8615270

SPFA: SFA on Multiple Persistent Faults

Auteurs: Susanne Engels, Falk Schellenberg, Christof Paar
Publié dans: 2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC), 2020, Page(s) 49-56, ISBN 978-1-7281-9562-9
Éditeur: IEEE
DOI: 10.1109/fdtc51366.2020.00014

Book chapters (1)

A Design Methodology for Stealthy Parametric Trojans and Its Application to Bug Attacks

Auteurs: Samaneh Ghandali, Georg T. Becker, Daniel Holcomb, Christof Paar
Publié dans: Cryptographic Hardware and Embedded Systems – CHES 2016, Numéro 9813, 2016, Page(s) 625-647, ISBN 978-3-662-53139-6
Éditeur: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-53140-2_30