| Presentation | 2023-11-16 Formal Verification of an Edge Computing Platform based on Modular Architecture using Intel SGX Yuma Nishihira, Hayato Kimura, Toshihiro Ohigashi, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | The proliferation of IoT devices requires an edge computing infrastructure that can process large amounts of data in a flexible and efficient manner. Edge nodes are not always reliable, and there is a possibility that data can be intentionally leaked by edge node administrators. In the ICSS workshop held in March 2023, the authors proposed a modular edge computing infrastructure that uses Intel SGX and multi-authority attribute-based encryption to prevent eavesdropping on data processed on edge nodes and enables processing according to data characteristics. In this paper, we formally describe the modular edge computing infrastructure with Intel SGX using ProVerif and verify its security. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Intel SGX / Trusted Execution Environment / Remote Attestation / Edge Computing / Ciphertext-Policy Attribute Based Encryption / Multi-Authority / ProVerif |
| Paper # | ICSS2023-54 |
| Date of Issue | 2023-11-09 (ICSS) |
| Conference Information | |
| Committee | ICSS |
|---|---|
| Conference Date | 2023/11/16(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | IT Business Plaza Musashi and Online |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | Security, etc. |
| Chair | Daisuke Inoue(NICT) |
| Vice Chair | Akira Yamada(Kobe Univ.) / Toshihiro Yamauchi(Okayama Univ.) |
| Secretary | Akira Yamada(Mitsubishi Electric) / Toshihiro Yamauchi(Univ. of Electro-Comm.) |
| Assistant | Yo Kanemoto(NTT) / Masaya Sato(Okayama Prefectural Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Information and Communication System Security |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Formal Verification of an Edge Computing Platform based on Modular Architecture using Intel SGX |
| Sub Title (in English) | |
| Keyword(1) | Intel SGX |
| Keyword(2) | Trusted Execution Environment |
| Keyword(3) | Remote Attestation |
| Keyword(4) | Edge Computing |
| Keyword(5) | Ciphertext-Policy Attribute Based Encryption |
| Keyword(6) | Multi-Authority |
| Keyword(7) | ProVerif |
| 1st Author's Name | Yuma Nishihira |
| 1st Author's Affiliation | Tokai University(Tokai Univ.) |
| 2nd Author's Name | Hayato Kimura |
| 2nd Author's Affiliation | University of Hyogo(Univ. of Hyogo) |
| 3rd Author's Name | Toshihiro Ohigashi |
| 3rd Author's Affiliation | Tokai University(Tokai Univ.) |
| Date | 2023-11-16 |
| Paper # | ICSS2023-54 |
| Volume (vol) | vol.123 |
| Number (no) | ICSS-269 |
| Page | pp.pp.22-29(ICSS), |
| #Pages | 8 |
| Date of Issue | 2023-11-09 (ICSS) |