%0 Conference Paper %1 conf/wistp/LoinigSWH10 %A Loinig, Johannes %A Steger, Christian %A Weiss, Reinhold %A Haselsteiner, Ernst %B WISTP %D 2010 %E Samarati, Pierangela %E Tunstall, Michael %E Posegga, Joachim %E Markantonakis, Konstantinos %E Sauveron, Damien %I Springer %K dblp %P 316-323 %T Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. %U http://dblp.uni-trier.de/db/conf/wistp/wistp2010.html#LoinigSWH10 %V 6033 %@ 978-3-642-12367-2

@inproceedings{conf/wistp/LoinigSWH10, added-at = {2018-06-26T00:00:00.000+0200}, author = {Loinig, Johannes and Steger, Christian and Weiss, Reinhold and Haselsteiner, Ernst}, biburl = {https://www.bibsonomy.org/bibtex/25b04fbcce2ce364513c189945679af4c/dblp}, booktitle = {WISTP}, crossref = {conf/wistp/2010}, editor = {Samarati, Pierangela and Tunstall, Michael and Posegga, Joachim and Markantonakis, Konstantinos and Sauveron, Damien}, ee = {https://doi.org/10.1007/978-3-642-12368-9_25}, interhash = {3d71d249a4f2f436276ef4a8dbd40753}, intrahash = {5b04fbcce2ce364513c189945679af4c}, isbn = {978-3-642-12367-2}, keywords = {dblp}, pages = {316-323}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:22:19.000+0200}, title = {Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions.}, url = {http://dblp.uni-trier.de/db/conf/wistp/wistp2010.html#LoinigSWH10}, volume = 6033, year = 2010 }