![]() | Handbook of Formal Analysis and Verification in Cryptography Subjects: Computer Science; Engineering & Technology; Mathematics & Statistics; Industrial Engineering & Manufacturing; Systems & Control Engineering; Computation; Information & Communication Technology (ICT); Legal Ethical & Social Aspects of IT; Electrical & Electronic Engineering; Advanced Mathematics; Quantum Information; Communication Technology; Privacy & Data Protection; Operations Research; Analysis - Mathematics; IT Security; Communications & Information Processing; Electrical Engineering Communications; Mathematical Logic; No description is available. |
![hidden image for function call](https://upload.wikimedia.org/wikipedia/commons/c/ca/1x1.png)