| 2015 | ICFEM | Consistency Verification of Specification Rules. | Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato |
| 2014 | IFM | Code Generation for Event-B. | Andreas Frst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki |
| 2010 | FC | 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 |
| 2009 | MASS | A Study on Read-Write Protection of a Digital Document by Cryptographic Techniques. | Yasuo Hatano, Kunihiko Miyazaki, Toshinobu Kaneko |
| 2008 | CCS | 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 |
| 2006 | CCS | Digitally signed document sanitizing scheme based on bilinear maps. | Kunihiko Miyazaki, Goichiro Hanaoka, Hideki Imai |
| 2001 | ICISC | 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 |