miguel pupo correia           



BIG - Enhancing the research and innovation potential of Tecnico through Blockchain technologies and design Innovation for social Good, EC

QualiChain - Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation, EC

SPARTA - Special projects for advanced research and technology in Europe, EC

Cosmos - Causal Consistency on the Network Edge, FCT

SEAL - SEcurity progrAmming of web appLications, FCT


Angainor - reproducible large-scale evaluation and fault injection, FCT

A3CE - Aprendizagem Automática de Ameaças no Ciberespaço, CINAMIL

ABYSS - Autonomic Byzantine Fault-Tolerant Systems, FCT

SATURN - Spatio­temporal cloud store for big­data applications, FCT

Safe Cloud - Secure and Resilient Cloud Architecture, EC-IST

PCAS - Personalised Centralized Authentication System (EC-IST)

LEAD Clouds - Large Efficient And Dependable Clouds, CAPES/CNPq

RC-Clouds - Resilient Computing in the Clouds, FCT - coordinator

REGENESYS - Regeneration of Replicated Systems, FCT - coordinator

DIVERSE - Diversity for Intrusion Tolerant Systems, FCT

ReD - Resilient Database Clusters, FCT

SITAN - Services for Intrusion Tolerant Ad Hoc Networks

CMU-Portugal Research and Education Partnership

TCLOUDS - Trustworthy Clouds – Privacy and Resilience for Internet-scale Critical Infrastructure, EC-IST

TRONE - Trustworthy and Resilient Operations in a Network Environment

FTH-Grid - Fault-Tolerant Hierarchical Grid Scheduling, PT-FR cooperation, with Univ. Paris VI, FCT/Égide - coordinator of FCUL's team

ReSIST - Resilience for Survivability in IST, network of excelence, EC-IST

CRUTIAL - CRitical UTility InfrastructurAL Resilience, EC-IST

TISD - Tolerância a Intrusões em Sistemas Distribuídos, CAPES/GRICES

ESFORS - European Security Forum for services, software and systems, CA, EC-IST

RITAS - Randomized Intrusion Tolerance for Asynchronous Systems, FCT

AJECT - Attack Injection on Software Components, FCT

COPE -- Secure and Reliable Parallel Processing, FCT

DeFeATS -- Distributed Fault and Attack Tolerant Systems configuration, FCT (2001-03)

MAFTIA -- Malicious- and Accidental-Fault Tolerance for Internet Applications, EC-IST (2000-03) - EU Descartes Prize Finalist 2004 (some articles in the portuguese press)


home | last update: 02-10-2018