新闻动态
2022
hacking
publications
PG-VulNet: Detect Supply Chain Vulnerabilities in IoT Devices using Pseudo-code and Graphs
we design and implement PG-VulNet, a tool for detecting Supply Chain Vulnerabilities in IoT Devices using Pseudo-code and Graphs.
publications
An Empirical Study on Implicit Constraints in Smart Contract Static Analysis
Smart contracts static vulnerability detection
projects
教育网挖矿木马安全态势监测
Published:
摘要
教育网挖矿木马安全态势监测,基于CERNET国内互联节点采集的Netflow流量,对教育网环境内的挖矿木马活跃态势进行监测,对其影响与分布进行可视化。 页面功能主要包括:教育网内每日矿池通信连接规模变化,各高校挖矿行为态势统计以及全球矿池地理位置分布等。 我们将长期关注挖矿木马的安全态势,持续更新此页面,为维护教育网的安全积极贡献力量。2021
publications
ROLoad: Securing Sensitive Operations with Pointee Integrity
Protect sensitive operations with hardware support.