研究室紹介
ニュース
募集
メンバー
ブログ
教育
論文
関連会議
アクセス
ライト
ダーク
自動
日本語
日本語
English
中島 諒
ナカシマ リョウ
OB
システム情報学専攻
東京大学品川研究室
専門
参照モニタの形式検証
学歴
修士課程, 2023年4月〜
東京大学大学院情報理工学系研究科システム情報学専攻
最新
Verifying Reference Monitors via Exhaustive Access Pattern Generation
SMTソルバを用いたアクセスパターンの網羅的生成による参照モニタの容易な形式検証
Toward Efficient Formal Verification of Reference Monitors for Isolated Execution
引用
×