CREST

Toward Efficient Formal Verification of Reference Monitors for Isolated Execution

クラウドコンピューティングの進展により、サンドボックスやTEEなどの隔離実行環境によるセキュリティの強化が重要になっています。しかし、隔離実行環境はOSカーネルやハイパーバイザーなどの信頼されたコンピューティング基盤（TCB）に依存しており、システムソフトウェアの複雑 …

中島諒, 品川高廣