Rating: 0

[full writeup](https://ctf.harrisongreen.me/2019/x-mas-ctf/kernel_crackme/)

When I solved this I didn't realize it was AES so I solved it by reversing the encryption function step by step with z3.