27 citations · 77 across the 18 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2021★ 8 cited
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…
cs.CR2016
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders
Vivek Nigam, Carolyn Talcott, Abraão Aires Urquiza
Timed Intruder Models have been proposed for the verification of Cyber-Physical Security Protocols (CPSP) amending the traditional Dolev-Yao intruder to obey the physical restricti…