crypto 4 Lesson 16.4: Rewriting the algorithm in Python and solving with Z3 Jul 14, 2023 Lesson 16.3: Recognizing AES, DES, TEA, ChaCha and hash functions Jul 5, 2023 Lesson 16.1: Identifying crypto algorithms by their constants Jul 3, 2023 Lesson 16.2: XOR, RC4 and custom Base64 Jul 3, 2023