Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: FLEXTLS: a tool for testing TLS implementations
Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS
DoS Attacks Analysis and Improvement in DTLS Protocol for Internet of Things
LibSEAL: revealing service integrity violations using trusted execution
Lessons Learned From Previous SSL / TLS Attacks A Brief Chronology Of Attacks And Weaknesses
Athena: a new efficient automatic checker for security protocol analysis
On Using TLS to Secure In-Vehicle Networks
Practical verification of WPA-TKIP vulnerabilities
Hunting Malicious TLS Certificates with Deep Neural Networks
Probing TCP Implementations
SECFUZZ: Fuzz-testing security protocols
The most dangerous code in the world: validating SSL certificates in non-browser software
Analyzing Forged SSL Certificates in the Wild
SMV-HUNTER: Large Scale, Automated Detection of SSL/TLS Man-in-the-Middle Vulnerabilities in Android Apps
Decrypting SSL/TLS traffic for hidden threats detection
Parallel implementation of the NIST Statistical Test Suite
The SSL landscape: a thorough analysis of the x.509 PKI using active and passive measurements
ASPIER: An Automated Framework for Verifying Security Protocol Implementations
A Model-Based Fuzz Framework to the Security Testing of TCG Software Stack Implementations
A System to Verify Network Behavior of Known Cryptographic Clients.
Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation
Universally composable security: a new paradigm for cryptographic protocols
Sentiment analysis using convolutional neural network with fastText embeddings
Software-defined wireless mesh networks: architecture and traffic orchestration
Comparative Analysis of Job Satisfaction in Agile and Non-agile Software Development Teams
Statistical Computing: An Introduction to Data Analysis using SPlus