---
license: mit
---

A model for cryptographic binary analysis