Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: SSL/TLS Security Exploration Through X.509 Certificate’s Life Cycle Measurement
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations
Formal verification of security protocol implementations: a survey
A modular correctness proof of IEEE 802.11i and TLS
Revisiting past challenges and evaluating certificate trust model enhancements Extended Version
De-Constructing TLS 1.3
A messy state of the union: taming the composite state machines of TLS
HTTPS traffic analysis and client identification using passive SSL/TLS fingerprinting
Lucky Thirteen: Breaking the TLS and DTLS Record Protocols
LibSEAL: revealing service integrity violations using trusted execution
A Comprehensive Symbolic Analysis of TLS 1.3
Secure Digital Certificate Design Based on the RSA Algorithm
Hunting Malicious TLS Certificates with Deep Neural Networks
CacheBleed: A Timing Attack on OpenSSL Constant Time RSA
The Transport Layer Security (TLS) Protocol Version 1.3
Why eve and mallory love android: an analysis of android SSL (in)security
New branch prediction vulnerabilities in OpenSSL and necessary software countermeasures
Security Analysis of Elliptic Curve Cryptography and RSA
Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
Security Analysis of ECC Based Authentication Protocols
CCSP: A compressed certificate status protocol
A new single image dehazing method with MSRCR algorithm
High speed network traffic analysis with commodity multi-core systems
ACID-BASED HYDROLYSIS PROCESSES FOR ETHANOL FROM LIGNOCELLULOSIC MATERIALS: A REVIEW
Turbidity affects social dynamics in Trinidadian guppies
Molecular computation : RNA solutions to chess problems