Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Protocol state fuzzing of TLS implementations
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations
ASPIER: An Automated Framework for Verifying Security Protocol Implementations
Implementation of a secure TLS coprocessor on an FPGA
Practical verification of WPA-TKIP vulnerabilities
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols
Lessons Learned From Previous SSL / TLS Attacks A Brief Chronology Of Attacks And Weaknesses
Man-in-the-Middle Attack to the HTTPS Protocol
Snooze: Toward a stateful network protocol fuzzer
Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation
Protocol state fuzzing of an OpenVPN
Steelix: program-state based binary fuzzing
A model-based approach to security flaw detection of network protocol implementations
Taint-based directed whitebox fuzzing
A research on vulnerability discovering for router protocols based on fuzzing
New branch prediction vulnerabilities in OpenSSL and necessary software countermeasures
Fuzzing: The State of the Art
LibSEAL: revealing service integrity violations using trusted execution
No Need for Black Chambers: Testing TLS in the E-mail Ecosystem at Large
Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution
Analyzing Forged SSL Certificates in the Wild
Predictive control of an autonomous ground vehicle using an iterative linearization approach
HyperMinHash: Jaccard index sketching in LogLog space
Dialogue Act Tagging with Transformation-Based Learning
An RBF-PSO based approach for early detection of DDoS attacks in SDN
Differential Testing for Software