Login / Signup
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
Published in:
USENIX Security Symposium (2020)
Keyphrases
</>
security protocols
automated design
dynamic environments
security properties
operating system
security mechanisms
artificial immune algorithm
secure communication