Normal view
MARC view
Cryptography Mathematics(Topical Term)
Machine generated authority record
Work cat.: (UDJG)67377: HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY, 2023.