Login / Signup
HVLearn: Automated Black-Box Analysis of Hostname Verification in SSL/TLS Implementations.
Suphannee Sivakorn
George Argyros
Kexin Pei
Angelos D. Keromytis
Suman Jana
Published in:
IEEE Symposium on Security and Privacy (2017)
Keyphrases
</>
black box
black boxes
neural network
integration testing
rule extraction
test cases
monitoring system
statistical analysis
formal analysis
semi supervised learning
model checking
state transition
relational databases
automated analysis
hybrid systems
multimedia
databases