Can Verification of Cryptographic Libraries be liberated from the von Neumann Style?

Published in: Krypto-Tag (2018)

Keyphrases

von neumann
cryptographic protocols
smart card
expected utility
robust optimization
cooperative
expert systems
decision makers
utility function
possibility distributions