Sho Ishibashi

According to our database, Sho Ishibashi authored at least 2 papers in 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning.

Jingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng

Proceedings of the 2018 IEEE SmartWorld, 2018

Primitive Constituent Elements of Cryptographic Protocols.

Sho Ishibashi, Jingchen Yan, Yuichi Goto, Jingde Cheng

Proceedings of the 2018 IEEE SmartWorld, 2018