TEEを用いたセキュアかつ高性能なデータベースシステムの開発
クリエータ：福山 将英（慶應義塾大学環境情報学部環境情報学科）
担当PM：竹迫 良範（株式会社リクルート データプロダクトユニット ユニット長）
クラウド使いまくってますtakesako.iconsowawa.iconkunihirotanaka.icon
運用者が信頼できるかどうか。派遣社員・業務委託の人のUSBメモリ持ち出しtakesako.icon
退職者がバックドアを仕掛けていた事例もありましたねtakesako.icon
謎のAPIに満ちたSGXochyai.icon
「開発者に全く優しくない仕様設計」ochyai.icon
需要は発明の母，開発者に優しくない仕様設計は未踏の父ochyai.icon 😆 sowawa.iconshiba.icon
ブタメン オチャ w w w w w ochyai.icon (^Д^)ﾌﾟｷﾞｬｰsowawa.icon
buta_ramen otya ikuraochyai.icon
・96トランザクション→ 3.4 m tps
「邪知暴虐」ochyai.icon
いい四字熟語を挿入してくるochyai.iconshiba.icon
サービス・プロバイダを全く信用してないんですね。akfujii.icon
秘密計算を実現する手法としての導入の方がわかりやすくないかしら。akfujii.icon
Intel SGXきましたね。akfujii.icon
未踏OB 櫻井さんは聴講してるんだろうか shudo.icon
おそらく:) akfujii.icon
櫻井さん、いまここです。
Intel SGXも、昔に比べるとキャパシティが桁違いに大きくなってますね。
512 GB までいけるとは
八合目には櫻井君は参加していました．（ぬえ）
謝辞に現れるochyai.icon
アリババクラウドさんは、SGXでクラウアント側で秘匿する使い方を推奨して、ChinaRiskを回避できるような宣伝をされていましたねkunihirotanaka.icon すごsowawa.icon っwochyai.icon
中華クラウドの生命線ですね :) akfujii.icon
まさしくkunihirotanaka.icon
intelのSGXの偽物とかは疑わなくて大丈夫なのかなsowawa.icon
想像だけど、Intelの秘密鍵が漏洩しない限りは大丈夫で、漏れた場合は何かしらの方法でrevokeできるようにしてあるんじゃないかと。shudo.icon
CASSAの応用例、重要ですね。akfujii.icon
DNAとか医療情報とかはよいユースケースかもしれませんね。akfujii.icon
サラッと進んでいったけど、永続化とかファイナリティとかってどうやってるのか気になる。あとはHA構成したり、冗長化する部分とか。sowawa.icon
準同型暗号の人「TEEはベンダを信用する必要がある」
TEEの人「準同型暗号は遅い」ainozaki.iconakfujii.icon
1msで終わる処理が、10^9倍だと11日ぐらいかかりますねshiba.icon
最近だと準同型暗号は10^{4-5}倍くらいです（それでも遅いですが..) ainozaki.icon
2023.8 2023年並列／分散／協調処理に関するサマー・ワークショップ（SWoPP 2023）にて下記メンバーによる発表が行われました。福山将英君：ポスター発表（SGXを用いた耐タンパ性を有するSiloの設計）
2023.6 福山将英君が2023年度の未踏IT人材発掘・育成事業に採択 (TEEを用いたセキュアかつ高性能なデータベースシステムの開発) されました。
2023.5 福山将英君がイタリア・ローマで開催のEuroSys'23にてポスター発表（Design of Secure Silo with SGX）を行いました。
2023.4.20 SFCニュース 荻原湧志君と福山将英君 が第158回情報処理学会システムソフトウェアとオペレーティングシステム研究会 (IPSJ SIGOS)にてそれぞれ「優秀若手発表賞」を受賞しました。
査読あり論文は準備中かしら。shudo.icon
櫻井さん、現場に来てますね。なぜ質問しなかった。akfujii.icon
準同型暗号組とTEE組で、現場会場で盛り上がってます。akfujii.icon +1shudo.icon