Paulo Verissimo

From Navigators

Revision as of 18:32, 26 February 2015 by Nuno (Talk | contribs)
Jump to: navigation, search


File:Paulo Verissimo.jpg
Paulo Verissimo

Paulo Verissimo is currently at the University of Luxemburg.



Past projects

  • SecFuNet (Security for Future Networks)
  • MASSIF (MAnagement of Security information and events in Service Infrastructures)
  • TCLOUDS (Trustworthy Clouds: Privacy and Resilience for Internet-scale Critical Infrastructure)
  • TRONE (Trustworthy and Resilient Operations in a Network Environment)
  • DIVERSE (Diversity for Intrusion-Tolerant Systems)
  • HIDENETS (HIghly DEpendable ip-based NETworks and Services)
  • RESIST NoE (Resilience for Survivability in IST (Network of Excellence))
  • CRUTIAL (CRitical UTility InfrastructurAL resilience)
  • TACID (Timely ACID Transactions in DBMS)
  • AJECT (Attack Injection on Software Components)
  • DARIO (Distributed Agency for Reliable Input/Output)
  • RITAS (Randomized Intrusion Tolerance for Asynchronous Systems)
  • COPE (Secure and Reliable Parallel Processing)
  • CORTEX (CO-operating Real-time senTient objects: architecture and EXperimental evaluation)
  • CaberNet (Network of Excellence in Distributed and Dependable Computing Systems)
  • DEFEATS (Distributed Fault and Attack Tolerant Systems Configuration)
  • MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications)
  • DEAR-COTS (Distributed Embedded Architectures using Commercial Off-The-Shelf Components)
  • MICRA (A Model for the Development of Mission Critical Applications)
  • GODC (Group-Oriented Distributed Computing)
  • … further results

Student supervision



  • 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.

  • Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila Pertet, António Casimiro, Diego Kreutz, Paulo Verissimo, “Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol”, in Middleware 2013, Eyers, David and Schwan, Karsten, Eds., ser. Lecture Notes in Computer Science. Beijing, China: Springer Berlin Heidelberg, Dec. 2013, vol. 8275, pp. 41–61.

  • Giuliana Santos Veronese, Miguel Correia, Alysson Bessani, Lau Cheuk Lung, Paulo Verissimo, “Efficient Byzantine Fault-Tolerance”, IEEE Transactions on Computers, vol. 62, no. 1, pp. 16–30, Jan. 2013.

More publications


Navigators - Paulo Verissimo
Personal tools
Navigators toolbox