Yunde Sun

According to our database, Yunde Sun authored at least 1 paper in 2011.

Collaborative distances:

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

2011

Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols.

Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Hüttel

Proceedings of the Automated Technology for Verification and Analysis, 2011