中国科学技术大学 huangwenchao--Home-- SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies

黄文超

Associate professor

Supervisor of Doctorate Candidates

Supervisor of Master's Candidates

E-Mail:

Click:Times

The Last Update Time: ..

Current position: Home >> Scientific Research >> Paper Publications

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

Hits:

Journal:Usenix Security Symposium

Co-author:Cheng Su,Fuyou Miao,Wansen Wang,Hengyi Ouyang

First Author:Yan Xiong

Correspondence Author:Wenchao Huang

Translation or Not:no

Date of Publication:2020-09-01

Pre One:AppAngio: Revealing Contextual Information of Android App Behaviors by API-Level Audit Logs

Next One:AccountTrade: Accountability Against Dishonest Big Data Buyers and Sellers