Login / Signup
Hengyi Ouyang
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Artificial Immune Algorithm
Automated Design
Security Protocols
Top Venues
USENIX Security Symposium
</>
Publications
</>
Yan Xiong
,
Cheng Su
,
Wenchao Huang
,
Fuyou Miao
,
Wansen Wang
,
Hengyi Ouyang
SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies.
USENIX Security Symposium
(2020)