-
[文献書誌] 大岩寛, 住井英二郎, 米澤明憲: "安全性を保証するANSI-C実行系の実装手法"コンピュータソフトウェア. 19巻3号. 39-44 (2002)
-
[文献書誌] Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa: "Regular Expression Types for Strings in a Text Processing Language"Electronic Notes in Theoretical Computer Science, (Proceedings of Workshop on Types in Programming). (to appear).
-
[文献書誌] Reynald Affeldt, Naoki Kobayashi: "Formalization and Verification of a Mail Server in Coq"Lecture Notes in Computer Science, (Hot Topics : Software Security -Theories and Systems). 2609(to appear). (2003)
-
[文献書誌] Yutaka Oiwa, Tatsuro Sekiguchi, Eijiro Sumii, Akinori Yonezawa: "Fail-Safe ANSI-C Compiler : An Approach to Making C Programs Secure (Progress Report)"Lecture Notes in Computer Science, (Hot Topics : Software Security -Theories and Systems). 2609(to appear). (2003)
-
[文献書誌] 田渕 直, 住井 英二郎, 米澤 明憲: "テキスト処理言語における文字列のための正規表現型"情報処理学会論文誌:プログラミング. (採録決定).
-
[文献書誌] Eijiro Sumii, Benjamin C.Pierce: "Logical Relations for Encryption"Journal of Computer Security. (to appear).