Z3介绍，什么是Z3？Z3是由微软公司开发的一个优秀的SMT求解器，它能够检查逻辑表达式的可满足性，可以用来软件/硬件验证和测试，约束求解，混合系统分析，安全性研究，生物学研究（计算机分析）...

寒冬过后，万物生长 攻防之战的哨声已经吹响 战士们，快来集结吧！ 你想用实战来检验自身实力吗？ 你想体验团队夺冠的快感吗？ 你想学习高密度的技术干货吗？ 看雪.安恒 2020...

直播预告本周五20：00 维阵专家团队负责人-仙果（看雪二进制漏洞分析版主）将基于维阵，为大家讲述如何进行二进制漏洞挖掘以及漏洞利用等，敬请期待~公测时间6月16日14：00至7月1日商用版上线...

前言 前段时间做安全研究的时候用了好多种方法，其中一种就是使用的CS中的office宏钓鱼，产生的样本为含有宏代码的.docm文件。样本还被人拿来分析了一通发了文章，还被外国友人在推特上点名了，...

Best Cyber Security Web Sites on the planet！全球最好的网络安全网站！如有漏网，欢迎大家帮助留言补全。 排名不分先后，加载慢的，更新不及时的已经去掉！ 1.国家信息安全网站 简介：国内...

昨日，小盾安全在杭州举办“懂业务•知安全—小盾安全行业分享沙龙”。会议邀请了复旦大学计算机学院副院长、国家973项目首席科学家杨珉教授，与来自58集团、香港沃思奥美电子商务、探探、几维...

物联网（The Internet of Things，简称IOT）是指通过 各种信息传感器、射频识别技术、全球定位系统、红外感应器、激光扫描器等各种装置与技术，实时采集任何需要监控、 连接、互动的物体或过程...

2020年ISG“观安杯”管理运维赛初赛已正式结束。本次管理运维赛初赛共分为理论和技术两场，其中分值各占50%。下面是大家等待已久的技术题目的Writeup。让我们一起跟着出题人的脑洞，乘风破浪吧...

没有兴趣，何来成就，难道就只是为了咕噜猫？hahaha（听不懂吧，没关系，只是因为加密了，你能从我的笔记中找到答案么嘿嘿嘿嘿！！！）注意：以下内容仅记录本人当时学习时任然不知的相关知识。...

10月23日，第四届看雪安全开发者峰会（2020 SDC）在上海隆重召开！ SDC面向开发者、安全人员及高端技术从业人员，由拥有20年悠久历史的老牌安全技术社区——看雪学院主办，是国内开发者与安全人...