紹介
ニュース
ブログ
メンバー
研究
教育
研究発表
国際会議
場所
ライト
ダーク
自動
日本語
日本語
English
白石 桃子
シライシ モモコ
博士4年
システム情報学専攻
東京大学品川研究室
専門
C2Rust, FIDO認証
学歴
博士課程, 2022年10月〜
東京大学大学院情報理工学系研究科システム情報学専攻
最新
SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
Hardware Authenticator Binding: A Secure Alternative to Passkeys
🧑💻🔍 (終了)Fuzzing クラッシュ解析アルバイト募集
Toward LLM-based Large-scale C-to-Rust Code Translation
引用
×