
Software
Showcase
The showcase offers an unfiltered insight into the totality of the laboratories software. Most of the projects are in active development by the laboratories, but by no means ready to be used by external users. https://showcase.c4dt.org gives an overview of the projects that the affiliated labs are working on.
Incubator
Projects from the Showcase that received attention by our partners through proof-of-concepts can be chosen to enter the Incubator. In the Incubator, software projects are refined, searched for bugs, documented, and made ready for use by external users.
An updated list of the projects is at https://incubator.c4dt.org
OmniLedger / Calypso
Developed by the DEDIS lab, OmniLedger is a next-generation, high-performance distributed ledger, that can be used with Calypso to store secrets and handle the access rights in a GDPR compatible way.
The current code is available at GitHub:
- High-speed ledger: OmniLedger
- Secret-sharing: Calypso
- Demonstrator for identity management: Login
Drynx
Developed by the LCA1 lab, Drynx allows its users to get statistics on private data without revealing any of the data itself. This project is used in medical settings, but can be extended to fit other needs where linear regressions are needed from private data.
- The current code is available at GitHub: Drynx
- A demonstrator is available here: drynx-demonstrator
Stainless
Developed by the LARA lab, Stainless is a software verification framework for the Scala language, with the added functionality of being able to create Ethereum-compatible code. This means, that you can write smart contracts in Scala, and have the smart contracts being verified by Stainless, before launching your smart contract on Ethereum.
- The current code is available at GitHub: Stainless
- A demonstrator is available here: Stainless-demo
Medco
Privacy is extremely important in the medical field. A first step to help hospitals understand the possibility of privacy preserving data analysis is Medco, which allows to do a cohort exploration between different hospitals. All calculations are done on encrypted data, so every hospital keeps its data locally.
See an overview here: https://medco.epfl.ch/
Demonstrator
To show how the software from the labs can be used in real world applications, and to test the difference between research and production, we’re constantly working on demonstrators: https://demo.c4dt.org.