Posts sorted by Publication
1 min read
New Publication: Interplay of Attacker Behaviors and Dependability Attributes in Industrial Control System Impact Analysis
1 min read
New Publication: Data-Driven Approximation of Formal Implicit Interaction Analysis for Cyber-Physical System Designs
1 min read
New Publication: "I'm Getting Information that I Can Act on Now": Exploring the Level of Actionable Information in Tool-generated Threat Reports
1 min read
New Publication: A Game-Theoretic Approach for Security Control Selection
1 min read
New Publication: Interplay of Human Factors and Secure Architecture Design using Model-Driven Engineering
1 min read
New Publication: Requirements for Applying SCIA: A Structured Cyberattack Impact Analysis Approach for ICS
1 min read
New Publication: A Model-Driven Formal Methods Approach to Software Architectural Security Vulnerabilities Specification and Verification
New Publication: Hardening Systems Against Data Corruption Attacks at Design Time
New Publication: A Security Compliance-by-Design Framework Utilizing Reusable Formal Models
New Publication: Formal Model-Based Argument Patterns for Security Cases
New Publication: A Formal Metamodel for Software Architectures with Composite Components
New Publication: Specification and Verification of Communication Paradigms for CBSE in Event B
Page 2 of 5