Di Long Li

According to our database, Di Long Li authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Combining ProVerif and Automated Theorem Provers for Security Protocol Verification.

Di Long Li, Alwen Tiu

Proceedings of the Automated Deduction - CADE 27, 2019