Hideki Sakurada
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2007–2024
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AINA | SoK: Directions and Issues in Formal Verification of Payment Protocols. | Hideki Sakurada, Kouichi Sakurai |
| 2013 | TARK | An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy. | Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe |
| 2012 | ISPEC | Computational Soundness of Indistinguishability Properties without Computable Parsing. | Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, Hideki Sakurada |
| 2007 | SERA | A Formal Approach to Designing Anonymous Software. | Yoshinobu Kawabe, Hideki Sakurada |