Kunihiko Miyazaki

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 3

Top Topics

Spatial Aggregation

Top Venues

Sci. Comput. Program.

IEEE Secur. Priv.

J. Inf. Process.

Publications

Yuan Li, Pan Zhang, Yang Zhang, Kunihiko Miyazaki
Gait Analysis Using Stereo Camera in Daily Environment. EMBC (2019)
Dai Watanabe, Hisao Sakazaki, Kunihiko Miyazaki
Representative System and Security Message Transmission using Re-encryption Scheme Based on Symmetric-key Cryptography. J. Inf. Process. 25 (2017)
Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki
Large-scale system development using Abstract Data Types and refinement. Sci. Comput. Program. 131 (2016)
David A. Basin, Cas Cremers, Kunihiko Miyazaki, Sasa Radomirovic, Dai Watanabe
Improving the Security of Cryptographic Protocol Standards. IEEE Secur. Priv. 13 (3) (2015)
Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato
Consistency Verification of Specification Rules. ICFEM (2015)
Andreas Fürst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki
Code Generation for Event-B. IFM (2014)
Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki
Formal System Modelling Using Abstract Data Types in Event-B. ABZ (2014)
David A. Basin, Andreas Fürst, Thai Son Hoang, Kunihiko Miyazaki, Naoto Sato
Abstract Data Types in Event-B - An Application of Generic Instantiation CoRR (2012)
Goichiro Hanaoka, Shoichi Hirose, Atsuko Miyaji, Kunihiko Miyazaki, Bagus Santoso, Peng Yang
Sequential Bitwise Sanitizable Signature Schemes. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2011)
Shin'ichiro Matsuo, Kunihiko Miyazaki, Akira Otsuka, David A. Basin
How to Evaluate the Security of Real-Life Cryptographic Protocols? - The Cases of ISO/IEC 29128 and CRYPTREC. Financial Cryptography Workshops (2010)
Yasuo Hatano, Kunihiko Miyazaki, Toshinobu Kaneko
A Study on Multi-Resipient Encryptions for Selective Disclosure. Security and Management (2009)
Yasuo Hatano, Kunihiko Miyazaki, Toshinobu Kaneko
A Study on Read-Write Protection of a Digital Document by Cryptographic Techniques. MASS (2009)
Stuart Haber, Yasuo Hatano, Yoshinori Honda, William G. Horne, Kunihiko Miyazaki, Tomas Sander, Satoru Tezoku, Danfeng Yao
Efficient signature schemes supporting redaction, pseudonymization, and data deidentification. AsiaCCS (2008)
Kunihiko Miyazaki, Goichiro Hanaoka, Hideki Imai
Invisibly Sanitizable Digital Signature Scheme. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2008)
Yasuo Hatano, Kunihiko Miyazaki, Toshinobu Kaneko
Cryptographic Approch for Workflow Systems. II3E (2008)
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff
Verifying a signature architecture: a comparative case study. Formal Aspects Comput. 19 (1) (2007)
Kunihiko Miyazaki, Goichiro Hanaoka, Hideki Imai
Digitally signed document sanitizing scheme based on bilinear maps. AsiaCCS (2006)
Kunihiko Miyazaki, Mitsuru Iwamura, Tsutomu Matsumoto, Ryôichi Sasaki, Hiroshi Yoshiura, Satoru Tezuka, Hideki Imai
Digitally Signed Document Sanitizing Scheme with Disclosure Condition Control. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2005)
David A. Basin, Kunihiko Miyazaki, Kazuo Takaragi
A Formal Analysis of a Digital Signature Architecture. IICIS (2003)
Hiroshi Yoshiura, Kunihiko Miyazaki, Shinji Itoh, Kazuo Takaragi, Ryôichi Sasaki
Legally Authorized and Unauthorized Digital Evidence. Security Protocols Workshop (2002)
Katsuyuki Okeya, Kunihiko Miyazaki, Kouichi Sakurai
A Fast Scalar Multiplication Method with Randomized Projective Coordinates on a Montgomery-Form Elliptic Curve Secure against Side Channel Attacks. ICISC (2001)
Hiroshi Yoshiura, Kunihiko Miyazaki, Shinji Itoh, Kazuo Takaragi, Ryôichi Sasaki
A Multi-OS Approach to Trusted Computer Systems. Security Protocols Workshop (2001)