Argument-based assurance cases, often represented and organized using graphical
argument structures, are increasingly being used in practice to provide assurance to …

Abstract Security Assurance Cases (SAC) are a form of structured argumentation used to
reason about the security properties of a system. After the successful adoption of assurance …

For decades, formal methods have offered the promise of verified software that does not
have exploitable bugs. Until recently, however, it has not been possible to verify software of …

In regulated safety-critical domains, such as the aerospace and nuclear domains,
certification bodies often require systems to undergo a stringent safety assessment …

Current approaches to cyberresiliency rely on patching systems after a vulnerability is
discovered. What is needed is a clean-slate, mathematically based approach for building …

Assurance cases (ACs) have gained attention in the aerospace, medical, and other heavily-
regulated industries as a means for providing structured arguments on why a product is …

The ever-increasing complexity of cyber-physical systems is driving the need for assurance
of critical infrastructure and embedded systems. However, traditional methods to secure …

Safety problems can be costly and catastrophic. Engineers typically rely on assurance cases
to ensure their systems are adequately safe. Building safe software systems requires …

There has been much publicity surrounding the use of machine learning technologies in self-
driving cars and the challenges this presents for guaranteeing safety. These technologies …

Assurance Cases are increasingly being required for regulatory acceptance of Cyber-
Physical Systems. However, the ever-increasing complexity of these systems has made the …