Daisuke Kikuchi

According to our database, Daisuke Kikuchi authored at least 3 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects.

Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2009

Type-Based Automated Verification of Authenticity in Cryptographic Protocols.

Daisuke Kikuchi, Naoki Kobayashi

Proceedings of the Programming Languages and Systems, 2009

2007

Type-Based Verification of Correspondence Assertions for Communication Protocols.

Daisuke Kikuchi, Naoki Kobayashi

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007