Projects
From Navigators
Current projects
- ADMORPH (Towards Adaptively Morphing Embedded Systems)
- VEDLIoT (Very Efficient Deep Learning in IOT)
- SATO (Self Assessment Towards Optimization of Building Energy)
- ThreatAdapt (Adaptive Byzantine Fault and Intrusion Tolerance)
- REDBOOK (Robust hardwarE-based Defences against Buffer Overflows and Other cybersecurity attacKs)
- SEL (Smart Energy LAB - Collaborative Laboratory)
- SEAL (SEcurity progrAmming of web appLications)
- Xivt (eXcellence In Variant Testing)
- UPVN (User-centric Programmable Virtual Networks)
- AQUAMON (Dependable Monitoring with Wireless Sensor Networks in Water Environments)
Past projects
- RE:DY (re:dy analytics challenge: dynamic set-poit)
- NORTH (Non-intrusive Observation and RunTime verification of cyber-pHysical systems)
- IRCoC (Intelligent Resilience for Cloud-of-Clouds Services)
- Abyss (Sistemas Autonómicos Tolerantes a Falhas Maliciosas)
- DiSIEM (Diversity-enhancements for Security Information and Event Management)
- SUPERCLOUD (User-Centric Management of Security and Dependability in Clouds of Clouds)
- COST Action IC1402 (Runtime Verification Beyond Monitoring)
- SEGRID (Security for smart Electricity GRIDs)
- READAPT (Reconfigurability and Adaptability in Safe and Secure Multicore Architectures for Mixed-Criticality Applications)
- PROPHECY (Proactive Fault Tolerance for Time and Space Partitioning Hypervisors)
- SAPIENT (Scheduling Analysis Principles and Tool for Time- and Space-Partitioned Systems)
- BioBankCloud (Scalable, Secure Storage of Biobank Data)
- SITAN (Services for Intrusion Tolerant Ad Hoc Networks)
- RC-Clouds (Resilient Computing in the Clouds)
- SecFuNet (Security for Future Networks)
- KARYON (Kernel-Based ARchitecture for safetY-critical cONtrol)
- CloudFIT (Fault and Intrusion Tolerance for Cloud Computing)
- DIVERSE (Diversity for Intrusion-Tolerant Systems)
- REGENESYS (Regeneration of Replicated Systems)
- TRONE (Trustworthy and Resilient Operations in a Network Environment)
- … further results