1. Study of security and effectiveness of DoIP in vehicle networks
2. AUTOSAR GbR. 2019. Specification of Diagnostic Communication Manager. AUTOSAR CP R19-11. https://www.autosar.org/fileadmin/standards/classic/19-11/AUTOSAR_SWS_DiagnosticCommunicationManager.pdf AUTOSAR GbR. 2019. Specification of Diagnostic Communication Manager. AUTOSAR CP R19-11. https://www.autosar.org/fileadmin/standards/classic/19-11/AUTOSAR_SWS_DiagnosticCommunicationManager.pdf
3. David Basin Cas Cremers Jannik Dreier Simon Meier Ralf Sasse and Benedikt Schmidt. 2023. Tamarin Prover. https://tamarin-prover.github.io/ David Basin Cas Cremers Jannik Dreier Simon Meier Ralf Sasse and Benedikt Schmidt. 2023. Tamarin Prover. https://tamarin-prover.github.io/
4. Bruno Blanchet . 2012. Security Protocol Verification: Symbolic and Computational Models . In Principles of Security and Trust . Springer Berlin Heidelberg , Berlin, Heidelberg , 3–29. Bruno Blanchet. 2012. Security Protocol Verification: Symbolic and Computational Models. In Principles of Security and Trust. Springer Berlin Heidelberg, Berlin, Heidelberg, 3–29.
5. Iain Cunningham. 2021. Certificate-Based Authentication in Vehicle Diagnostics #1: What is Possible in UDS and AUTOSAR?https://www.youtube.com/watch?v=k4JD2ZUHrXA Iain Cunningham. 2021. Certificate-Based Authentication in Vehicle Diagnostics #1: What is Possible in UDS and AUTOSAR?https://www.youtube.com/watch?v=k4JD2ZUHrXA