Public code release for: Upgrading HTTPS in mid-air: An empirical study of strict transport security and key pinning