• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Marcel Fourné
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