Kunihiko Miyazaki

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