Hengyi Ouyang

According to our database, Hengyi Ouyang authored at least 1 paper in 2020.

Collaborative distances:

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

2020

SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies.

Yan Xiong, Cheng Su, Wenchao Huang, Fuyou Miao, Wansen Wang, Hengyi Ouyang

Proceedings of the 29th USENIX Security Symposium, 2020