新闻动态

publications
PG-VulNet: Detect Supply Chain Vulnerabilities in IoT Devices using Pseudo-code and Graphs

ESEM 2022

Xin Liu , Yixiong Wu , Qingchen Yu , Shangru Song , Yue Liu , Qingguo Zhou , Jianwei Zhuge .

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

ICSE-SEIP 2022

Tingting Yin , Chao Zhang , Yuandong Ni , Yixiong Wu , Taiyu Wong , Xiapu Luo , Zheming Li , Yu Guo .

Smart contracts static vulnerability detection

projects
教育网挖矿木马安全态势监测

Published: January 07, 2022

摘要

publications
ROLoad: Securing Sensitive Operations with Pointee Integrity

DAC 2021

Wende Tan , Yuan Li , Chao Zhang , Xingman Chen , Songtao Yang , Ying Liu , Jianping Wu .

Protect sensitive operations with hardware support.

hacking
L3HCTF 2021

November 13, 2021

Team: Redbud
Rank: 2
Core Players from NISL: 郭明磊 , 王皓 , 王宇轩 , 王思齐 , 郑林楷 , 穆柯橪 , 雷凯翔 , 王楚涵 , 杨雅儒 .

publications
ZKCPlus: Optimized Fair-exchange Protocol Supporting Practical and Flexible Data Exchange

CCS 2021 , download

Yun Li , Cun Ye , Yuguang Hu , Ivring Morpheus , Yu Guo , Chao Zhang , Yupeng Zhang , Zhipeng Sun , Yiwen Lu , Haodi Wang .

An optimized fair-exchange protocol

publications
Igor: Crash Deduplication Through Root-Cause Clustering

CCS 2021

Zhiyuan Jiang , Xiyue Jiang , Ahmad Hazimeh , Chaojing Tang , Chao Zhang , Mathias Payer .

deduplicate crash samples

hacking
第二届“祥云杯”网络安全大赛 决赛

October 16, 2021

Team: Redbud
Rank: 2
Core Players from NISL: 王皓 , 王思齐 , 杨雅儒 .

hacking
2021年天府杯国际网络安全大赛

October 16, 2021

Team: Redbud
Rank: 项目优胜奖
Core Players from NISL: 周君宝 , 石贺天 , 王宇轩 .

hacking
第一届“长城杯”网络安全大赛

October 11, 2021

Team: Redbud
Rank: 2
Core Players from NISL: 郭明磊 , 王宇轩 , 谢凯韬 .

hacking
TCTF/0CTF 2021 Finals（RisingStar CTF）

September 25, 2021

Team: Redbud
Rank: 4
Core Players from NISL: Linkai Zheng , Minglei Guo , Kaitao Xie , Hao Wang , Siqi Wang , Yuxuan Wang .

hacking
祥云杯 2021 线上赛

August 21, 2021

Team: Redbud
Rank: 1
Core Players from NISL: Siqi Wang , Linkai Zheng , Hao Wang , Minglei Guo , Chuhan Wang , Kaitao Xie , Kaixiang Lei .

publications
VScape: Assessing and Escaping Virtual Call Protections

USENIX Security 2021

Kaixiang Chen , Chao Zhang , Tingting Yin , Xingman Chen , Lei Zhao .

Bypass virtual protections towards AEG.

publications
Sharing More and Checking Less: Leveraging Common Input Keywords to Detect Bugs in Embedded Systems

USENIX Security 2021

Libo Chen , Yanhao Wang , Quanpu Cai , Yunfan Zhan , Hong Hu , Jiaqi Linghu , Qinsheng Hou , Chao Zhang , Haixin Duan , Zhi Xue .

Finding vulnerabilities in embedded systems

publications
MAZE: Towards Automated Heap Feng Shui

USENIX Security 2021

Yan Wang , Chao Zhang , Zixuan Zhao , Bolun Zhang , Xiaorui Gong , Wei Zou .

Manipulate heap layouts automatically.