Handbook of Formal Analysis and Verification in Cryptography

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

Optimization Methods for Product and System Design

  • Length: 274 pages
  • Publication Date: 2023-06-12