software verification

CybeResil Research Opportunities

intrusion tolerance fault tolerance trusted execution environments Data Privacy intrusion detection software verification

Broad Research Topics Robust and Adaptive Fault and Intrusion Tolerance; Ultra-Reliable Micro Trusted Execution Environments; Privacy and Integrity-preserving Data Processing; Next-generation Threat and Intrusion Detection / Prevention Systems; High-confidence Vertical Software Verification. Focused PhD-level Research Opportunities Fault and Intrusion Resilience Systems for Modern Vehicles Modern software-defined vehicles are prone to software faults and intrusions. A modern vehicle is composed of up to hundred commuting units, called Electronic Control Units (ECUs), connected via different