Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions.

Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner

Browse the full WISTP paper archive.