androidqf (Android Quick Forensics) helps quickly gathering forensic evidence from Android devices, in order to identify potential traces of compromise.

A Rust verification tool

Bitpart is a messaging tool that runs on top of Signal to support activists, journalists, and human rights defenders.

Luca Maier's master's thesis "A Formal Analysis of the SecureDrop protocol"

Open Source Firmware Continuous Integration source code

Search and browse documents and data; find the people and companies you look for.

Scripts to slightly improve the security of the Linux boot process with UEFI Secure Boot and TPM support

Next generation of Qubes OS builder

Repository for explainers and other documents related to the Isolated Web Apps proposal.

Forum for discussing Internet censorship circumvention

Indicators of Compromise from Amnesty International's cyber investigations