Formal Analysis of Camouflaged Reconfigurable Circuits
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-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 language | English |
---|---|
Title of host publication | 2023 21st IEEE Interregional NEWCAS Conference (NEWCAS) |
Publisher | Institute of Electrical and Electronics Engineers Inc. |
ISBN (electronic) | 979-8-3503-0024-6 |
ISBN (print) | 979-8-3503-0025-3 |
Publication status | Published - 2023 |
Peer-reviewed | Yes |
Publication series
Series | Annual IEEE Northeast Workshop on Circuits and Systems (NEWCAS) |
---|---|
ISSN | 2472-467X |
Conference
Title | 21st IEEE Interregional NEWCAS Conference |
---|---|
Abbreviated title | NEWCAS 2023 |
Conference number | 21 |
Duration | 26 - 28 June 2023 |
Website | |
Degree of recognition | International event |
Location | John McIntyre Conference Centre |
City | Edinburgh |
Country | United Kingdom |
External IDs
ORCID | /0000-0003-3814-0378/work/144255462 |
---|
Keywords
ASJC Scopus subject areas
Keywords
- Camouflaging, circuit analysis, device models, formal verification, reconfigurable logic, timing analysis