Posts sorted by Publication
New Publication: Formal Model-Based Traceability for Security Compliance in Satellite Control Systems
1 min read
New Publication: An Approach to Determine a System’s Behavioural Security Posture
1 min read
New Publication: Uncovering the DevOps Landscape: A Scoping Review and Conceptualization Framework
1 min read
New Publication: Formal Security Analysis of Deep Neural Network Architecture
1 min read
New Publication: A Formal Approach for Verifying and Validating Security Objectives in Software Architecture
1 min read
New Publication: Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B
1 min read
New Publication: A Tool-Supported Methodology for Creating Security Cases Using Argument Patterns
1 min read
New Publication: Enhancing Security and Efficiency in Vehicle-to-Sensor Authentication: A Multi-Factor Approach with Cloud Assistance
1 min read
New Publication: Navigating the DevOps Landscape
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
Page 1 of 5