Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication
The Transport Layer Security (TLS) Protocol Version 1.2
AuthLoop: End-to-End Cryptographic Authentication for Telephony over Voice Channels
TCP covert timing channels: Design and detection
DTLS based security and two-way authentication for the Internet of Things
CacheBleed: A Timing Attack on OpenSSL Constant Time RSA
Efficient Implementation of Password-based Authenticated Key Exchange from RLWE and Post-Quantum TLS
Security Analysis of ECC Based Authentication Protocols
A natural language approach to automated cryptanalysis of two-time pads
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols
Faster and Timing-Attack Resistant AES-GCM
Linking remote attestation to secure tunnel endpoints
Hunting Malicious TLS Certificates with Deep Neural Networks
Adaptively secure threshold cryptography: Introducing concurrency, removing erasures
The SSL landscape: a thorough analysis of the x.509 PKI using active and passive measurements
Strand spaces: proving security protocols correct
Analysis of ECDSA Authentication Processing in VANETs
LibSEAL: revealing service integrity violations using trusted execution
Unbounded verification, falsification, and characterization of security protocols by pattern refinement
Authentication and Authenticated Key Exchanges
Efficient authentication and signing of multicast streams over lossy channels
restful service composition at a glance : a survey .
Comparative studies of perceived vibration strength for commercial mobile phones
Rethinking SSL development in an appified world
Mockup Builder: Direct 3D Modeling On and Above the Surface in a Continuous Interaction Space
A flexible auto white balance based on histogram overlap