Kazuo Takaragi

According to our database, Kazuo Takaragi authored at least 17 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Secure Revocation Features in eKYC - Privacy Protection in Central Bank Digital Currency.

Kazuo Takaragi, Takashi Kubota, Sven Wohlgemuth, Katsuyuki Umezawa, Hiroki Koyanagi

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., March, 2023

Evaluation of Applying LDA to Redacted Documents in Security and Safety Analysis.

Katsuyuki Umezawa, Sven Wohlgemuth, Keisuke Hasegawa, Kazuo Takaragi

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

2022

Safety and Security Analysis using LDA based on Case Reports: Case Study and Trust Evaluation Method.

Katsuyuki Umezawa, Hiroki Koyanagi, Sven Wohlgemuth, Yusuke Mishina, Kazuo Takaragi

Proceedings of the ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23, 2022

2019

Competitive Compliance with Blockchain.

Sven Wohlgemuth, Katsuyuki Umezawa, Yusuke Mishina, Kazuo Takaragi

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019

2018

Privacy-Enhancing Trust Infrastructure for Process Mining.

Sven Wohlgemuth, Kazuo Takaragi

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018

2010

Foreword.

Kazuo Takaragi

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010

2007

Verifying a signature architecture: a comparative case study.

David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff

Formal Aspects Comput., 2007

2006

Generalized Powering Functions and Their Application to Digital Signatures.

Hisayoshi Sato, Tsuyoshi Takagi, Satoru Tezuka, Kazuo Takaragi

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

2005

Verification of a Signature Architecture with HOL-Z.

David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff

Proceedings of the FM 2005: Formal Methods, 2005

2004

A New Keystream Generator MUGI.

Dai Watanabe, Soichi Furuya, Hirotaka Yoshida, Kazuo Takaragi, Bart Preneel

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2004

2003

A Formal Analysis of a Digital Signature Architecture.

David A. Basin, Kunihiko Miyazaki, Kazuo Takaragi

Proceedings of the Integrity and Internal Control in Information Systems VI, 2003

2002

Integrity-Aware Mode of Stream Cipher.

Soichi Furuya, Dai Watanabe, Yoichi Seto, Kazuo Takaragi

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

Legally Authorized and Unauthorized Digital Evidence.

Hiroshi Yoshiura, Kunihiko Miyazaki, Shinji Itoh, Kazuo Takaragi, Ryôichi Sasaki

Proceedings of the Security Protocols, 2002

2001

An Ultra Small Individual Recognition Security Chip.

Kazuo Takaragi, Mitsuo Usami, Ryo Imura, Rei Itsuki, Tsuneo Satoh

IEEE Micro, 2001

A Multi-OS Approach to Trusted Computer Systems.

Hiroshi Yoshiura, Kunihiko Miyazaki, Shinji Itoh, Kazuo Takaragi, Ryôichi Sasaki

Proceedings of the Security Protocols, 2001

1998

Secure Fingerprinting Using Public-Key Cryptography (Position Paper).

Hiroshi Yoshiura, Ryôichi Sasaki, Kazuo Takaragi

Proceedings of the Security Protocols, 1998

1990

A Method for Rapid RSA Key Generation.

Yasuko Gotoh, Kazuo Takaragi, Ryôichi Sasaki

Syst. Comput. Jpn., 1990