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

Johannes Loinig; Christian Steger; Reinhold Weiß; Ernst Haselsteiner

doi:10.1007/978-3-642-12368-9

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

Johannes Loinig, Christian Steger, Reinhold Weiß, Ernst Haselsteiner

Institute of Technical Informatics (4480)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	German
Title of host publication	Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices
Publisher	Springer Berlin - Heidelberg
Pages	316-323
ISBN (Print)	978-3-642-12367-2
DOIs	https://doi.org/10.1007/978-3-642-12368-9
Publication status	Published - 2010
Event	Workshop in Information Security Theory and Practices - Passau, Germany Duration: 12 Apr 2010 → 14 Apr 2010

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg

Conference

Conference	Workshop in Information Security Theory and Practices
Country	Germany
City	Passau
Period	12/04/10 → 14/04/10

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1007/978-3-642-12368-9

http://www.springerlink.com/content/c151577613237m13/?p=afef4972a4d741f2b5e374c174a03123&pi=0

1 Finished
1 Active

Hardware/Software-Codesign
Pieber, T. W., Steger, C., Weiß, R., Ulz, T., Schachner, M., Kreiner, C. J., Plank, H., Troyer, M., Gressl, L. A., Seifert, C., Warmer, F., Rech, A., Erb, M., Scherr, F., Kammerer, M., Stelzer, P., Frewein, A., Strasser, A., Lindner, J., Ess, A., Feldbacher, M. & Weissteiner, H.
1/01/95 → …
Project: Research area
HiPerSec -Security and Performance Evaluation for Future JavaCard Architectures
Loinig, J. & Steger, C.
1/05/08 → 30/06/10
Project: Research project

Cite this

Loinig, J., Steger, C., Weiß, R., & Haselsteiner, E. (2010). Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. In Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices (pp. 316-323). (Lecture Notes in Computer Science). Springer Berlin - Heidelberg. https://doi.org/10.1007/978-3-642-12368-9

Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. / Loinig, Johannes; Steger, Christian ; Weiß, Reinhold; Haselsteiner, Ernst.

Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices. Springer Berlin - Heidelberg, 2010. p. 316-323 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Loinig, J, Steger, C , Weiß, R & Haselsteiner, E 2010, Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. in Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices. Lecture Notes in Computer Science, Springer Berlin - Heidelberg, pp. 316-323, Workshop in Information Security Theory and Practices, Passau, Germany, 12/04/10. https://doi.org/10.1007/978-3-642-12368-9

Loinig J, Steger C , Weiß R, Haselsteiner E. Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. In Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices. Springer Berlin - Heidelberg. 2010. p. 316-323. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-12368-9

Loinig, Johannes ; Steger, Christian ; Weiß, Reinhold ; Haselsteiner, Ernst. / Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions. Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices. Springer Berlin - Heidelberg, 2010. pp. 316-323 (Lecture Notes in Computer Science).

@inproceedings{2571366ec1174c71bc0d947d40a67f75,

title = "Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions",

author = "Johannes Loinig and Christian Steger and Reinhold Wei{\ss} and Ernst Haselsteiner",

year = "2010",

doi = "10.1007/978-3-642-12368-9",

language = "deutsch",

isbn = "978-3-642-12367-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin - Heidelberg",

pages = "316--323",

booktitle = "Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices",

}

TY - GEN

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

AU - Loinig, Johannes

AU - Steger, Christian

AU - Weiß, Reinhold

AU - Haselsteiner, Ernst

PY - 2010

Y1 - 2010

UR - http://www.springerlink.com/content/c151577613237m13/?p=afef4972a4d741f2b5e374c174a03123&pi=0

U2 - 10.1007/978-3-642-12368-9

DO - 10.1007/978-3-642-12368-9

M3 - Beitrag in einem Konferenzband

SN - 978-3-642-12367-2

T3 - Lecture Notes in Computer Science

SP - 316

EP - 323

BT - Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices

PB - Springer Berlin - Heidelberg

ER -

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

Publication series

Conference

Fields of Expertise

Access to Document

Hardware/Software-Codesign

HiPerSec -Security and Performance Evaluation for Future JavaCard Architectures

Cite this