Hideki Sakurada

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