Don't have Telegram yet? Try it now!
https://blog.trailofbits.com/2019/04/01/performing-concolic-execution-on-cryptographic-primitives/
Performing Concolic Execution on Cryptographic Primitives