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 paper › peer-review

1 Finished
1 Active

2 results

Active
Hardware/Software-Codesign
Steger, C., Seifert, C., Stelzer, P., Fiala, G. & Basic, F.
1/01/95 → …
Project: Research area
Finished
HiPerSec -Security and Performance Evaluation for Future JavaCard Architectures
Loinig, J. & Steger, C.
1/05/08 → 30/06/10
Project: Research project