Claim: Core Infrastructure Initiative funded OpenSSL with more money than Frama-C and OpenSSH.
Evidence: OpenSSH Frama-C Developer tool 192,000 System tool or application 50,000 OpenSSL Developer Library 550,000