HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations
seminar @ Tencent Meeting, Tsinghua University, Beijing
Presenters: Mingming Zhang .
Date:
Abstract:
利用自动机的方式自动化地分析SSL implementation中关于hostname验证逻辑问题
Paper Slides