Projects per year
| Original language | English |
|---|---|
| Title of host publication | Analysis of Security APIs (Dagstuhl Seminar 12482) |
| Place of Publication | Dagstuhl |
| Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| Pages | 166-166 |
| DOIs | |
| Publication status | Published - 2013 |
| Event | Analysis of Security APIs (Dagstuhl Seminar 12482) - Dagstuhl, Germany Duration: 26 Nov 2012 → 28 Nov 2012 |
Publication series
| Name | Dagstuhl Reports |
|---|---|
| Publisher | Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik |
Conference
| Conference | Analysis of Security APIs (Dagstuhl Seminar 12482) |
|---|---|
| Country/Territory | Germany |
| City | Dagstuhl |
| Period | 26/11/12 → 28/11/12 |
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Application
- Theoretical
- Experimental
Projects
- 3 Finished
-
EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE
Tögl, R., Könighofer, R. & Bloem, R.
1/10/12 → 30/09/15
Project: Research project
-
acTVsM! - Advanced Cryptographic Trusted Virtual Security Module
Tögl, R., Pirker, M., Niederl, A. & Bloem, R.
1/04/09 → 31/03/11
Project: Research project
-
Trusted Computing
Niederl, A., Lipp, P., Hein, D., Vejda, T., Podesser, S., Tögl, R., Dietrich, K., Bratko, H., Winter, J. & Pirker, M.
1/10/05 → 15/07/19
Project: Research area