Kunihiko Miyazaki

TL;DR: In this article, an electronic document is divided into constituent elements and an electronic signature is affixed to an arbitrary subset of a set including all the constituent elements, and then the hash values of the respective random-numbered constituent elements are calculated.

TL;DR: A symmetric-key cryptographic technique capable of realizing both high-speed cryptographic processing having a high degree of parallelism, and alteration detection was proposed in this article, where the authors divide plaintext composed of redundancy data and a message to generate plaintext blocks each having a predetermined length.

TL;DR: In this paper, a secure cryptographic device such as an IC card which can endure TA (Timing Attack), DPA (Differential Power Analysis), SPA (Simple Power Analysis) or the like as an attaching method of presuming secret information held therein is presented.

TL;DR: This work presents an approach to generating program code from Event-B models that is correct-by-construction, and provides a simple yet powerful scheduling language that allows one to specify an execution sequence of the model's guarded events where assertions are used to express properties established by the event execution sequence, which are necessary for well-definedness and refinement proofs.

TL;DR: In this paper, the authors present techniques for authenticating that a digitally signed document is genuine, which can be embodied in methods, apparatus, computer software and systems, and can be found in many applications.