Travelled to:
1 × United Kingdom
Collaborated with:
N.Kobayashi A.Ohori K.Ueno Tomohiro Sasaki
Talks about:
type (2) cryptograph (1) protocol (1) calculus (1) partial (1) manipul (1) authent (1) record (1) object (1) verif (1)
Person: Daisuke Kikuchi
DBLP: Kikuchi:Daisuke
Contributed to:
Wrote 2 papers:
- ESOP-2009-KikuchiK #authentication #automation #encryption #protocol #type system #verification
- Type-Based Automated Verification of Authenticity in Cryptographic Protocols (DK, NK), pp. 222–236.
- ECOOP-2016-OhoriUSK #calculus
- A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects (AO, KU, TS, DK), p. 25.