cryptolSpecification,ImplementationandVerificationofHigh-GradeCryptographicApplications