Author of the publication

Analyzing the Capabilities of the CAN Attacker.

, and . ESORICS (1), volume 10492 of Lecture Notes in Computer Science, page 464-482. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Security Analysis and Design for TAGA: a Touch and Go Assistant in the Aerospace Domain., , and . CoRR, (2020)On Plain and Hereditary History-Preserving Bisimulation., and . MFCS, volume 1672 of Lecture Notes in Computer Science, page 354-365. Springer, (1999)Adding Branching to the Strand Space Model.. EXPRESS, volume 242 of Electronic Notes in Theoretical Computer Science, page 139-159. Elsevier, (2008)Leakiness is Decidable for Well-Founded Protocols.. POST, volume 9036 of Lecture Notes in Computer Science, page 176-195. Springer, (2015)Concepts and Proofs for Configuring PKCS#11., and . Formal Aspects in Security and Trust, volume 7140 of Lecture Notes in Computer Science, page 131-147. Springer, (2011)Analyzing the Capabilities of the CAN Attacker., and . ESORICS (1), volume 10492 of Lecture Notes in Computer Science, page 464-482. Springer, (2017)Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences., and . INFINITY, volume 239 of Electronic Notes in Theoretical Computer Science, page 17-42. Elsevier, (2009)Misbehavior detection system in VANETs using local traffic density., and . VNC, page 1-4. IEEE, (2018)Permissioned Blockchain for Data Provenance in Scientific Data Management., , and . Wirtschaftsinformatik, AISeL, (2021)Analyzing the impact of injected sensor data on an Advanced Driver Assistance System using the OP2TIMUS prototyping platform., , and . DATE, page 523-526. IEEE, (2016)