A New Paradigm in Split Manufacturing

Lock the FEOL, Unlock at the BEOL

Abhrajit Sengupta, Mohammed Nabeel, Johann Knechtel, Ozgur Sinanoglu

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    Split manufacturing was introduced as an effective countermeasure against hardware-level threats such as IP piracy, overbuilding, and insertion of hardware Trojans. Nevertheless, the security promise of split manufacturing has been challenged by various attacks, which exploit the well-known working principles of physical design tools to infer the missing BEOL interconnects. In this work, we advocate a new paradigm to enhance the security for split manufacturing. Based on Kerckhoff's principle, we protect the FEOL layout in a formal and secure manner, by embedding keys. These keys are purposefully implemented and routed through the BEOL in such a way that they become indecipherable to the state-of-the-art FEOL-centric attacks. We provide our secure physical design flow to the community. We also define the security of split manufacturing formally and provide the associated proofs. At the same time, our technique is competitive with current schemes in terms of layout overhead, especially for practical, large-scale designs (ITC'99 benchmarks).

    Original languageEnglish (US)
    Title of host publicationProceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019
    PublisherInstitute of Electrical and Electronics Engineers Inc.
    Pages414-419
    Number of pages6
    ISBN (Electronic)9783981926323
    DOIs
    StatePublished - May 14 2019
    Event22nd Design, Automation and Test in Europe Conference and Exhibition, DATE 2019 - Florence, Italy
    Duration: Mar 25 2019Mar 29 2019

    Publication series

    NameProceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019

    Conference

    Conference22nd Design, Automation and Test in Europe Conference and Exhibition, DATE 2019
    CountryItaly
    CityFlorence
    Period3/25/193/29/19

    Fingerprint

    Manufacturing
    Paradigm
    Layout
    Attack
    Hardware
    Countermeasures
    Interconnect
    Insertion
    Benchmark
    Design

    Keywords

    • ATPG
    • proximity attack
    • Split manufacturing

    ASJC Scopus subject areas

    • Hardware and Architecture
    • Electrical and Electronic Engineering
    • Safety, Risk, Reliability and Quality
    • Control and Optimization

    Cite this

    Sengupta, A., Nabeel, M., Knechtel, J., & Sinanoglu, O. (2019). A New Paradigm in Split Manufacturing: Lock the FEOL, Unlock at the BEOL. In Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019 (pp. 414-419). [8715281] (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.23919/DATE.2019.8715281

    A New Paradigm in Split Manufacturing : Lock the FEOL, Unlock at the BEOL. / Sengupta, Abhrajit; Nabeel, Mohammed; Knechtel, Johann; Sinanoglu, Ozgur.

    Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019. Institute of Electrical and Electronics Engineers Inc., 2019. p. 414-419 8715281 (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Sengupta, A, Nabeel, M, Knechtel, J & Sinanoglu, O 2019, A New Paradigm in Split Manufacturing: Lock the FEOL, Unlock at the BEOL. in Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019., 8715281, Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019, Institute of Electrical and Electronics Engineers Inc., pp. 414-419, 22nd Design, Automation and Test in Europe Conference and Exhibition, DATE 2019, Florence, Italy, 3/25/19. https://doi.org/10.23919/DATE.2019.8715281
    Sengupta A, Nabeel M, Knechtel J, Sinanoglu O. A New Paradigm in Split Manufacturing: Lock the FEOL, Unlock at the BEOL. In Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019. Institute of Electrical and Electronics Engineers Inc. 2019. p. 414-419. 8715281. (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019). https://doi.org/10.23919/DATE.2019.8715281
    Sengupta, Abhrajit ; Nabeel, Mohammed ; Knechtel, Johann ; Sinanoglu, Ozgur. / A New Paradigm in Split Manufacturing : Lock the FEOL, Unlock at the BEOL. Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019. Institute of Electrical and Electronics Engineers Inc., 2019. pp. 414-419 (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019).
    @inproceedings{0dba603d3a47476d8bff6ba2594af9f3,
    title = "A New Paradigm in Split Manufacturing: Lock the FEOL, Unlock at the BEOL",
    abstract = "Split manufacturing was introduced as an effective countermeasure against hardware-level threats such as IP piracy, overbuilding, and insertion of hardware Trojans. Nevertheless, the security promise of split manufacturing has been challenged by various attacks, which exploit the well-known working principles of physical design tools to infer the missing BEOL interconnects. In this work, we advocate a new paradigm to enhance the security for split manufacturing. Based on Kerckhoff's principle, we protect the FEOL layout in a formal and secure manner, by embedding keys. These keys are purposefully implemented and routed through the BEOL in such a way that they become indecipherable to the state-of-the-art FEOL-centric attacks. We provide our secure physical design flow to the community. We also define the security of split manufacturing formally and provide the associated proofs. At the same time, our technique is competitive with current schemes in terms of layout overhead, especially for practical, large-scale designs (ITC'99 benchmarks).",
    keywords = "ATPG, proximity attack, Split manufacturing",
    author = "Abhrajit Sengupta and Mohammed Nabeel and Johann Knechtel and Ozgur Sinanoglu",
    year = "2019",
    month = "5",
    day = "14",
    doi = "10.23919/DATE.2019.8715281",
    language = "English (US)",
    series = "Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019",
    publisher = "Institute of Electrical and Electronics Engineers Inc.",
    pages = "414--419",
    booktitle = "Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019",

    }

    TY - GEN

    T1 - A New Paradigm in Split Manufacturing

    T2 - Lock the FEOL, Unlock at the BEOL

    AU - Sengupta, Abhrajit

    AU - Nabeel, Mohammed

    AU - Knechtel, Johann

    AU - Sinanoglu, Ozgur

    PY - 2019/5/14

    Y1 - 2019/5/14

    N2 - Split manufacturing was introduced as an effective countermeasure against hardware-level threats such as IP piracy, overbuilding, and insertion of hardware Trojans. Nevertheless, the security promise of split manufacturing has been challenged by various attacks, which exploit the well-known working principles of physical design tools to infer the missing BEOL interconnects. In this work, we advocate a new paradigm to enhance the security for split manufacturing. Based on Kerckhoff's principle, we protect the FEOL layout in a formal and secure manner, by embedding keys. These keys are purposefully implemented and routed through the BEOL in such a way that they become indecipherable to the state-of-the-art FEOL-centric attacks. We provide our secure physical design flow to the community. We also define the security of split manufacturing formally and provide the associated proofs. At the same time, our technique is competitive with current schemes in terms of layout overhead, especially for practical, large-scale designs (ITC'99 benchmarks).

    AB - Split manufacturing was introduced as an effective countermeasure against hardware-level threats such as IP piracy, overbuilding, and insertion of hardware Trojans. Nevertheless, the security promise of split manufacturing has been challenged by various attacks, which exploit the well-known working principles of physical design tools to infer the missing BEOL interconnects. In this work, we advocate a new paradigm to enhance the security for split manufacturing. Based on Kerckhoff's principle, we protect the FEOL layout in a formal and secure manner, by embedding keys. These keys are purposefully implemented and routed through the BEOL in such a way that they become indecipherable to the state-of-the-art FEOL-centric attacks. We provide our secure physical design flow to the community. We also define the security of split manufacturing formally and provide the associated proofs. At the same time, our technique is competitive with current schemes in terms of layout overhead, especially for practical, large-scale designs (ITC'99 benchmarks).

    KW - ATPG

    KW - proximity attack

    KW - Split manufacturing

    UR - http://www.scopus.com/inward/record.url?scp=85066602506&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=85066602506&partnerID=8YFLogxK

    U2 - 10.23919/DATE.2019.8715281

    DO - 10.23919/DATE.2019.8715281

    M3 - Conference contribution

    T3 - Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019

    SP - 414

    EP - 419

    BT - Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019

    PB - Institute of Electrical and Electronics Engineers Inc.

    ER -