Similar to ProVerif
Signal (メッセージングアプリ)
Signal (software)
次世代セキュアコンピューティングベース
Next-Generation Secure Computing Base
Shadowsocks
Shadowsocks
Sylpheed
Sylpheed
Stunnel
Stunnel
Dash (暗号通貨)
Dash (cryptocurrency)
Tera Term
Tera TermTrueCrypt
TrueCrypt
Tor
Tor (network)Neetcoin
Virtual private network
Virtual private network
秘文
FileCapsule Deluxe Portable
メール (Apple)
Apple Mail
MetaMask
MetaMask/Mozilla_Thunderbird_logo-56a2899f5f9b58b7d0cbe698.jpg)
Mozilla Thunderbird
Mozilla Thunderbird
Monero
Monero
Ripple (支払いシステム)
XRP Ledger
WhatsApp
WhatsAppALGLIB
ALGLIBAmarok
Amarok (software)AMule
AMule
Ansible (ソフトウェア)
Ansible (software)
AOKP
AOKPApertium
Apertium
APT
APT (software)Aptana
Aptana
Aptitude
Aptitude (software)