Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation
An efficient cryptographic protocol verifier based on prolog rules
Divertible protocols and atomic proxy cryptography
A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract)
Security Analysis of ECC Based Authentication Protocols
Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
Preventing man-in-the-middle attack in Diffie-Hellman key exchange protocol
Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach
The Round Complexity of Secure Protocols (Extended Abstract)
Fair Protocols for Verifiable Computations Using Bitcoin and Ethereum
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols
Toward Provable Security Against Differential and Linear Cryptanalysis for Camellia and Related Ciphers
Protocols for Public Key Cryptosystems
Applied cryptography : protocols, algorithms, and source codein C
Imperfect forward secrecy: how Diffie-Hellman fails in practice
Strand spaces: proving security protocols correct
Decisional Diffie-Hellman Problem.
Curve25519: New Diffie-Hellman Speed Records
Analysis of key-exchange protocols and their use for building secure channels
Performance Comparison of Secure Comparison Protocols
Protocols for secure computations
Zone Controlled Induction Heating (ZCIH) A New Concept in Induction Heating
Increased plasma levels of circulating cell-free mitochondrial DNA in suicide attempters: associations with HPA-axis hyperactivity
A Taxonomy of Replay Attacks
Coordination of Multiagents Interacting Under Independent Position and Velocity Topologies
Game User Experience Evaluation