Login / Signup

Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic.

Jerry den Hartog
Published in: Sci. Comput. Program. (2008)
Keyphrases
  • cryptographic algorithms
  • security protocols
  • natural deduction
  • data encryption standard
  • elliptic curve cryptography
  • security mechanisms
  • modal logic
  • biometric data
  • resource constrained