Type-Based Verification of Correspondence Assertions for Communication Protocols. - Daisuke Kikuchi; Naoki Kobayashi 001 (APLAS, 2007)

Type-Based Automated Verification of Authenticity in Cryptographic Protocols. - Daisuke Kikuchi; Naoki Kobayashi 001 (ESOP, 2009)

A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. - Atsushi Ohori; Katsuhiro Ueno; Tomohiro Sasaki; Daisuke Kikuchi (ECOOP, 2016)