Minutes of IEEE public-key standardization meeting