N AT I O N A L C Y B E R S E C U R I T Y ST R AT E GY I V CRITIX plans on addressing this level of threat drawing from and building on recent research on powerful and innovative automatic security and dependability techniques, such as fault and intrusion tolerance or Byzantine fault tolerance (BFT), trusted computing and architectural hybridisation, secret sharing and secure multi-party computation, self-healing and diversity, or post-compromise security. Furthermore, the research will leverage enhanced formal verification techniques such as interactive theorem proving, to achieve ultra-high reliance on software used behind roots-of-trust or TCBs. Resilient modular and distributed computing is a response to the need for a paradigm shift enabling a comprehensive approach to those extreme challenges, from first principles: architecting and designing for simultaneously coping with accidental and malicious disruptions; providing protection in an incremental way; and automatically adapting to a dynamic range of scale, severity, and persistence of threats, some of which may be unknown. Paradigms and techniques emerging from this research should endow systems with the capacity of defeating extreme adversarial power, accidental or malicious (severe and continued threats) and sustaining perpetual and unattended operation (in a systematic and automatic way). Project acronym Project name Principal investigator Funding body SnT research group HyLIT Architectural Support for Intrusion Tolerant Operating-System Kernels M. Voelp FNR CritiX CyberSec4Europe Cybersecurity Network of Competence Centres for Europe P. Esteves Verissimo EC CritiX ADMORPH Towards Adaptively Morphing Embedded Systems M. Voelp EC CritiX GenoMask – PoC Early stage read filtering and masking of genomic information POC J. Decouchant FNR CritiX IISD Strategic RTnD Program on Information Infrastructure Security and Dependability P. Esteves Verissimo FNR CritiX SPARTA Special projects for advanced research and technology in Europe P. Esteves Verissimo EC CritiX ByzRT ByzRT: Intrusion resilient real-time communication and computation in autonomous systems P. Esteves Verissimo FNR CritiX ThreatAdapt Adaptive Byzantine Fault and Intrusion Tolerance P. Esteves Verissimo FNR CritiX CritiX-CARS Architectural Support for Efficient Domain-Specific Byzantine Fault and Intrusion Tolerance P. Esteves Verissimo 34 CritiX