Hideki Sakurada

Profile Information

Affiliation: Senior Research Scientist, Supervisor (Project Manager of NTT Institute for Fundamental Mathematics, Group Leader of Computing Theory Research Group), NTT Communication Science Laboratories, Nippon Telephone and Telegraph Corporation

ORCID ID: https://orcid.org/0009-0001-0526-6540
J-GLOBAL ID: 202301001019655177
researchmap Member ID: R000054210

Research Interests

Research Areas

Informatics / Information security / cryptographic protocols

Research History

Oct, 2022 - Present

(Project Manager), Institute for Fundamental Mathematics, Nippon Telegraph and Telepone Corporation
Apr, 2021 - Present

(Group Leader), Computing Theory Research Group, Communication Science Laboratories, Nippon Telegraph and Telepone Corporation
Oct, 2020 - Present

Senior Research Scientist, Supervisor, Communication Science Laboratories, Nippon Telegraph and Telepone Corporation
Jul, 2018 - Sep, 2020

Senior Manager, Research Planning Section, Science and Core Technology Laboratory Group; Human Resources Section, Research and Development Planning Department, Nippon Telegraph and Telepone Corporation
Jul, 2016 - Jun, 2018

Senior Research Scienctist (Manager of oHuman Resources), Research Planning Section, Communication Science Laboratories, Nippon Telegraph and Telepone Corporation
Apr, 1999 - Jun, 2016

Communication Science Laboratories, Nippon Telegraph and Telephone Corporation

Education

Apr, 1997 - Mar, 1999

Department of Information Science, Graduate School of Engineering, Kyoto University
Apr, 1993 - Mar, 1997

Faculty of Science, Kyoto University

Major Committee Memberships

Apr, 2012 - Present

「数理的技法による情報セキュリティ」研究部会 (FAIS) 幹事, 日本応用数理学会
Jun, 2018 - Jun, 2020

理事, 日本応用数理学会
2013 - 2015

会誌編集委員会編集特別幹事, 電子情報通信学会

Awards

Sep, 2008

日本応用数理学会2008年度論文賞（理論部門）, 関数部分知識と匿名性検証, 日本応用数理学会

川本裕輔, 真野健, 櫻田英樹, 萩谷昌己
Oct, 2005

CSS 2005 (Computer Security Symposium 2005) 優秀論文賞, シミュレーション技法によるセキュリティプロトコルの匿名性検証法, 情報処理学会

河辺義信, 真野健, 櫻田英樹, 塚田恭章

Papers

SoK: Directions and Issues in Formal Verification of Payment Protocols

Hideki Sakurada, Kouichi Sakurai

Advanced Information Networking and Applications. AINA 2024. Lecture Notes on Data Engineering and Communications Technologies, vol 202. Springer, Cham., 111-119, Apr 9, 2024 Peer-reviewedLead author
Quality and Quantity Pair as Trust Metric

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

IEICE Transactions on Information and Systems, E106.D(2) 181-194, Feb 1, 2023 Peer-reviewed
Trust Trust Me (The Additivity).

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

Trust Management XI - 11th IFIP WG 11.11 International Conference(IFIPTM), 135-151, May, 2017 Peer-reviewed
Analyzing and Fixing the QACCE Security of QUIC

Hideki Sakurada, Kazuki Yoneyama, Yoshikazu Hanatani, Maki Yoshida

Security Standardisation Research - Third International Conference(SSR), 1-31, Nov, 2016 Peer-reviewedLead author
On compositional reasoning about anonymity and privacy in epistemic logic

Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 78(2) 101-129, Oct, 2016 Peer-reviewed
Semi-automated verification of security proofs of quantum cryptographic protocols

Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada

Journal of Symbolic Computation, 73 192-220, Mar, 2016 Peer-reviewed
Computational Soundness of Symbolic Blind Signatures under Active Attacker.

Hideki Sakurada

Foundations and Practice of Security - 6th International Symposium(FPS), 247-263, Mar, 2014 Peer-reviewedLead author
Automated Verification of Equivalence on Quantum Cryptographic Protocols.

Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada

5th International Symposium on Symbolic Computation in Software Science(SCSS), 64-69, Jun, 2013 Peer-reviewed
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy.

Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013)(TARK), Jan, 2013 Peer-reviewed
Computationally Complete Symbolic Attacker in Action.

