Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: A modular correctness proof of IEEE 802.11i and TLS
Analysis of the 802.11i 4-way handshake
Mitigating Evil Twin Attacks in 802.11
TCP FAIRNESS ISSUES IN IEEE 802.11 WIRELESS LANS
Practical Defenses for Evil Twin Attacks in 802.11
formal security analysis of pkcs # 11 and proprietary extensions .
Complete EAP Method: User Efficient and Forward Secure Authentication Protocol for IEEE 802.11 Wireless LANs
What is Correctness of Security Protocols?
Cryptography and Security in Internet of Things (IoTs): Models, Schemes, and Implementations
802 . 11 i wlan security protocol – a software engineer ’ s model .
IEEE 802.11 Rate Control Algorithms: Experimentation and Performance Evaluation in Infrastructure Mode
OSLO: Improving the security of Trusted Computing
Physical layer security in wireless networks: a tutorial
The Transport Layer Security (TLS) Protocol Version 1.3
The Round Complexity of Secure Protocols (Extended Abstract)
The Sorry State of TLS Security in Enterprise Interception Appliances
Physical-Layer Security in the Internet of Things: Sensing and Communication Confidentiality Under Resource Constraints
Low power link layer security for IoT: Implementation and performance analysis
The Transport Layer Security (TLS) Protocol Version 1.2
Efficient Implementation of Password-based Authenticated Key Exchange from RLWE and Post-Quantum TLS
STACCO: Differentially Analyzing Side-Channel Traces for Detecting SSL/TLS Vulnerabilities in Secure Enclaves
Analysis of a denial of service attack on TCP
Multi-Domain Neural Machine Translation
Sensors applications within the research framework of the PACMAN project on metrology for particle accelerators at CERN
How Drosophila change their combs: the Hox gene Sex combs reduced and sex comb variation among Sophophora species
Phospholipids of Clostridium butyricum. IV. of monounsaturated and cyclopropane fatty acids and alk-Lenyl ethers by capillary column chromatography Analysis of the positional isomers