No matches were found for subject:"\[cryptography\] Looking for earlier proof\: no secure channel without previous secure channel"