0KNOW
Group Theoretic Zero-knowledge Proofs (0KNOW)
More
Atomic Data
Typesafe handling of LinkedData
More
Authenticated DNSSEC bootstrapping
Secure in-band announcements of DNSSEC parameters
More
Heads-OpenPGP
OpenPGP Authenticated Heads and long-time awaited security improvements
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
Converged Security Suite Improvements
Open source tooling for BIOS configuration
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
Securing Internet protocols with DIDs
Bridge Decentralized Identifiers with standardised authorisation mechanisms
More
Anonymisation for Data Donations
Facilitate platform scrutinization through anonymised data contributions
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
Earthstar (Encryption, Safety, and Local Sync)
Improve security, encryption and sync capabilities in Earthstar CRDT
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
Himalaya
End-to-end encryption capable scriptable email
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
Keyoxide v2
Add cryptographic signature based to Keyoxide
More
Kintex-nextpnr
Open toolchain for high performance FPGAs
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
OpenCryptoLinux
Make Linux run on OpenCryptoHW
More
OpenCryptoTester
System-on-Chip for hardware/software testing
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
OpenQRNG
Open source, certified Quantum Random Number Generator
More
Adding Web-of-Trust Support to PGPainless
Web-of-Trust specification support for Java
More
Post-Quantum Crypto in DNSSEC
Experimental platform for DNSSEC with post-quantum cryptography
More
Statime
Memory-safe high-precision clock synchronization
More
Peppol for the masses
Hybrid self-hosted e-invoicing with decentralized identities
More
Probabilistic NAT Traversal
Last resort ad hoc connections for GNUnet
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
R5N-DHT
Formalisation within IETF of R5N Distributed Hash Table design
More
rasn
Safe ASN.1 codec framework for Rust
More
Rosenguard
Post Quantum Security Add-On for WireGuard
More
SES - SimplyEdit Spaces
SimplyEdit Spaces - collaborative presentations
More
Subliminal Messaging
Embedded secure channels within traditional and internet telephony
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
Solid Wallet
Authorization reasoning, rule-based controls and fluid integration for Solid
More
Dual-level Specification Inference
Make formal verification more practical with dual-level Specification Inference
More
Spritely (and OCapN)
Enable secure P2P applications with Object Capabilities
More
Statime PTP Master
Statime - Zero-allocation cross-platform Precision Time Protocol
More
Great Black Swamp
Decentralized cloud storage with provider-independent security
More
Tauri Apps
A safer run-time for web technology based apps
More
Servo Webview for Tauri
Integrated portable webview based on Servo engine into Tauri
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
Yrs Undo
Rust-based CRDT framework for real-time multi-user applications
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
p4-nix
Combine Programming Protocol-independent Packet Processors language with declarative Nix packaging
More
Back