Disseminating public-key crypto source code