-
Security Engineering for ISO 21434
The ISO 21434 is a new standard that has been proposed to address the fu...
read it
-
Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns
The development of safety-critical systems requires the control of hazar...
read it
-
Compliance in Real Time Multiset Rewriting Models
The notion of compliance in Multiset Rewriting Models (MSR) has been int...
read it
-
Model-Based Safety and Security Engineering
By exploiting the increasing surface attack of systems, cyber-attacks ca...
read it
-
Symbolic Timed Observational Equivalence
Intruders can infer properties of a system by measuring the time it take...
read it
-
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks
Telephony Denial of Service (TDoS) attacks target telephony services, su...
read it

Vivek Nigam
is this you? claim profile