The Navigators website is currenly being migrated. Please update your bookmarks.
In a few seconds, you will be redirected to the new Navigators Wiki.

News Archive

New cut-off date: 31/May/2012 - Scholarships for PhD in Computer Science and Engineering

24/Sep/2009: the Navigator's PhD student Henrique Moniz won the Best Student Paper Award at DISC 2009

09/Jul/2008: Paulo Sousa, a researcher from the Navigators team, won the IBM 2007 Scientific Award, with the work "Security and Availability through Proactive Resilience"

11/Feb/2008:
Scholarships for PhD in Computer Science and Engineering

20/Jan/2008:
2nd Workshop on Recent Advances on Intrusion-Tolerant Systems - WRAITS 2008

09/Jan/2007: Workshop on Recent Advances on Intrusion-Tolerant Systems - WRAITS 2007

21/Dec/2006:
Master/PhD at Carnegie Mellon University and University of Lisboa

25/Jun/2006: We are hiring

06/Jun/2006:
Site revamp

01/Jan/2006:
New Year, new projects: check our recently started european projects


Welcome > Software

Software

  • xAmp, a protocol suite for group communication.
  • Appia, a layered communication toolkit.
  • TCB/TTCB, a distributed wormhole that provides a set of time and security related services.
  • RT-PSS, a real-time proactive secret sharing library for RTAI.
  • DepSpace, a Byzantine fault-tolerant coordination service based on the tuple space model.
  • JITT, a set of tools and libraries for intrusion tolerance using the Java programming language, including implementations of Byzantine Paxos and verifiable secret sharing.
  • SMaRt, a Byzantine-fault-tolerant state machine replication library developed in Java with simplicity and robustness as primary requirements.
  • Adaptare, a framework for automatic and dependable adaptation in dynamic environments.
  • hsSim, an extensible interoperable object-oriented n-Level hierarchical scheduling simulator.