The Critical and Extreme Security and Dependability Research Group - CritiX - is headed by Professor Paulo Esteves-Veríssimo. CritiX pursues state-of-the-art research in a problem area that may be described as extreme computing -- computer science and engineering pushed to the extremes of functional and non-functional properties of systems.
In particular, we wish to investigate architectures, middleware, algorithms and protocols that may find applicability in distributed systems and networks, which, for example:

  • Deploy extremely large-scale data sets, flows and computations --- considering cloud, BigData, complex event processing
  • Withstand extreme levels of threat, like advanced persistent threats --- considering critical information infrastructures
  • Need to have extremely low failure probability --- considering high-criticality areas such as finance, energy, or aerospace and automotive control
  • Present extreme requirements with regard to data privacy and integrity ---considering biobanking, genomics, health or business



We argue for the need of a paradigm shift that may enable a comprehensive approach to those extreme challenges, from first principles, and that is resilience --- architecting and designing for simultaneously coping with accidental and malicious faults; providing protection in an incremental way; and automatically adapting to a dynamic range of scale, severity and persistence of threats, some of which maybe a priori unknown.
Paradigm 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).

We plan on addressing this level of threat drawing from and building on recent research on powerful and innovative automatic security and dependability techniques, like intrusion tolerance or Byzantine fault tolerance, trusted computing and architectural hybridisation, secret sharing and secure multi-party computation, homomorphic and functional encryption, erasure coding and dispersion, self-healing and diversity mechanisms.

We would like our laboratory to become known as excelling in research applicable to systems that face difficult or extreme situations (of scale, threat, environmental, operational, uncertainty, and so forth).

Prof. Paulo Esteves-Verissimo (SnT)