Kazunori Wagatsuma

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 3

Top Topics

Data Manipulation Language

Secure Communication

Cryptographic Protocols

Logical Formulas

Top Venues

Publications

Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng
A Supporting Environment for Formal Analysis of Cryptographic Protocols. MUE/FutureTech (2017)
Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng
A Formal Analysis Method with Reasoning for Cryptographic Protocols. CIS (2016)
Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng
A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. ACIIDS (1) (2015)
Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng
Development of a supporting tool for translation between declarative sentences and logical formulas. ICMLC (2013)
Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng
Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol. ICMLC (2012)