Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: ADTool: Security Analysis with Attack-Defense Trees (Extended Version)
The Use of Attack Trees in Assessing Vulnerabilities in SCADA Systems
Cyber-Attack Modeling Analysis Techniques: An Overview
Approximating Attack Surfaces with Stack Traces
Game-based Analysis of the Network Attack-Defense Interaction
Eureka: A Framework for Enabling Static Malware Analysis
Attack graph based evaluation of network security
Automatic generation of buffer overflow attack signatures: an approach based on program behavior models
Dynamic vs. Static Flow-Sensitive Security Analysis
Review of Existing Analysis Tools for SELinux Security Policies: Challenges and a Proposed Solution
Survey of Automated Vulnerability Detection and Exploit Generation Techniques in Cyber Reasoning Systems
A multi-layered and kill-chain based security analysis framework for cyber-physical systems
Model-based security testing: a taxonomy and systematic classification
A Threat Model Driven Approach for Security Testing
DroidAlarm: an all-sided static analysis tool for Android privilege-escalation malware
Detecting Intrusions through System Call Sequence and Argument Analysis
Multi-dimensional analysis of embedded systems security
Security Evaluation of the Cyber Networks Under Advanced Persistent Threats
security risk analysis of enterprise networks using probabilistic attack graphs .
Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique
BinPro: A tool for binary backdoor accountability in code audits
The Structure of Collaborative Tagging Systems
A 0.5-V 28-nm 256-kb Mini-Array Based 6T SRAM With Vtrip-Tracking Write-Assist
Components of aesthetic experience: aesthetic fascination, aesthetic appraisal, and aesthetic emotion
Memristor-based memory: The sneak paths problem and solutions
Cyber security analysis using attack countermeasure trees