Hideki Sakurada

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 7

Top Topics

Formal Verification

Epistemic Logic

Top Venues

IEICE Trans. Inf. Syst.

Ann. Math. Artif. Intell.

Publications

Hideki Sakurada, Kouichi Sakurai
SoK: Directions and Issues in Formal Verification of Payment Protocols. AINA (4) (2024)
Hideki Sakurada, Kouichi Sakurai
Research Directions in Formal Verification of Network Configurations Toward Verification of Mobile Networks. MobiSec (2023)
Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
Quality and Quantity Pair as Trust Metric. IEICE Trans. Inf. Syst. 106 (2) (2023)
Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
Trust Trust Me (The Additivity). IFIPTM (2017)
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe
On compositional reasoning about anonymity and privacy in epistemic logic. Ann. Math. Artif. Intell. 78 (2) (2016)
Hideki Sakurada, Kazuki Yoneyama, Yoshikazu Hanatani, Maki Yoshida
Analyzing and Fixing the QACCE Security of QUIC. SSR (2016)
Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada
Semi-automated verification of security proofs of quantum cryptographic protocols. J. Symb. Comput. 73 (2016)
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy. CoRR (2013)
Hideki Sakurada
Computational Soundness of Symbolic Blind Signatures under Active Attacker. FPS (2013)
Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada
Automated Verification of Equivalence on Quantum Cryptographic Protocols. SCSS (2013)
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy. TARK (2013)
Gergei Bana, Pedro Adão, Hideki Sakurada
Computationally Sound Verification of the NSL Protocol via Computationally Complete Symbolic Attacker. IACR Cryptol. ePrint Arch. 2012 (2012)
Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, Hideki Sakurada
Computational Soundness of Indistinguishability Properties without Computable Parsing. ISPEC (2012)
Gergei Bana, Pedro Adão, Hideki Sakurada
Computationally Complete Symbolic Attacker in Action. FSTTCS (2012)
Hideki Sakurada
Automatic verification of anonymity of protocols. JSIAM Lett. 3 (2011)
Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach. Trans. Data Priv. 3 (3) (2010)
Ken Mano, Yoshinobu Kawabe, Hideki Sakurada, Yasuyuki Tsukada
Role Interchange for Anonymity and Privacy of Voting. J. Log. Comput. 20 (6) (2010)
Ichiro Hasuo, Yoshinobu Kawabe, Hideki Sakurada
Probabilistic anonymity via coalgebraic simulations. Theor. Comput. Sci. 411 (22-24) (2010)
Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach. CSE (3) (2009)
Yusuke Kawamoto, Hideki Sakurada, Masami Hagiya
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption. Formal to Practical Security (2009)
Hubert Comon-Lundh, Yusuke Kawamoto, Hideki Sakurada
Computational and Symbolic Anonymity in an Unbounded Network. JSIAM Lett. 1 (2009)
Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
On Backward-Style Anonymity Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2008)
Yoshinobu Kawabe, Hideki Sakurada
An Adversary Model for Simulation-Based Anonymity Proof. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (4) (2008)
Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
Theorem-proving anonymity of infinite-state systems. Inf. Process. Lett. 101 (1) (2007)
Yoshinobu Kawabe, Hideki Sakurada
A Formal Approach to Designing Anonymous Software. SERA (2007)
Hideki Sakurada, Yasuyuki Tsukada
A Role-Based Specification of the SET Payment Transaction Protocol. Network Security (2001)