Open Call Beneficiaries

DISCOVER THE WINNER PROJECTS

This page contains a concise overview of projects funded by NGI Assure. There is more information
available on each of the projects listed on this page – all you need to do is click on the title on
each project to read more.

Applications are still open, you can apply today.

0KNOW


Group Theoretic Zero-knowledge Proofs (0KNOW)

More

Atomic Data


Typesafe handling of LinkedData

More

Bertie


Formally verified TLS 1.3 implementation

More

Blink Qt Messaging


Add modern encryption to SIP softphone

More

Briar Desktop


E2EE online and offline messaging and discussion

More

Libre-SOC Cavatools: Power ISA Simulator


Power ISA Simulator

More

Coko Docs


A modern, open source replacement for Google Docs and Drive

More

CryptPad Auth


Implement external identity mechanisms to E2EE collaborative editor

More

CryptoLyzer


Cryptographic settings analyzer library

More

DATALISP


Universal data interchange format using canonical S-expressions

More

dream2nix


Automate reproducible packaging for various language ecosystems

More

Encoding for Robust Immutable Storage (ERIS)


Encrypted and content-addressable data blocks

More

Earthstar


P2P protocol and APIs for collaborative and social applications

More

FOSS Code Supply Chain Assurance


Mitigate attacks through software dependencies

More

Federated Timesheets


Interoperable machine-readable time tracking

More

Fobnail


Remote attestation delivered locally

More

Full-source GNU Mes on ARM and RISC-V


Expand full-source bootstrap to other CPU platforms

More

GNU Mes RISC-V


Bringing the trustworthy bootstrap to RISC-V

More

GNU Mes Tower


GNU Mes with alternative scheme implementations and WASM

More

Layer-2-Overlay


Generalising the GNUnet Layer-2 Overlay for broader usage

More

GNUnet Messenger API


API for decentralized instant messaging using CADET

More

Gash


Port Gash to GNU Mes for auditable bootstrap

More

Gosling


Generic Onions Services Library Project

More

Porting Guix to Riscv64


Port Guix software collection to Riscv64 architecture

More

Hyper Hyper Space


Cryptographically secure append-only distributed data layer

More

IPDL


Equational Proofs for Distributed Cryptographic Protocols

More

Standardizing KEMTLS


Post-quantum TLS without handshake signatures

More

Katzen


Meta-data resistant instant messaging over the Katzenpost mixnet

More

Private Key Operations for Keyoxide


Implement Private Key Store design in Keyoxide

More

LiberaForms


End tot End Encrypted Forms

More

Librecast


E2E encrypted multicast

More

The Libre-SOC Gigabit Router


Native Open Hardware chip implementation of crypto primitives

More

LumoSQL at-rest data security


Modern embedded database with encryption and signed data

More

Manyverse Private Groups


Implement SSB Private Groups in Manyverse

More

Monal IM


Free Jabber/XMPP client for iOS and macOS

More

Naisho


Efficiently combine end-to-end encryption with CRDTs

More

NeoChat


Native Matrix encrypted instant messaging client

More

Packet classification extensions for Netfilter


High throughput packet classification of tunneled traffic

More

neuropil


DHT based overlay network

More

Securing NixOS services with systemd


More

UEFI Secure Boot support for NixOS


Add a self-sovereign root of trust as part of supply chain security

More

Adopting the Noise Key Exchange in Tox


Improved security of Tox instant messaging with NoiseIK

More

Oil Shell


A new dialect of shell that is less error-prone

More

Improve Okular digital signature support


Improve open source tooling for digital signatures

More

OpenCryptoHW


CGRA- based reconfigurable open-source cryptographic IP cores

More

Open MLS Infrastructure


End-to-end encrypted group messaging

More

Improving OpenSSH's Authentication and PKI


Improving SSH Authentication with OpenPGP transitive trust

More

Interoperable Certificate Store for OpenPGP


Standardisation effort for shared OpenPGP certificate storage

More

Hardening OpenPGP CA deployments


HSM support for OpenPGP key infrastructure

More

Adding Web-of-Trust Support to PGPainless


Web-of-Trust specification support for Java

More

Statime


Memory-safe high-precision clock synchronization

More

Peppol for the masses


Hybrid self-hosted e-invoicing with decentralized identities

More

Prosody IM


Implement SASL authentication mechanism for XMPP

More

ProveThis


Prove statements about authenticated API resources

More

PyCM


Evaluate the performance of ML algorithms

More

GNUnet


Formalisation within IETF of R5N Distributed Hash Table design

More

rasn


Safe ASN.1 codec framework for Rust

More

A Secret Key Store for Sequoia PGP


Standards-compliant private key store for OpenPGP

More

Adding TPM Support to Sequoia PGP


Implement use of TPM 2.0 crypto hardware for OpenPGP

More

Sequoia PGP


Improve interface of Sequoia PGP commandline

More

Sequoia GPG Chameleon


Implement well-known API's for using OpenPGP

More

Peer-to-Peer Access to Our Software Heritage


Access Software Heritage data via IPFS DHT

More

Dual-level Specification Inference


Make formal verification more practical with dual-level Specification Inference

More

Great Black Swamp


Decentralized cloud storage with provider-independent security

More

Tauri Apps


A safer run-time for web technology based apps

More

TerosHDL


Assisting hardware developers to deliver safer designs

More

TrustING


Ultrafast AS-level Public-Key Infrastructure

More

Trustix


Make build logs available as publicly verifiable, tamper-proof Merkle trees

More

Tvix


Alternative Rust-based software build transparency

More

TypeCell


CRDT-based collaborative block-based editor

More

LIP6 VLSI Tools


Logical validation of ASIC layouts

More

Verified Reowolf


Formal protocol verification with Reowolf

More

Web Zero, with m-ld


Multi-collaborator editable pages and data based on m-ld's CRDT

More

Wispwot


Implement generalized scalable protection against disruptive behavior in content discovery

More

Yrs


Collaborative editing with CRDT written in Rust

More

Quantum-Proof Zenroom


Implementation of Quantum-Proof Cryptography in Zenroom

More

Reinstatement of crypto.signText()


Cryptographic signatures brought back to the browser

More

Distributed Mechanism Learning


Privacy preserving ways of distributed data usage

More

imap-codec library


Release version 1.0 of the imap-codec library

More

libresilient


Create robust web presence with service workers and DHT

More

lpnTPM


TPM 2.0 compliant open hardware Trusted Platform Module

More

Securing Decentralised Live Information with m-ld


Collaborative editing of LInked Data based on CRDT

More

oqsprovider


Post-quantum/quantum-safe cryptographic algorithms for OpenSSL

More