Formal Analysis of Camouflaged Reconfigurable Circuits

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

Contributors

Abstract

Reconfigurable field effect transistors are an emerging device technology. Reconfigurability between P-and N-type polarity and multiple (control) gates per device make them well suited for static and dynamic layout camouflaging as well as logic locking, watermarking and similar IP protection techniques. In contrast to classical transistors, the devices can provide fully symmetrical I-V characteristics between P-and N-type polarity with equal device geometry. In this paper, we explore logic gate variants and analyze their delay invariance using a fully automated design space exploration backed by probabilistic model checking. We evaluate how this invariance carries over to more complex combinational circuits and latches. Our analysis shows that effective camouflaging using reconfigurable logic gates is indeed achievable and identifies the most promising designs.

Details

Original languageEnglish
Title of host publication2023 21st IEEE Interregional NEWCAS Conference (NEWCAS)
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (electronic)979-8-3503-0024-6
ISBN (print)979-8-3503-0025-3
Publication statusPublished - 2023
Peer-reviewedYes

Publication series

SeriesAnnual IEEE Northeast Workshop on Circuits and Systems (NEWCAS)
ISSN2472-467X

Conference

Title21st IEEE Interregional NEWCAS Conference 2023
Abbreviated titleNEWCAS 2023
Conference number21
Duration26 - 28 June 2023
LocationJohn McIntyre Conference Centre
CityEdinburgh
CountryUnited Kingdom

External IDs

ORCID /0000-0003-3814-0378/work/144255462

Keywords

Keywords

  • Camouflaging, circuit analysis, device models, formal verification, reconfigurable logic, timing analysis