Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns von Gil Dantas, Yuri, Kondeva, Antoaneta, Nigam, Vivek

Volltext

A Comparative Study Across Static and Dynamic Side-Channel Countermeasures von Dantas, Yuri Gil, Hamann, Tobias, Mantel, Heiko

Volltext

Automating Safety and Security Co-design through Semantically Rich Architecture Patterns von Dantas, Yuri Gil, Nigam, Vivek

Volltext

A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design von Dantas, Yuri Gil, Nigam, Vivek, Schöpp, Ulrich

Volltext

Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns von Yuri Gil Dantas, Kondeva, Antoaneta, Nigam, Vivek

Volltext

A Toolchain for Synthesizing and Validating Safety Architectures von Gil Dantas, Yuri, Munaro, Tiziano, Carlan, Carmen, Nigam, Vivek, Barner, Simon, Fan, Shiqing, Pretschner, Alexander, Schöpp, Ulrich, Tverdyshev, Sergey

Volltext

Enabling the automation of safety and security co-analysis through lightweight semantics von Gil Dantas, Yuri

Volltext bestellen

On the accuracy of formal verification of selective defenses for TDoS attacks von Lemos, Marcilio O.O., Dantas, Yuri Gil, Fonseca, Iguatemi E., Nigam, Vivek

Volltext

Automating Safety and Security Co-Design through Semantically-Rich Architecture Patterns von Dantas, Yuri Gil, Nigam, Vivek

Volltext bestellen

Security Engineering for ISO 21434 von Dantas, Yuri Gil, Nigam, Vivek, Ruess, Harald

Volltext bestellen

Automating Safety and Security Co-Design through Semantically-Rich Architecture Patterns von Yuri Gil Dantas, Nigam, Vivek

Volltext

Formal Specification and Verification of a Selective Defense for TDoS Attacks von Dantas, Yuri Gil, Lemos, Marcilio O. O., Fonseca, Iguatemi E., Nigam, Vivek

Volltext

Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology von Dantas, Yuri Gil, Barner, Simon, Ke, Pei, Nigam, Vivek, Schoepp, Ulrich

Volltext bestellen

Security Engineering for ISO 21434 von Yuri Gil Dantas, Nigam, Vivek, Ruess, Harald

Volltext

Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology von Yuri Gil Dantas, Barner, Simon, Pei Ke, Nigam, Vivek, Schoepp, Ulrich

Volltext

On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks von Lemos, Marcilio O. O, Dantas, Yuri Gil, Fonseca, Iguatemi E, Nigam, Vivek

Volltext bestellen

On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks von Lemos, Marcilio O O, Yuri Gil Dantas, Fonseca, Iguatemi E, Nigam, Vivek

Volltext