講演抄録/キーワード |
講演名 |
2024-02-29 16:20
[記念講演]Logic Locking over TFHE for Securing User Data and Algorithms ○末光昂平・松岡航太郞・佐藤高史・橋本昌宜(京大) VLD2023-118 HWS2023-78 ICD2023-107 |
抄録 |
(和) |
This paper proposes the application of logic locking over TFHE to protect both user data and algorithms, such as input user data and models in machine learning inference applications. With the proposed secure computation protocol, algorithm evaluation can be performed distributively on honest-but-curious user computers while keeping the algorithm secure. To achieve this, we combine conventional logic locking for untrusted foundries with TFHE to enable secure computation. By encrypting the logic locking key using TFHE, the key is secured with the degree of TFHE. We implemented the proposed secure protocols for combinational logic neural networks and decision trees using LUT-based obfuscation. Regarding the security analysis, we subjected them to the SAT attack and evaluated their resistance based on the execution time. We successfully configured the proposed secure protocol to be resistant to the SAT attack in all machine learning benchmarks. Also, the experimental result shows that the proposed secure computation involved almost no TFHE runtime overhead in a test case with thousands of gates. |
(英) |
This paper proposes the application of logic locking over TFHE to protect both user data and algorithms, such as input user data and models in machine learning inference applications. With the proposed secure computation protocol, algorithm evaluation can be performed distributively on honest-but-curious user computers while keeping the algorithm secure. To achieve this, we combine conventional logic locking for untrusted foundries with TFHE to enable secure computation. By encrypting the logic locking key using TFHE, the key is secured with the degree of TFHE. We implemented the proposed secure protocols for combinational logic neural networks and decision trees using LUT-based obfuscation. Regarding the security analysis, we subjected them to the SAT attack and evaluated their resistance based on the execution time. We successfully configured the proposed secure protocol to be resistant to the SAT attack in all machine learning benchmarks. Also, the experimental result shows that the proposed secure computation involved almost no TFHE runtime overhead in a test case with thousands of gates. |
キーワード |
(和) |
/ / / / / / / |
(英) |
secure computation / logic locking / LUT-based obfuscation / TFHE / / / / |
文献情報 |
信学技報, vol. 123, no. 390, VLD2023-118, pp. 100-100, 2024年2月. |
資料番号 |
VLD2023-118 |
発行日 |
2024-02-21 (VLD, HWS, ICD) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
VLD2023-118 HWS2023-78 ICD2023-107 |
研究会情報 |
研究会 |
VLD HWS ICD |
開催期間 |
2024-02-28 - 2024-03-02 |
開催地(和) |
沖縄県男女共同参画センター【てぃるる】会議室1・2・3 |
開催地(英) |
|
テーマ(和) |
システムオンシリコンを支える設計技術, ハードウェアセキュリティ, 一般 |
テーマ(英) |
|
講演論文情報の詳細 |
申込み研究会 |
VLD |
会議コード |
2024-02-VLD-HWS-ICD |
本文の言語 |
日本語 |
タイトル(和) |
Logic Locking over TFHE for Securing User Data and Algorithms |
サブタイトル(和) |
|
タイトル(英) |
Logic Locking over TFHE for Securing User Data and Algorithms |
サブタイトル(英) |
|
キーワード(1)(和/英) |
/ secure computation |
キーワード(2)(和/英) |
/ logic locking |
キーワード(3)(和/英) |
/ LUT-based obfuscation |
キーワード(4)(和/英) |
/ TFHE |
キーワード(5)(和/英) |
/ |
キーワード(6)(和/英) |
/ |
キーワード(7)(和/英) |
/ |
キーワード(8)(和/英) |
/ |
第1著者 氏名(和/英/ヨミ) |
末光 昂平 / Kohei Suemitsu / スエミツ コウヘイ |
第1著者 所属(和/英) |
京都大学 (略称: 京大)
Kyoto University (略称: Kyoto Univ.) |
第2著者 氏名(和/英/ヨミ) |
松岡 航太郞 / Kotaro Matsuoka / マツオカ コウタロウ |
第2著者 所属(和/英) |
京都大学 (略称: 京大)
Kyoto University (略称: Kyoto Univ.) |
第3著者 氏名(和/英/ヨミ) |
佐藤 高史 / Takashi Sato / サトウ タカシ |
第3著者 所属(和/英) |
京都大学 (略称: 京大)
Kyoto University (略称: Kyoto Univ.) |
第4著者 氏名(和/英/ヨミ) |
橋本 昌宜 / Masanori Hashimoto / ハシモト マサノリ |
第4著者 所属(和/英) |
京都大学 (略称: 京大)
Kyoto University (略称: Kyoto Univ.) |
第5著者 氏名(和/英/ヨミ) |
/ / |
第5著者 所属(和/英) |
(略称: )
(略称: ) |
第6著者 氏名(和/英/ヨミ) |
/ / |
第6著者 所属(和/英) |
(略称: )
(略称: ) |
第7著者 氏名(和/英/ヨミ) |
/ / |
第7著者 所属(和/英) |
(略称: )
(略称: ) |
第8著者 氏名(和/英/ヨミ) |
/ / |
第8著者 所属(和/英) |
(略称: )
(略称: ) |
第9著者 氏名(和/英/ヨミ) |
/ / |
第9著者 所属(和/英) |
(略称: )
(略称: ) |
第10著者 氏名(和/英/ヨミ) |
/ / |
第10著者 所属(和/英) |
(略称: )
(略称: ) |
第11著者 氏名(和/英/ヨミ) |
/ / |
第11著者 所属(和/英) |
(略称: )
(略称: ) |
第12著者 氏名(和/英/ヨミ) |
/ / |
第12著者 所属(和/英) |
(略称: )
(略称: ) |
第13著者 氏名(和/英/ヨミ) |
/ / |
第13著者 所属(和/英) |
(略称: )
(略称: ) |
第14著者 氏名(和/英/ヨミ) |
/ / |
第14著者 所属(和/英) |
(略称: )
(略称: ) |
第15著者 氏名(和/英/ヨミ) |
/ / |
第15著者 所属(和/英) |
(略称: )
(略称: ) |
第16著者 氏名(和/英/ヨミ) |
/ / |
第16著者 所属(和/英) |
(略称: )
(略称: ) |
第17著者 氏名(和/英/ヨミ) |
/ / |
第17著者 所属(和/英) |
(略称: )
(略称: ) |
第18著者 氏名(和/英/ヨミ) |
/ / |
第18著者 所属(和/英) |
(略称: )
(略称: ) |
第19著者 氏名(和/英/ヨミ) |
/ / |
第19著者 所属(和/英) |
(略称: )
(略称: ) |
第20著者 氏名(和/英/ヨミ) |
/ / |
第20著者 所属(和/英) |
(略称: )
(略称: ) |
講演者 |
第1著者 |
発表日時 |
2024-02-29 16:20:00 |
発表時間 |
25分 |
申込先研究会 |
VLD |
資料番号 |
VLD2023-118, HWS2023-78, ICD2023-107 |
巻番号(vol) |
vol.123 |
号番号(no) |
no.390(VLD), no.391(HWS), no.392(ICD) |
ページ範囲 |
p.100 |
ページ数 |
1 |
発行日 |
2024-02-21 (VLD, HWS, ICD) |
|