Verified cryptographic code for everybody
scientific article; zbMATH DE number 7498160