Projects
From Navigators
Current projects
- VEDLIoT (Very Efficient Deep Learning in IOT)
- SATO (Self Assessment Towards Optimization of Building Energy)
- ADMORPH (Towards Adaptively Morphing Embedded Systems)
- SEAL (SEcurity progrAmming of web appLications)
- AQUAMON (Dependable Monitoring with Wireless Sensor Networks in Water Environments)
- UPVN (User-centric Programmable Virtual Networks)
- REDBOOK (Robust hardwarE-based Defences against Buffer Overflows and Other cybersecurity attacKs)
- ThreatAdapt (Adaptive Byzantine Fault and Intrusion Tolerance)
- SEL (Smart Energy LAB - Collaborative Laboratory)
- Xivt (eXcellence In Variant Testing)
Past projects
- TCLOUDS (Trustworthy Clouds: Privacy and Resilience for Internet-scale Critical Infrastructure)
- MASSIF (MAnagement of Security information and events in Service Infrastructures)
- MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications)
- RESIST NoE (Resilience for Survivability in IST (Network of Excellence))
- DiSIEM (Diversity-enhancements for Security Information and Event Management)
- KARYON (Kernel-Based ARchitecture for safetY-critical cONtrol)
- HIDENETS (HIghly DEpendable ip-based NETworks and Services)
- CORTEX (CO-operating Real-time senTient objects: architecture and EXperimental evaluation)
- CRUTIAL (CRitical UTility InfrastructurAL resilience)
- TRONE (Trustworthy and Resilient Operations in a Network Environment)
- SITAN (Services for Intrusion Tolerant Ad Hoc Networks)
- ReD (Resilient Database Clusters)
- IRCoC (Intelligent Resilience for Cloud-of-Clouds Services)
- DIVERSE (Diversity for Intrusion-Tolerant Systems)
- CloudFIT (Fault and Intrusion Tolerance for Cloud Computing)
- READAPT (Reconfigurability and Adaptability in Safe and Secure Multicore Architectures for Mixed-Criticality Applications)
- REGENESYS (Regeneration of Replicated Systems)
- RC-Clouds (Resilient Computing in the Clouds)
- TACID (Timely ACID Transactions in DBMS)
- DARIO (Distributed Agency for Reliable Input/Output)
- RITAS (Randomized Intrusion Tolerance for Asynchronous Systems)
- AJECT (Attack Injection on Software Components)
- MICRA (A Model for the Development of Mission Critical Applications)
- DEAR-COTS (Distributed Embedded Architectures using Commercial Off-The-Shelf Components)
- COPE (Secure and Reliable Parallel Processing)
- DEFEATS (Distributed Fault and Attack Tolerant Systems Configuration)
- MOOSCO (MOO with Separation of Concerns)
- TOPCOM (Topology-Aware Reliable Group Communication in Geographically Large-Scale Systems)
- RE:DY (re:dy analytics challenge: dynamic set-poit)
- NORTH (Non-intrusive Observation and RunTime verification of cyber-pHysical systems)
- Abyss (Sistemas Autonómicos Tolerantes a Falhas Maliciosas)
- 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)
- BioBankCloud (Scalable, Secure Storage of Biobank Data)
- PROPHECY (Proactive Fault Tolerance for Time and Space Partitioning Hypervisors)
- SAPIENT (Scheduling Analysis Principles and Tool for Time- and Space-Partitioned Systems)
- SecFuNet (Security for Future Networks)
- FTH-Grid (Fault-Tolerant Hierarchical Grid Scheduling)
- AIR-II (ARINC 653 In Space RTOS - Industrial Initiative)
- AIR (ARINC 653 Interface in RTEMS)
- ESFORS (ESFORS Coordination Action -- European Security Forum for Web Services, Software and Systems)
- CaberNet (Network of Excellence in Distributed and Dependable Computing Systems)
- GODC (Group-Oriented Distributed Computing)
- BROADCAST (Basic Research On Advanced Distributed Computing: from Algorithms to SysTems)
- CoDiCom (Distributed Real-time Computer Control System)
- Delta-4 (Definition and Design of an open Dependable Distributed Architecture)
- RAPTOR (Resilient Agreement Protocols for Fault-Tolerant Conflict Resolution)