Projects per year
- 1 - 50 out of 149 results
Search results
-
Finished
-
GUARDS - Rigorous Verification of Masked AES Implementations Using the Concept "Changing of the Guards"
1/04/22 → 31/12/22
Project: Research project
-
-
-
ArchCM4SSV - Architectural Countermeasures for Security & Security Verification
1/07/21 → 30/06/22
Project: Research project
-
EU - mGov4EU - Mobile Cross-Border Government Services for Europe
1/01/21 → 31/12/23
Project: Research project
-
EU - SAFEST - Secure and Assured hardware: Facilitating ESTonia’s digital society
1/01/21 → 31/12/23
Project: Research project
-
-
EU - FOCETA - Foundations for continuous engineering of trustworthy autonomy
1/10/20 → 30/09/23
Project: Research project
-
FWF - Authenticated Encryption - Advancing in Authenticated Encryption
Dobraunig, C. E.
3/02/20 → 31/08/20
Project: Research project
-
DDAI - Explainable, Verifiable and Privacy-Preserving Data-Driven AI
Rechberger, C. & Lindstaedt, S.
1/01/20 → 31/12/23
Project: Research project
-
-
EU - KRAKEN - Brokerage and market platform for personal data
1/12/19 → 30/11/22
Project: Research project
-
ADVANCED - Adaptive Verification and Anomaly Detection for Complex Designs
1/11/19 → 31/10/22
Project: Research project
-
TRUSTED - Trutst, security & autonomy in automation of the future
1/11/19 → 31/10/22
Project: Research project
-
FERMION - Formal Verification of Masked Hardware Implementations
2/01/19 → 1/01/22
Project: Research project
-
EU - SEMPER - Crossborder Semantic Interoperability of Powers and Mandates
1/01/19 → 31/12/20
Project: Research project
-
Leakage-Free - Hardware-Software Information Flow Analysis for Leakage-Free Code Generation
1/10/18 → 30/09/20
Project: Research project
-
-
Espresso - Scalable hardware-secured authentication and personalization of intelligent sensor nodes
1/05/18 → 31/10/20
Project: Research project
-
-
-
Data Security - KC - KD-07 Scalable Knowledge Discovery Components
1/07/17 → 30/11/20
Project: Research project
-
Dessnet - Dependable, secure and time-aware sensor networks
Mangard, S., Glanzer, C., Görtschacher, L. J., Bösch, W., Grosinger, J., Fischbacher, R. B., Deutschmann, B. & Shetty, D.
1/06/17 → 31/07/21
Project: Research project
-
-
EU - LIGHTest - Lightweight Infrastructure for Global Heterogeneous Trust management in support of an open Ecosystem of Stakeholders and Trust schemes.
Lipp, P.
1/09/16 → 30/08/19
Project: Research project
-
Cryptographic hash functions - Cryptographic hash functions
30/06/16 → 31/12/16
Project: Research project
-
Enable-S3 - European Initiative to Enable Validation for Highly Automated Safe and Secure Systems
Bloem, R., Horn, M., Wotawa, F., Bösch, W. & Eichberger, A.
1/05/16 → 30/04/19
Project: Research project
-
Dependable Internet of Things
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Project: Research project
-
-
EU - CEF - Hosted Virtual Identity Provider for the Austrian eID system
1/09/15 → 30/03/19
Project: Research project
-
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
-
HECTOR - Hardware enable crypto and randomness
Korak, T., Mangard, S. & Mendel, F.
1/03/15 → 31/07/18
Project: Research project
-
-
-
EU - PrismaCloud - PRIvacy and Security MAintaining services in the CLOUD
Derler, D., Hanser, C., Lipp, P., Slamanig, D. & Rechberger, C.
1/01/15 → 30/06/18
Project: Research project
-
SUNFISH - SUNFISH- Secure information sharing in federated heterogeneous private clouds
Reiter, A., Marsalek, A., Suzic, B., Posch, R., Leitold, H. & Reimair, F.
1/01/15 → 31/12/17
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
-
-
MEMSEC - Embedded Memory Security Unit for Automotive Test Systems
1/09/14 → 31/08/17
Project: Research project
-
SCALAS - Secure Contactless Applications based on Leakage-resilient cryptographic Schemes
Peßl, P. & Mangard, S.
1/07/14 → 31/12/16
Project: Research project
-
RSE - High performance telecontrol, control and fault alarmsystem with echo cancellation and advanced transmission techniques
Lanz, K., Lipp, P., Rath, C. & Ramacher, S.
1/07/14 → 31/12/15
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
-
Matthew - Multi-entity-security using active Transmission Technology for improved Handling of Exportable security credentials Without privacy restrictions (MATTHEW Project)
Hanser, C., Wenger, E., Korak, T., Groß, H., Mangard, S. & Unterluggauer, T.
1/11/13 → 31/10/16
Project: Research project
-
C4E - Cloud for Europe
Leitold, H., Posch, R., Suzic, B. & Reiter, A.
1/06/13 → 30/11/16
Project: Research project
-
EU-DALIA_3_FFG - Assistant for DAily LIfe Activities at Home
1/04/13 → 31/03/16
Project: Research project
-
e-SENS - Electronic Simple European Networked Services
Zefferer, T., Tauber, A., Marsalek, A., Leitold, H., Suzic, B. & Mangard, S.
1/04/13 → 31/03/16
Project: Research project
-
Arrowhead - Production and Energy System Automation Intelligent-Built environment and urban infrastructure for sustainable and friendly cities
Bloem, R. & Schmidt, J.
1/03/13 → 28/02/17
Project: Research project