Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: a framework for game - based security proofs .
Sequences of Games: A Tool for Taming Complexity in Security Proofs
Learning Adversary Behavior in Security Games: A PAC Model Perspective
Stochastic game net and applications in security analysis for enterprise network
A double oracle algorithm for zero-sum security games on graphs
Addressing Behavioral Uncertainty in Security Games: An Efficient Robust Strategic Solution for Defender Patrols
A Survey of Game Theory as Applied to Network Security
Security Risk Management via Dynamic Games with Learning
Game Theory for Security: An Important Challenge for Multiagent Systems
Unbounded verification, falsification, and characterization of security protocols by pattern refinement
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols
an application of game - theoretic techniques to cryptography .
Game Theory Basics and Its Application in Cyber Security
Security Games Applied to Real-World: Research Contributions and Challenges
Formal Analysis of Graphical Security Models
Formal verification of security protocol implementations: a survey
Counterfactual regret minimization in sequential security games
A Serious Game for Eliciting Social Engineering Security Requirements
Playing games for security: An efficient exact algorithm for solving bayesian stackelberg games
PRISM-games: A Model Checker for Stochastic Multi-Player Games
What is Correctness of Security Protocols?
lichen aureus : a congenital case ? liquen aureus : ¿ un caso congenito ? .
Learning a Transferable Change Rule from a Recurrent Neural Network for Land Cover Change Detection
Transactional versus transformational leadership: An analysis of the MLQ
Riemann's hypothesis and tests for primality
the medfield smartphone : intel architecture in a handheld form factor .