Gergei Bana, Pedro Adão, Hideki Sakurada

IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science(FSTTCS), 546-560, Dec, 2012 Peer-reviewed
Application of a Process Calculus to Security Proofs of Quantum Protocols

Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada

The 2012 International Conference on Foundations of Computer Science, Jul, 2012 Peer-reviewed
Computational Soundness of Indistinguishability Properties without Computable Parsing.

Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, Hideki Sakurada

Information Security Practice and Experience - 8th International Conference(ISPEC), 63-79, Apr, 2012 Peer-reviewed
Automatic verification of anonymity of protocols

Sakurada Hideki

JSIAM Letters, 3 97-100, Dec, 2011 Peer-reviewedLead author
Theorem-proving Receipt-freeness of an e-voting Protocol

52(9) 2549-2561, Sep 15, 2011 Peer-reviewed
Role Interchange for Anonymity and Privacy of Voting

Ken Mano, Yoshinobu Kawabe, Hideki Sakurada, Yasuyuki Tsukada

JOURNAL OF LOGIC AND COMPUTATION, 20(6) 1251-1288, Dec, 2010 Peer-reviewed
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach

Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe

TRANSACTIONS ON DATA PRIVACY, 3(3) 177-198, Dec, 2010 Peer-reviewed
Probabilistic anonymity via coalgebraic simulations

Ichiro Hasuo, Yoshinobu Kawabe, Hideki Sakurada

Theoretical Computer Science, 411(22-24) 2239-2259, May, 2010 Peer-reviewed
Computational and Symbolic Anonymity in an Unbounded Network

Hubert Comon-Lundh, Yusuke Kawamoto, Hideki Sakurada

JSIAM Letters, 1 28-31, May, 2009 Peer-reviewed
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach

Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe

2009 International Conference on Computational Science and Engineering, 42-51, 2009 Peer-reviewed
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption

Yusuke Kawamoto, Hideki Sakurada, Masami Hagiya

Formal to Practical Security, 158-180, Jan, 2009 Peer-reviewed

Misc.

特集非線形理論とその応用特集編集にあたって

櫻田英樹

電子情報通信学会誌, 98(11) 945, Nov, 2015
EVENT REPORTS 「NTTコミュニケーション科学基礎研究所オープンハウス2015」開催報告

小林哲生, 櫻田英樹, 藤田早苗

NTT技術ジャーナル / 日本電信電話株式会社編, 27(9) 91-93, Sep, 2015
Editorial Preface(<Special Section>Utilization and Protection of Personal Data)

SAKURADA Hideki

The Journal of the Institute of Electronics, Information, and Communication Engineers, 98(3) 177, Mar 1, 2015
図書紹介: 現代電子情報通信選書「知識の森」ネットワークセキュリティ, 佐々木良一(監修), 電子情報通信学会(編), オーム社, 2014-03, A5判, 定価(本体3,600円+税)

櫻田英樹

電子情報通信学会誌, 97(8) 744, Aug 1, 2014
Security Evaluation of the PLAID Protocol using the ProVerif Tool

Hideki Sakurada

NICT暗号プロトコル評価ポータルサイト, 2013
フォーマルメソッドによるセキュリティ&プライバシ—特集 20周年を迎えたコミュニケーション科学

塚田恭章, 真野健, 櫻田英樹

NTT技術ジャーナル / 日本電信電話株式会社編, 23(9) 22-25, Sep, 2011
匿名性とプライバシ保護の数理的技法—特集コミュニケーション環境の未来に向けた研究最前線

塚田恭章, 真野健, 河辺義信, 櫻田英樹

NTT技術ジャーナル / 日本電信電話株式会社編, 19(6) 38-40, Jun, 2007
Formalization and Automation of Security Proof by Sequences of Games(<Special Topics> Formal Approach to Information Security)

Mano Ken, Sakurada Hideki, Kawabe Yoshinobu, Tsukada Yasuyuki

Bulletin of the Japan Society for Industrial and Applied Mathematics, 17(4) 302-310, 2007
電子商取引プロトコルの安全性の論理的検証—特集論文1 情報科学研究の最前線--より安全で快適な情報処理技術を目指して ; 安心して暮らせるネットワーク社会のために

櫻田英樹

NTT R & D / NTT先端技術総合研究所企画編集, 51(10) 772-777, Oct, 2002

Books and Other Publications

