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