A Fast Scalar Multiplication Method with Randomized Projective Coordinates on a Montgomery-Form Elliptic Curve Secure against Side Channel Attacks. - Katsuyuki Okeya; Kunihiko Miyazaki; Kouichi Sakurai (ICISC, 2001)

A Multi-OS Approach to Trusted Computer Systems. - Hiroshi Yoshiura; Kunihiko Miyazaki; Shinji Itoh; Kazuo Takaragi; Ryôichi Sasaki (Security Protocols Workshop, 2001)

Legally Authorized and Unauthorized Digital Evidence. - Hiroshi Yoshiura; Kunihiko Miyazaki; Shinji Itoh; Kazuo Takaragi; Ryôichi Sasaki (Security Protocols Workshop, 2002)

A Formal Analysis of a Digital Signature Architecture. - David A. Basin; Kunihiko Miyazaki; Kazuo Takaragi (IICIS, 2003)

Digitally Signed Document Sanitizing Scheme with Disclosure Condition Control. - Kunihiko Miyazaki; Mitsuru Iwamura; Tsutomu Matsumoto; Ryôichi Sasaki; Hiroshi Yoshiura; Satoru Tezuka; Hideki Imai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Digitally signed document sanitizing scheme based on bilinear maps. - Kunihiko Miyazaki; Goichiro Hanaoka; Hideki Imai (AsiaCCS, 2006)

Verifying a signature architecture: a comparative case study. - David A. Basin; Hironobu Kuruma; Kunihiko Miyazaki; Kazuo Takaragi; Burkhart Wolff (Formal Aspects Comput., 2007)

Efficient signature schemes supporting redaction, pseudonymization, and data deidentification. - Stuart Haber; Yasuo Hatano; Yoshinori Honda; William G. Horne; Kunihiko Miyazaki; Tomas Sander; Satoru Tezoku; Danfeng Yao (AsiaCCS, 2008)

Cryptographic Approch for Workflow Systems. - Yasuo Hatano; Kunihiko Miyazaki; Toshinobu Kaneko (II3E, 2008)

Invisibly Sanitizable Digital Signature Scheme. - Kunihiko Miyazaki; Goichiro Hanaoka; Hideki Imai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

A Study on Multi-Resipient Encryptions for Selective Disclosure. - Yasuo Hatano; Kunihiko Miyazaki; Toshinobu Kaneko (Security and Management, 2009)

A Study on Read-Write Protection of a Digital Document by Cryptographic Techniques. - Yasuo Hatano; Kunihiko Miyazaki; Toshinobu Kaneko (MASS, 2009)

How to Evaluate the Security of Real-Life Cryptographic Protocols? - The Cases of ISO/IEC 29128 and CRYPTREC. - Shin'ichiro Matsuo; Kunihiko Miyazaki; Akira Otsuka; David A. Basin (Financial Cryptography Workshops, 2010)

Sequential Bitwise Sanitizable Signature Schemes. - Goichiro Hanaoka; Shoichi Hirose; Atsuko Miyaji; Kunihiko Miyazaki; Bagus Santoso; Peng Yang 002 (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011)

Abstract Data Types in Event-B - An Application of Generic Instantiation - David A. Basin; Andreas Fürst; Thai Son Hoang; Kunihiko Miyazaki; Naoto Sato (CoRR, 2012)

Formal System Modelling Using Abstract Data Types in Event-B. - Andreas Fürst; Thai Son Hoang; David A. Basin; Naoto Sato; Kunihiko Miyazaki (ABZ, 2014)

Code Generation for Event-B. - Andreas Fürst; Thai Son Hoang; David A. Basin; Krishnaji Desai; Naoto Sato; Kunihiko Miyazaki (IFM, 2014)

Consistency Verification of Specification Rules. - Thai Son Hoang; Shinji Itoh; Kyohei Oyama; Kunihiko Miyazaki; Hironobu Kuruma; Naoto Sato (ICFEM, 2015)

Improving the Security of Cryptographic Protocol Standards. - David A. Basin; Cas Cremers; Kunihiko Miyazaki; Sasa Radomirovic; Dai Watanabe (IEEE Secur. Priv., 2015)

Large-scale system development using Abstract Data Types and refinement. - Andreas Fürst; Thai Son Hoang; David A. Basin; Naoto Sato; Kunihiko Miyazaki (Sci. Comput. Program., 2016)

Representative System and Security Message Transmission using Re-encryption Scheme Based on Symmetric-key Cryptography. - Dai Watanabe; Hisao Sakazaki; Kunihiko Miyazaki (J. Inf. Process., 2017)

Gait Analysis Using Stereo Camera in Daily Environment. - Yuan Li; Pan Zhang; Yang Zhang; Kunihiko Miyazaki (EMBC, 2019)