Similar to ProVerif

Hushmail

Hyphanet

I2P

Jami (software)

Jitsi

John the Ripper

KeePass

KeePassX

KeePassXC

KGPG

Kontact

LibreSSL

Linux Unified Key Setup

Microsoft Outlook

NaCl (software)

Network Security Services

OMEMO

OpenSSH

OpenSSL

Openswan

OpenVPN

Ophcrack

Peer-to-peer

Pretty Good Privacy

Proton VPN