欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Zeus：是恶意程序工具包，是臭名昭著但名声卓著的黑客工具包。
安全公司CSIS的研究人员从论坛上下载了一份拷贝，证实是Zeus的完整源代码。
Zeus可用于制作木马，创建僵尸网络。
源码下载：http://krash.in/real2/zeus.rar （解压密码：zeus）// 有病毒，要担心，建议搜索其它下载地址。
