Similar to ProVerif
暗号化ソフトウェア
Encryption software
Alpine Linux
Alpine Linux
AnyDVD
AnyDVDBcrypt
Bcrypt
BitLocker
BitLocker
Bitmessage
BitmessageBotan
Botan (programming library)
CipherShed
Claws Mail
Claws Mail
Cryptomator
CryptomatorCrypTool
CrypToolDropbear
Dropbear (software)EncFS
EncFS
Encrypting File System
Encrypting File SystemEnigmail
EnigmailFileCapsule Deluxe Portable
FileCapsule Slate
FileVault
FileVault
FireWall-1
Check Point VPN-1
Freenet
HyphanetGenode
Genode
GNU Privacy Guard
GNU Privacy Guard
GNUnet
GNUnet
GnuTLS
GnuTLS
Gpg4win
Gpg4winGPGTools
Hamachi
LogMeIn Hamachi
Hashcat
Hashcat