DEADLINE:一个对内核中double-fetch错误进行精确检测的工具
Precise and Scalable Detection of Double-Fetch Bug… Continue reading
Precise and Scalable Detection of Double-Fetch Bug… Continue reading
美国ACM院士、加州大学伯克利教授维恩·帕克森(VernPaxson)做客清华大学计算机系60周年系… Continue reading
Hiding in Plain Sight: A longitudinal Study of Co… Continue reading
[论文总结] Cloud Strife: Mitigating the Security Risks… Continue reading
InForSec学术论坛@清华大学 隐私保护、人工智能与漏洞挖掘 主办:网安国际论坛(InForSe… Continue reading
2018年4月8日,由InForSec网络安全国际学术论坛和清华大学网络研究院组织发起的“区块链安全… Continue reading
InForSec“区块链安全与隐私”研讨会 时间:4月8日(周日)下午13:30-17:00 地点:… Continue reading
“软件智能分析”学术沙龙第五次活动将于2018年3月20日(星期二上午)9点在中国科学院软件研究所5… Continue reading
主 题:Understanding and Detecting BulletProof Hosti… Continue reading
“软件智能分析”学术沙龙第四次活动将于2018年1月12日(星期五下午)1点半在中国科学院软件研究所… Continue reading