从一道Crypto题目认识z3 AnQuanKeInfo

从一道Crypto题目认识z3

前言
最近在看密码学的题目,一直听说过Z3的强大,今天终于体会了一次,于是有了这篇文章记录一下。题干分析
题目直接给出了密文生成文本:
#!/usr/bin/e
Anubis回来了,你准备好了吗 AnQuanKeInfo

Anubis回来了,你准备好了吗

Android研究人员称, Anubis是一种以土耳其用户为主要目标,窃取凭证的恶意软件。在过去的几个月中,该恶意软件家族已经成功渗透到谷歌应用商店。
应用开发