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.
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.
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
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:
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:
SafeAI
Developed by the LTS4 lab, SafeAI is a framework to test attacks and defences on neuronal networks. We’re currently discussing how this framework can be extended to allow for attacks and defences plugins to be hosted by companies, in case these plugins contain IP the company doesn’t want to share.
As this is work-in-progress, there is no GitHub repo available yet.
Market
Stable software will be available in the Market for all our partners to be used. Currently we have no product in the Market, but expect first projects entering the market in Q2 or Q3 of 2019.