Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Implementing and Proving the TLS 1.3 Record Layer
Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication
Automatic verification of the TLS handshake protocol
Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS
FLEXTLS: a tool for testing TLS implementations
A messy state of the union: taming the composite state machines of TLS
SSL/TLS Security Exploration Through X.509 Certificate’s Life Cycle Measurement
SSL/TLS attacks: Analysis and evaluation
SoK: Lessons Learned from SSL/TLS Attacks
No Need for Black Chambers: Testing TLS in the E-mail Ecosystem at Large
Traffic Analysis of the HTTP Protocol over TLS
Reducing network overhead of IoTDTLS protocol employing ChaCha20 and Poly1305
The Sorry State of TLS Security in Enterprise Interception Appliances
Deciphering malware’s use of TLS (without decryption)
STACCO: Differentially Analyzing Side-Channel Traces for Detecting SSL/TLS Vulnerabilities in Secure Enclaves
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations
DoS Attacks Analysis and Improvement in DTLS Protocol for Internet of Things
Protocol state fuzzing of TLS implementations
Efficient Implementation of Password-based Authenticated Key Exchange from RLWE and Post-Quantum TLS
ChaCha20 and Poly1305 for IETF Protocols
Performance analysis of elliptic curve cryptography for SSL
Stochastic and deterministic modelling of cell migration
Two adults with Rubinstein-Taybi syndrome with mild mental retardation, glaucoma, normal growth and skull circumference, and camptodactyly of third fingers.
Public-key encryption in a multi-user setting: Security proofs and improvements
On Approximate Inference for Generalized Gaussian Process Models
An Analysis for Big Data and its Technologies