Marcel Fourné. Can Verification of Cryptographic Libraries be liberated from the von Neumann Style?. In Christopher Huth, Michael Nüsken, editors, 29. Krypto-Tag, Renningen, Germany, September 6-7, 2018. Gesellschaft für Informatik e.V. / FG KRYPTO, 2018. [doi]
Abstract is missing.