Hideki Sakurada

发表

Automatic verification of anonymity of protocols

Hideki Sakurada, 2011, JSIAM Lett..

Analyzing and Fixing the QACCE Security of QUIC

Kazuki Yoneyama, Hideki Sakurada, Yoshikazu Hanatani, 2016, SSR.

On compositional reasoning about anonymity and privacy in epistemic logic

Ken Mano, Hideki Sakurada, Yoshifumi Manabe, 2016, Annals of Mathematics and Artificial Intelligence.

A Formal Approach to Designing Anonymous Software

Hideki Sakurada, Yoshinobu Kawabe, 2007, 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007).

A Role-Based Specification of the SET Payment Transaction Protocol

Hideki Sakurada, Yasuyuki Tsukada, Hideki Sakurada, 2001, Network Security.

Computationally Complete Symbolic Attacker in Action

Hideki Sakurada, Gergei Bana, Pedro Adão, 2012, FSTTCS.

On Backward-Style Anonymity Verification

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada, 2008, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

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

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada, 2009, 2009 International Conference on Computational Science and Engineering.

Theorem-proving anonymity of infinite-state systems

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada, 2007, Inf. Process. Lett..

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

Hideki Sakurada, Gergei Bana, Pedro Adão, 2012, IACR Cryptol. ePrint Arch..

Automated Verification of Equivalence on Quantum Cryptographic Protocols

Hideki Sakurada, Yoshihiko Kakutani, Go Kato, 2013, SCSS.

Report on NTT Communications Science Laboratories Open House 2011

Hideki Sakurada, Isamu Motoyoshi, Kaoru Hiramatsu, 2011 .

Computational and Symbolic Anonymity in an Unbounded Network

Hideki Sakurada, Hubert Comon-Lundh, Yusuke Kawamoto, 2009, JSIAM Lett..

Trust Trust Me (The Additivity)

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada, 2017, IFIPTM.

Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration

Claude Kirchner, Véronique Cortier, Hideki Sakurada, 2009, Formal to Practical Security.

An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy pdf

Ken Mano, Hideki Sakurada, Yoshifumi Manabe, 2013, TARK.

Probabilistic anonymity via coalgebraic simulations

Hideki Sakurada, Ichiro Hasuo, Yoshinobu Kawabe, 2010, Theor. Comput. Sci..

Role Interchange for Anonymity and Privacy of Voting

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada, 2010, J. Log. Comput..

Computational Soundness of Indistinguishability Properties without Computable Parsing

Hideki Sakurada, Masami Hagiya, Hubert Comon-Lundh, 2012, ISPEC.

Computational Soundness of Symbolic Blind Signatures under Active Attacker

Hideki Sakurada, 2013, FPS.

Semi-automated verification of security proofs of quantum cryptographic protocols

Hideki Sakurada, Yoshihiko Kakutani, Go Kato, 2016, J. Symb. Comput..

Role Interchangeability and Verification of Electronic Voting

Ken Mano, Hideki Sakurada, Yoshinobu Kawabe, 2006 .

An Adversary Model for Simulation-Based Anonymity Proof

Hideki Sakurada, Yoshinobu Kawabe, 2008, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption

Hideki Sakurada, Masami Hagiya, Yusuke Kawamoto, 2009, Formal to Practical Security.

Computationally Sound Symbolic Anonymity of a Ring Signature

Hideki Sakurada, Masami Hagiya, Yusuke Kawamoto, 2008 .

Application of a Process Calculus to Security Proofs of Quantum Protocols

Hideki Sakurada, Yoshihiko Kakutani, Go Kato, 2012 .