8 citations · 21 across the 8 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2023
Evidential Transactions with Cyberlogic
Harald Ruess, Natarajan Shankar
Cyberlogic is an enabling logical foundation for building and analyzing digital transactions that involve the exchange of digital forms of evidence. It is based on an extension of…
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…