Software

From Navigators

(Difference between revisions)
Jump to: navigation, search
(Created page with "* [http://www.navigators.di.fc.ul.pt/software/xAMp/xAMp.html xAmp], a protocol suite for group communication. * [http://appia.di.fc.ul.pt/ Appia], a layered communication toolkit...")
 
(8 intermediate revisions not shown)
Line 3: Line 3:
* [http://www.navigators.di.fc.ul.pt/software/tcb/index.htm TCB/TTCB], a distributed [[Publication:Paulo-verissimo2006travelling|wormhole]] that provides a set of time and security related services.
* [http://www.navigators.di.fc.ul.pt/software/tcb/index.htm TCB/TTCB], a distributed [[Publication:Paulo-verissimo2006travelling|wormhole]] that provides a set of time and security related services.
* [http://sourceforge.net/projects/rt-pss/ RT-PSS], a real-time proactive secret sharing library for [https://www.rtai.org/ RTAI].
* [http://sourceforge.net/projects/rt-pss/ RT-PSS], a real-time proactive secret sharing library for [https://www.rtai.org/ RTAI].
-
* [http://www.navigators.di.fc.ul.pt/software/depspace DepSpace], a Byzantine fault-tolerant coordination service based on the tuple space model.
+
* [https://github.com/bft-smart/depspace DepSpace], a Byzantine fault-tolerant coordination service based on the tuple space model.
* [http://www.navigators.di.fc.ul.pt/software/jitt JITT], a set of tools and libraries for intrusion tolerance using the Java programming language, including implementations of Byzantine Paxos and verifiable secret sharing.
* [http://www.navigators.di.fc.ul.pt/software/jitt JITT], a set of tools and libraries for intrusion tolerance using the Java programming language, including implementations of Byzantine Paxos and verifiable secret sharing.
-
* [http://code.google.com/p/bft-smart/ SMaRt], a Byzantine-fault-tolerant state machine replication library developed in Java with simplicity and robustness as primary requirements.
+
* [http://bft-smart.github.io/library/ BFT-SMaRt], a Byzantine-fault-tolerant state machine replication library developed in Java with simplicity and robustness as primary requirements.
* [http://www.navigators.di.fc.ul.pt/software/Adaptare.jar Adaptare], a framework for automatic and dependable adaptation in dynamic environments.
* [http://www.navigators.di.fc.ul.pt/software/Adaptare.jar Adaptare], a framework for automatic and dependable adaptation in dynamic environments.
-
* [http://code.google.com/p/hssim/ hsSim], an extensible interoperable object-oriented n-Level hierarchical scheduling simulator.
+
* [https://github.com/jpgcc/hssim hsSim], an extensible interoperable object-oriented n-Level hierarchical scheduling simulator.
 +
* [http://www.lasige.di.fc.ul.pt/openrq OpenRQ], an open-source implementation of the RaptorQ erasure codes.
 +
* [http://awap.sourceforge.net WAP], detecting and correcting vulnerabilities in PHP web applications.
 +
* [https://github.com/Camandros/jdna/ JDNA], a referential compressor for aligned DNA files.
 +
* [https://github.com/vvcogo/dna-privacy-detector DNA-Privacy Detector], detecting privacy-sensitive human genomic data.
 +
* [https://code.google.com/p/depsky/ DepSky], a Byzantine-fault-tolerant data-centric storage service to cloud-of-clouds.
 +
* [https://code.google.com/p/depsky/wiki/SCFS SCFS], a cloud-of-clouds file system, which uses DepSpace to coordinate metadata and DepSky to store data.
 +
* [https://github.com/cloud-of-clouds/charon-fs CHARON], a secure cloud-of-clouds system for storing and sharing big data

Latest revision as of 21:46, 2 September 2019

  • 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.
  • BFT-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.
  • OpenRQ, an open-source implementation of the RaptorQ erasure codes.
  • WAP, detecting and correcting vulnerabilities in PHP web applications.
  • JDNA, a referential compressor for aligned DNA files.
  • DNA-Privacy Detector, detecting privacy-sensitive human genomic data.
  • DepSky, a Byzantine-fault-tolerant data-centric storage service to cloud-of-clouds.
  • SCFS, a cloud-of-clouds file system, which uses DepSpace to coordinate metadata and DepSky to store data.
  • CHARON, a secure cloud-of-clouds system for storing and sharing big data
Personal tools
Navigators toolbox