research
∙
07/04/2023
The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip
The hardware computing landscape is changing. What used to be distribute...
share
research
∙
08/31/2022
Secure and Distributed Assessment of Privacy-Preserving Releases of GWAS
Genome-wide association studies (GWAS) identify correlations between the...
research
∙
08/17/2022
I-GWAS: Privacy-Preserving Interdependent Genome-Wide Association Studies
Genome-wide Association Studies (GWASes) identify genomic variations tha...
research
∙
04/23/2022
Federated Geometric Monte Carlo Clustering to Counter Non-IID Datasets
Federated learning allows clients to collaboratively train models on dat...
research
∙
11/05/2021
Parameterized Repair of Concurrent Systems
We present an algorithm for the repair of parameterized systems. The rep...
research
∙
05/09/2020
PriLok: Citizen-protecting distributed epidemic tracing
Contact tracing is an important instrument for national health services ...
research
∙
05/09/2020
PriLock: Citizen-protecting distributed epidemic tracing
Contact tracing is an important instrument for national health services ...
research
∙
05/03/2020
Behind the Last Line of Defense – Surviving SoC Faults and Intrusions
Today, leveraging the enormous modular power, diversity and flexibility ...
research
∙
11/27/2012
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Reliability in terms of functional properties from the safety-liveness s...
research
∙
11/27/2012