Handbook of Formal Analysis and Verification in Cryptography

  • Length: 428 pages
  • Publication Date: 2023-09-19

Applied Cryptography for Researchers and Practitioners

  • Length: 114 pages
  • Publication Date: 2023-07-01