Fourné, MarcelHuth, ChristopherNüsken, Michael2018-11-182018-11-182018https://dl.gi.de/handle/20.500.12116/18252enCan Verification of Cryptographic Libraries be liberated from the von Neumann Style?Text/Abstract10.18420/cdm-2018-29-26