BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kikuchi:Daisuke

Contributed to:

ESOP 20092009
ECOOP 20162016

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.