Centre of dependable computing systems

Head of the research group
Keyword
nanoelectronics design
security
verification and test
multi-/many-core systems
reliability of neural network accelerators
Overview
The research in the Centre for DependableComputing Systems covers a wide range of topics in the areas of design, reliability, security,verification and testing of nanoelectronic systems(including multi-/many-core systems).The main research activities in 2021 were thefollowing:‚ Hardware security (cooperation with TUDelft, LIRMM/University of Montpellier,Airbus, Frankfurt UAS, Intrinsic-ID, Riscure);‚ Embedded neural network accelerators(cooperation with Mälardalen University, Tartu University, Fraunhofer IKS,Philips, Siemens);‚ Cross-layer resilience in sensor networks(cooperation with Testonica Lab OÜ);‚ Verification (assertion mining) (cooperation with EPFL/Lausanne, TU Hamburg,DLR);‚ Diagnostic test generation and microprocessor testing (cooperation with Politecnicodi Torino).
Period of activity of the research group
2023
2022
2021
2020
2019
2018
2017
Related department
Publications related to the research group