Z3Py在CTF逆向中的利用
前言 Z3是Microsoft Research开发的高性能定理证明器。Z3拥有者非常广泛的应用场景：软件/硬件验证和测试，约束求解，混合系统分析，安全性研究，生物学研究（计算机分析）以及几何问题。Z3Py是使用Python脚本来解决一些实际问题，Z3Py在windows下的安装可以
Z3Py在CTF逆向中的利用
前言 Z3是Microsoft Research开发的高性能定理证明器。Z3拥有者非常广泛的应用场景：软件/硬件验证和测试，约束求解，混合系统分析，安全性研究，生物学研究（计算机分析）以及几何问题。Z3Py是使用Python脚本来解决一些实际问题，Z3Py在windows下的安装可以
Real World CTF安全训练营将开始，四位一体聚焦网络安全
长亭科技资深安全研究员、2018 GeekPwn 最佳技术奖 名人堂成员、2019 DEF CON CTF Final 季军张焱宇（f1yyy）将在本次训练营中讲述虚拟化安全 – 从 CTF 到实战的课程。张焱宇将从讲解主流虚拟化软件的实现原理开始，结合多个虚拟机逃逸的实战案例，从虚拟化