Projects per year
Projects
- 4 Finished
Search results
-
Finished
-
EU - IMMORTAL - IMMORTAL – Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems
Bloem, R. & Könighofer, R.
1/03/15 → 28/02/18
Project: Research project
-
FWF - AE - Design and Analysis of Next Generation Authenticated Encryption Algorithms
Mendel, F., Dobraunig, C. E. & Eichlseder, M.
1/10/14 → 30/09/17
Project: Research project
-
Doctoral Program: LogICS - Logical Methods in Computer Science
Bloem, R. & Braud-Santoni, N.
1/03/14 → 28/02/23
Project: Research project