応用数理ハンドブック

薩摩, 順吉, 大石, 進一, 杉原, 正顕, 日本応用数理学会

朝倉書店, Oct, 2013 (ISBN: 9784254111415)
数理的技法による情報セキュリティ

萩谷, 昌己, 塚田, 恭章, 日本応用数理学会 (Role: Contributor, 「第8章マッピング補題－計算論的トレースから記号論的トレースへ」（櫻田英樹、萩谷昌己）pp.65-86、および「第4章ゲーム列による安全性証明の基礎」（真野健、櫻田英樹、河辺義信、塚田恭章）pp.151-184)

共立出版, Jul, 2010 (ISBN: 9784320019508)
ITセキュリティエンジニアリング

片方, 善治

フジ・テクノシステム, Jul, 2004 (ISBN: 4938555948)

Presentations

Research Directions in Formal Verification of Transport Layer Security Protocols

Hideki Sakurada, Kouichi Sakurai

Mar 15, 2024
Directions and Issues in Formal Verification of Payment Protocols

Hideki Sakurada, Kouichi Sakurai

2024 Symposium on Cryptography and Information Security, Jan 23, 2024
Research Directions in Formal Verification of Network Configurations toward Verification of Mobile Networks

Hideki Sakurada, Kouichi Sakurai

The 7th International Confenrence on Mobile Internet Security, Dec 21, 2023
Research Directions and Issues in Formal Verification of Network Configuration

Hideki Sakurada, Kouichi Sakurai

Computer Security Symposium 2023, Oct 31, 2023
Many-Valued Extention of Trust Using Pair of Quality and Quantity

Oct 4, 2016
Formal Verification of TLS 1.3 Handshake Protocol Using ProVerif

Oct 14, 2015
Formulation of Trust Using Pair of Quality and Quantity

Oct 14, 2015
ProVerifによるTLS1.3ハンドシェイクプロトコルの形式検証（その2）

荒井研一, 徳重佑樹, 櫻田英樹

コンピュータセキュリティシンポジウム2015, 2015
形式検証に向けたQUICの安全性定義の検討

櫻田英樹, 米山一樹, 吉田真紀, 花谷嘉一

日本応用数理学会2015年度年会, 2015
チュートリアル：暗号プロトコル評価ツールの紹介

櫻田英樹, 渡辺大

CELLOSシンポジウム2015, 2015
Tamarin Proverによる投票プロトコルの安全性検証

櫻田英樹

日本応用数理学会2015年研究部会連合発表会, 2015
UCコミットメントの形式検証による厳密な仮定の導出に向けて

吉田真紀, 櫻田英樹, 米山一樹, 花谷嘉一

暗号理論ワークショップ2015, 2015
Toward Exact Assumptions for UC Commitments with Automated Verification

櫻田英樹, 米山一樹, 花谷嘉一, 吉田真紀

2015年暗号と情報セキュリティシンポジウム（SCIS2015）, 2015
チュートリアル：ProVerifによる結合可能安全性の形式検証

櫻田英樹

日本応用数理学会2014年会, 「数理的技法による情報セキュリティ」オーガナイズドセッション, 2014
A Tool for Formal Verification of Equivalence on Quantum Cryptographic Protocols

Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada

2013
暗号プロトコルに関する評価実証実験

渡辺大, 太田陽基, 櫻田英樹

日本応用数理学会2013年会「数理的技法による情報セキュリティ」オーガナイズドセッション, 2013
暗号プロトコルに関する評価実証実験結果

櫻田英樹

TTCセミナー「暗号プロトコル評価と標準化動向」, 2013
量子暗号のためのプロトコル等価性検証ツール

久保田貴大, 角谷良彦, 加藤豪, 河野泰人, 櫻田英樹

日本応用数理学会2013年春の研究部会連合発表会, 2013
Automated Proof of Equivalence on Quantum Cryptographic Protocols

Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada

第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013）, 2013
計算論的に完全な記号的攻撃者とセキュリティ・プロトコルの計算論的に健全な検証

バナ・ゲルゲイ, ウベール・コモン-ルンド, 櫻田英樹

２０１３年暗号と情報セキュリティシンポジウム, 2013

Profile Information

Research Interests

Research Areas

Research History

Education

Major Committee Memberships

Awards

Papers

Misc.

Books and Other Publications

Presentations

Menu

Coauthors