Login / Signup
Sho Ishibashi
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 2
Top Topics
Coarse Grained
Locally Decodable Codes
Formal Analysis
Cryptographic Protocols
Top Venues
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
</>
Publications
</>
Sho Ishibashi
,
Jingchen Yan
,
Yuichi Goto
,
Jingde Cheng
Primitive Constituent Elements of Cryptographic Protocols.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
(2018)
Jingchen Yan
,
Sho Ishibashi
,
Yuichi Goto
,
Jingde Cheng
A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
(2018)