| 講演名 | 2021-06-21 An initial evaluation between C language and PRSafe for developing eBPF programs マハデヴァン サイ ヴィーリャ(阪大), 高野 祐輝(阪大), 宮地 充子(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | |
| 抄録(英) | The eBPF ( Berkeley Packet Filter) in the Linux OS is a virtual machine for running user-space programs written in C language, inside the Linux kernel. However, in order for these C programs to run inside the Linux kernel, they need to be Non-Turing complete and successfully pass the safety checks of the eBPF verifier module inside eBPF. As C is a Turing-complete language, this puts the onus on developers to design a C program with restricted, Non-Turing complete functionality. In order to reduce the burden on developers, we had earlier created PRSafe. In this paper, we follow up with an initial evaluation between programs written for eBPF in C and PRSafe using some qualitative factors, i.e. 1) error-information returned by the respective language compiler 2) syntax related errors 3) ease-of installation and usage. We also attempt to extend this study using an evaluation with an alternate verifier, i.e. PREVAIL, a Polynomial-Runtime EBPF Verifier that uses an Abstract Interpretation Layer. |
| キーワード(和) | |
| キーワード(英) | programming languageeBPFLLVMC languageverifier |
| 資料番号 | IA2021-3,ICSS2021-3 |
| 発行日 | 2021-06-14 (IA, ICSS) |
| 研究会情報 | |
| 研究会 | IA / ICSS |
|---|---|
| 開催期間 | 2021/6/21(から2日開催) |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | インターネットセキュリティ、一般 |
| テーマ（英） | Internet Security, etc. |
| 委員長氏名（和） | 義久 智樹(阪大) / 吉岡 克成(横浜国大) |
| 委員長氏名（英） | Tomoki Yoshihisa(Osaka Univ.) / Katsunari Yoshioka(Yokohama National Univ.) |
| 副委員長氏名（和） | 近堂 徹(広島大) / 屏 雄一郎(KDDI総合研究所) / 山本 寛(立命館大) / 神谷 和憲(NTT) / 笠間 貴弘(NICT) |
| 副委員長氏名（英） | Toru Kondo(Hiroshima Univ.) / Yuichiro Hei(KDDI Research) / Hiroshi Yamamoto(Ritsumeikan Univ.) / Kazunori Kamiya(NTT) / Takahiro Kasama(NICT) |
| 幹事氏名（和） | 大平 健司(阪大) / 坂野 遼平(工学院大) / 渡辺 俊貴(NEC) / 山田 明(KDDI labs.) / 木藤 圭亮(三菱電機) |
| 幹事氏名（英） | Kenji Ohira(Osaka Univ.) / Ryohei Banno(Kogakuin Univ.) / Toshiki Watanabe(NEC) / Akira Yamada(KDDI labs.) / Keisuke Kito(Mitsubishi Electric) |
| 幹事補佐氏名（和） | 小谷 大祐(京大) / 中村 遼(福岡大) / 野林 大起(九工大) / 山内 利宏(岡山大) / 菅原 健(電通大) |
| 幹事補佐氏名（英） | Daisuke Kotani(Kyoto Univ.) / Ryo Nakamura(Fukuoka Univ.) / Daiki Nobayashi(Kyushu Inst. of Tech.) / Toshihiro Yamauchi(Okayama Univ.) / Takeshi Sugawara(Univ. of Electro-Communications) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Internet Architecture / Technical Committee on Information and Communication System Security |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | |
| サブタイトル（和） | |
| タイトル（英） | An initial evaluation between C language and PRSafe for developing eBPF programs |
| サブタイトル（和） | |
| キーワード(1)（和/英） | / programming languageeBPFLLVMC languageverifier |
| 第 1 著者 氏名（和/英） | マハデヴァン サイ ヴィーリャ / Mahadevan Sai Veerya |
| 第 1 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Handai) |
| 第 2 著者 氏名（和/英） | 高野 祐輝 / Takano Yuuki |
| 第 2 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Handai) |
| 第 3 著者 氏名（和/英） | 宮地 充子 / Miyaji Atsuko |
| 第 3 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Handai) |
| 発表年月日 | 2021-06-21 |
| 資料番号 | IA2021-3,ICSS2021-3 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | IA-68,ICSS-69 |
| ページ範囲 | pp.14-19(IA), pp.14-19(ICSS), |
| ページ数 | 6 |
| 発行日 | 2021-06-14 (IA, ICSS) |