An Obfuscated Hardwired Sequence Control System Generated by High Level Synthesis

被引：0

作者：

Ishigaki, Yoshiki ^{[1
]}

Fujieda, Naoki ^{[1
]}

Matsuoka, Yuumi ^{[1
]}

Uyama, Kazuki ^{[1
]}

Ichikawa, Shuichi ^{[1
]}

机构：

[1] Toyohashi Univ Technol, Dept Elect & Elect Informat Engn, Toyohashi, Aichi, Japan

来源：

2017 FIFTH INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR) | 2017年

关键词：

D O I：

10.1109/CANDAR.2017.29

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The intellectual property and the security of sequence control systems can be protected by implementing control software as logic circuit. This study examines the use of a commercial High Level Synthesis (HLS) tool to generate the hardwired sequence control obfuscated by opaque predicates. HLS is applied to C codes converted from PLC instructions. For comparison, a traditional method that directly generates HDL is also implemented. The increase of the logic elements with obfuscation using the HLS was almost proportional to the number of bogus instructions. The estimated operating frequency ranged from 89% to 102% of the original system.

引用

页码：323 / 325

页数：3

共 50 条

[21] DIGITAL SYSTEM SIMULATION WITH VHDL IN A HIGH-LEVEL SYNTHESIS SYSTEM
PENG, Z
MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 263 - 269
[22] Syncopation: Adaptive Clock Management for High-Level Synthesis Generated Circuits on FPGAs
Gibson, Kahlan
Roorda, Esther
Noronha, Daniel Holanda
Wilton, Steven J. E.
2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), 2020, : 225 - 230
[23] Analytical Model for Memory-Centric High Level Synthesis-Generated Applications
Angelica Davila-Guzman, Maria
Gran Tejero, Ruben
Villarroya-Gaudo, Maria
Suarez Gracia, Dario
IEEE TRANSACTIONS ON COMPUTERS, 2021, 70 (12) : 2056 - 2069
[24] Distributed sequence control utilising a high level sequencing language in conjunction with PLCs
Charalambous, C.
Conning, A.J.
Elektron, 1988, 5 (08): : 9 - 13
[25] Control Software Synthesis from System Level Formal Specifications
Tronci, Enrico
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (138):
[26] Internal Feedback in Biological Control: Locality and System Level Synthesis
Li, Jing Shuang
2022 AMERICAN CONTROL CONFERENCE, ACC, 2022, : 474 - 479
[27] High-level control of sound synthesis for sonification processes
Kronland-Martinet, Richard
Ystad, Sølvi
Aramaki, Mitsuko
AI and Society, 2012, 27 (02): : 245 - 255
[28] A HIGH-LEVEL SYNTHESIS ALGORITHM INCLUDING CONTROL CONSTRAINTS
VERDIER, F
SAFIR, A
ZAVIDOVIQUE, B
MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 271 - 278
[29] Speculation techniques for high level synthesis of control intensive designs
Gupta, S
Savoiu, N
Kim, S
Dutt, N
Gupta, R
Nicolau, A
38TH DESIGN AUTOMATION CONFERENCE PROCEEDINGS 2001, 2001, : 269 - 272
[30] CONTROL UNIT SYNTHESIS FROM A HIGH-LEVEL LANGUAGE
ROTMAN, A
GINOSAR, R
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1993, 12 (01) : 162 - 167

← 1 2 3 4 5 →