Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner. Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. In Pierangela Samarati, Michael Tunstall, Joachim Posegga, Konstantinos Markantonakis, Damien Sauveron, editors, Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices, 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings. Volume 6033 of Lecture Notes in Computer Science, pages 316-323, Springer, 2010. [doi]

This author has not been identified. Look up 'Johannes Loinig' in GoogleThis author has not been identified. Look up 'Christian Steger' in GoogleThis author has not been identified. Look up 'Reinhold Weiss' in GoogleThis author has not been identified. Look up 'Ernst Haselsteiner' in Google

runs on WebDSL