8 citations · 8 across the 4 of their papers we have counts for
4 papers
Automating Safety and Security Co-Design through Semantically-Rich Architecture Patterns
Yuri Gil Dantas, Vivek Nigam
During the design of safety-critical systems, safety and security engineers make use of architecture patterns, such as Watchdog and Firewall, to address identified failures and thr…
Security Engineering for ISO 21434
Yuri Gil Dantas, Vivek Nigam, Harald Ruess
The ISO 21434 is a new standard that has been proposed to address the future challenges of automotive cybersecurity. This white paper takes a closer look at the ISO 21434 helping e…
Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns
Yuri Gil Dantas, Antoaneta Kondeva, Vivek Nigam
The development of safety-critical systems requires the control of hazards that can potentially cause harm. To this end, safety engineers rely during the development phase on archi…
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks
Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca +1
Telephony Denial of Service (TDoS) attacks target telephony services, such as Voice over IP (VoIP), not allowing legitimate users to make calls. There are few defenses that attempt…