| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Daisuke Kikuchi, Naoki Kobayashi: Type-Based Automated Verification of Authenticity in Cryptographic Protocols. ESOP 2009: 222-236 |
| 2007 | ||
| 1 | EE | Daisuke Kikuchi, Naoki Kobayashi: Type-Based Verification of Correspondence Assertions for Communication Protocols. APLAS 2007: 191-205 |
| 1 | Naoki Kobayashi | [1] [2] |