Hideki Sakurada - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2024

SoK: Directions and Issues in Formal Verification of Payment ProtocolsHideki Sakurada, Kouichi Sakurai. aina 2024: 111-119 [doi]

2023

Quality and Quantity Pair as Trust MetricKen Mano, Hideki Sakurada, Yasuyuki Tsukada. ieicetd, 106(2):181-194, February 2023. [doi]

2017

Trust Trust Me (The Additivity)Ken Mano, Hideki Sakurada, Yasuyuki Tsukada. ifiptm 2017: 135-151 [doi]

2016

2013

Automated Verification of Equivalence on Quantum Cryptographic ProtocolsTakahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada. sycss 2013: 64-69 [doi]

Computational Soundness of Symbolic Blind Signatures under Active AttackerHideki Sakurada. fps 2014: 247-263 [doi]

An Epistemic Approach to Compositional Reasoning about Anonymity and PrivacyYasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe. tark 2013: [doi]

2012

Computationally Complete Symbolic Attacker in ActionGergei Bana, Pedro Adão, Hideki Sakurada. fsttcs 2012: 546-560 [doi]

Computationally Sound Verification of the NSL Protocol via Computationally Complete Symbolic AttackerGergei Bana, Pedro Adão, Hideki Sakurada. iacr, 2012:316, 2012. [doi]

Computational Soundness of Indistinguishability Properties without Computable ParsingHubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, Hideki Sakurada. ispec 2012: 63-79 [doi]

2011

Automatic verification of anonymity of protocolsHideki Sakurada. jsiaml, 3:97-100, 2011. [doi]

2010

Probabilistic anonymity via coalgebraic simulationsIchiro Hasuo, Yoshinobu Kawabe, Hideki Sakurada. TCS, 411(22-24):2239-2259, 2010. [doi]

Role Interchange for Anonymity and Privacy of VotingKen Mano, Yoshinobu Kawabe, Hideki Sakurada, Yasuyuki Tsukada. logcom, 20(6):1251-1288, 2010. [doi]

Anonymity, Privacy, Onymity, and Identity: A Modal Logic ApproachYasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe. tdp, 3(3):177-198, 2010. [doi]

2009

Computational and Symbolic Anonymity in an Unbounded NetworkHubert Comon-Lundh, Yusuke Kawamoto 0001, Hideki Sakurada. jsiaml, 1:28-31, 2009. [doi]

Computationally Sound Formalization of Rerandomizable RCCA Secure EncryptionYusuke Kawamoto, Hideki Sakurada, Masami Hagiya. psec 2009: 158-180 [doi]

Anonymity, Privacy, Onymity, and Identity: A Modal Logic ApproachYasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe. cse 2009: 42-51 [doi]

2008

On Backward-Style Anonymity VerificationYoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada. ieicet, 91-A(9):2597-2606, 2008. [doi]

An Adversary Model for Simulation-Based Anonymity ProofYoshinobu Kawabe, Hideki Sakurada. ieicet, 91-A(4):1112-1120, 2008. [doi]

2007

A Formal Approach to Designing Anonymous SoftwareYoshinobu Kawabe, Hideki Sakurada. sera 2007: 203-212 [doi]

Theorem-proving anonymity of infinite-state systemsYoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada. ipl, 101(1):46-51, 2007. [doi]

2001

A Role-Based Specification of the SET Payment Transaction ProtocolHideki Sakurada, Yasuyuki Tsukada. netsec 2001: 1-15

Sign in or sign up to see more results.

runs on WebDSL