Miguel Correia

From Navigators

Jump to: navigation, search
Past member
Miguel Correia is no longer with the Navigators.

 

Projects

Past projects

  • REGENESYS (Regeneration of Replicated Systems)
  • DIVERSE (Diversity for Intrusion-Tolerant Systems)
  • FTH-Grid (Fault-Tolerant Hierarchical Grid Scheduling)
  • CRUTIAL (CRitical UTility InfrastructurAL resilience)
  • RESIST NoE (Resilience for Survivability in IST (Network of Excellence))
  • AJECT (Attack Injection on Software Components)
  • RITAS (Randomized Intrusion Tolerance for Asynchronous Systems)
  • COPE (Secure and Reliable Parallel Processing)
  • DEFEATS (Distributed Fault and Attack Tolerant Systems Configuration)
  • MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications)


Student supervision

Concluded

Ongoing

Publications

  • Alysson Bessani, Nuno Ferreira Neves, Paulo Verissimo, Wagner Saback Dantas, Alexandre Fonseca, Rui Silva, Pedro Luz, Miguel Correia, “JITeR: Just-In-Time Application-Layer Routing”, Computer Networks, vol. 104, pp. 122–136, Jul. 2016.

  • Alysson Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Verissimo, “SCFS: A Shared Cloud-backed File System”, in Proceedings of the 2014 USENIX Annual Technical Conference (USENIX-ATC), Philadelphia, PA, US, Jun. 2014.

  • Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Web Application Protection with the WAP Tool”, in Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.

More publications

BibTeX

Navigators - Miguel Correia
Personal tools
Navigators toolbox