Hideki Sakurada

According to our database, Hideki Sakurada authored at least 24 papers between 2001 and 2024.

Collaborative distances:

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

2024

SoK: Directions and Issues in Formal Verification of Payment Protocols.

Hideki Sakurada, Kouichi Sakurai

Proceedings of the Advanced Information Networking and Applications, 2024

2023

Quality and Quantity Pair as Trust Metric.

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

IEICE Trans. Inf. Syst., February, 2023

Research Directions in Formal Verification of Network Configurations Toward Verification of Mobile Networks.

Hideki Sakurada, Kouichi Sakurai

Proceedings of the Mobile Internet Security - 7th International Conference, 2023

2017

Trust Trust Me (The Additivity).

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

Proceedings of the Trust Management XI - 11th IFIP WG 11.11 International Conference, 2017

2016

Semi-automated verification of security proofs of quantum cryptographic protocols.

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

J. Symb. Comput., 2016

On compositional reasoning about anonymity and privacy in epistemic logic.

Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe

Ann. Math. Artif. Intell., 2016

Analyzing and Fixing the QACCE Security of QUIC.

Hideki Sakurada, Kazuki Yoneyama, Yoshikazu Hanatani, Maki Yoshida

Proceedings of the Security Standardisation Research - Third International Conference, 2016

2013

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), 2013

Automated Verification of Equivalence on Quantum Cryptographic Protocols.

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

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

Computational Soundness of Symbolic Blind Signatures under Active Attacker.

Hideki Sakurada

Proceedings of the Foundations and Practice of Security - 6th International Symposium, 2013

2012

Computationally Sound Verification of the NSL Protocol via Computationally Complete Symbolic Attacker.

Gergei Bana, Pedro Adão, Hideki Sakurada

IACR Cryptol. ePrint Arch., 2012

Computational Soundness of Indistinguishability Properties without Computable Parsing.

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

Proceedings of the Information Security Practice and Experience, 2012

Computationally Complete Symbolic Attacker in Action.

Gergei Bana, Pedro Adão, Hideki Sakurada

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2011

Automatic verification of anonymity of protocols.

Hideki Sakurada

JSIAM Lett., 2011

2010

Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach.

Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe

Trans. Data Priv., 2010

Probabilistic anonymity via coalgebraic simulations.

Ichiro Hasuo, Yoshinobu Kawabe, Hideki Sakurada

Theor. Comput. Sci., 2010

Role Interchange for Anonymity and Privacy of Voting.

Ken Mano, Yoshinobu Kawabe, Hideki Sakurada, Yasuyuki Tsukada

J. Log. Comput., 2010

2009

Computational and Symbolic Anonymity in an Unbounded Network.

Hubert Comon-Lundh, Yusuke Kawamoto, Hideki Sakurada

JSIAM Lett., 2009

Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption.

Yusuke Kawamoto, Hideki Sakurada, Masami Hagiya

Proceedings of the Formal to Practical Security, 2009

2008

An Adversary Model for Simulation-Based Anonymity Proof.

Yoshinobu Kawabe, Hideki Sakurada

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

On Backward-Style Anonymity Verification.

Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

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

2007

Theorem-proving anonymity of infinite-state systems.

Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

Inf. Process. Lett., 2007

A Formal Approach to Designing Anonymous Software.

Yoshinobu Kawabe, Hideki Sakurada

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

2001

A Role-Based Specification of the SET Payment Transaction Protocol.

Hideki Sakurada, Yasuyuki Tsukada

Proceedings of the Advances in Network and Distributed Systems Security, 2001