CLAASP: A Cryptographic Library for the Automated Analysis of Symmetric Primitives
Emanuele Bellini, David Gérault, Juan Grados, Yun Ju Huang, Rusydi H. Makarim, Mohamed Rachidi, Sharwan K. Tiwari
Topics & Concepts
Computer scienceCryptographyCryptographic primitiveSymmetric-key algorithmCryptographic protocolTheoretical computer scienceProgramming languageComputer securityEncryptionPublic-key cryptographyCryptographic Implementations and SecurityChaos-based Image/Signal EncryptionCoding theory and cryptography