-
[文献書誌] Eijiro Sumii, Benjamin C.Pierce: "Logical Relations for Encryption"14th IEEE Computer Security Foundations Workshop. 256-269 (2001)
-
[文献書誌] 大岩 寛, 住井 英二郎, 米澤 明憲: "安全性を保証するANSI-C実行系の実装手法"コンピュータソフトウェア. (掲載予定). (2002)
-
[文献書誌] Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa: "A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation"Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001), Lecture Notes in Computer Science. Vol. 2215. 64-81 (2001)
-
[文献書誌] 前田 俊行, 住井 英二郎, 米澤 明憲: "Linux/TAL:型付きアセンブリプログラムのカーネルモード実行方式"第4回プログラミングおよびプログラミング言語ワークショップ(PPL2002). (掲載予定). (2002)
-
[文献書誌] 浜中 信行, 住井 英二郎, 小林 直樹, 米澤 明憲: "Javaバイトコードにおけるオブジェクト使用解析のための型システム"第4回プログラミングおよびプログラミング言語ワークショップ(PPL2002). (掲載予定). (2002)
-
[文献書誌] 関口 龍郎, 大岩 寛, 米澤 明憲: "オブジェクト指向言語によって記述された、携帯電話・PDAのアプリケーションプログラム圧縮方式"コンピュータソフトウェア. 第19巻・第1号. 1-9