初稿截稿日期：2019-03-11

• Security engineering processes, from requirements to maintenance
• Security-focused system designs (HW/SW/architecture)
• Distributed systems design and implementation for security
• Human-centered design for systems security
• Tools and methodology for secure code development
• Programming languages, development tools, and ecosystems supporting security
• Risk management and testing strategies to improve security
• Static program analysis for software security
• Dynamic analysis and runtime approaches for software security
• Explorations of formal verification and other high-assurance methods for security
• Automation of programming, deployment, and maintenance tasks for security
• Code reviews, red teams, and other human-centered assurance
• Security assistance for software developers and security analysts