サイエンスとしてのセキュリティ

認証基盤に関する研究、検証付き最適化コンパイラの研究、 分散環境における計算環境の研究などを行っています。