论文发表

Automatic Configuration Repair

Xu Liu , Peng Zhang ,
Anubhavnidhi Abhashkumar
,
Jiawei Chen
and
Weirong Jiang

Proceedings of ACM HotNets'24

Expresso: Comprehensively Reasoning About External Routes Using Symbolic Simulation

Dan Wang , Peng Zhang and Aaron Gember-Jacobson

Proceedings of ACM SIGCOMM'24

PDF Slide Video

Network Specification Mining with High Fidelity and Scalability

Ning Kang , Peng Zhang , Hao Li ,
Sisi Wen
,
Chaoyang Ji
and
Yongqiang Yang

Proceedings of IEEE ICNP'23

Modular Data Plane Verification for Compositional Networks

Xu Liu , Peng Zhang , Hao Li and Wenbing Sun

Proceedings of ACM CoNEXT'23

LemonNFV: Consolidating Heterogeneous Network Functions at Line Speed

Hao Li ,
Yihan Dang
,
Guangda Sun
,
Guyue Liu
,
Danfeng Shan
and Peng Zhang+

Proceedings of USENIX NSDI'23

PDF Slide Video

Symbolic Router Execution

Peng Zhang , Dan Wang and Aaron Gember-Jacobson

Proceedings of ACM SIGCOMM'22

PDF Slide Video

Differential Network Analysis

Peng Zhang , Aaron Gember-Jacobson ,
Yueshang Zuo
,
Yuhao Huang
, Xu Liu and Hao Li

Proceedings of USENIX NSDI'22

PDF Slide Video Code Web

Programming Network Stack for Middleboxes with Rubik

Hao Li ,
Changhao Wu
,
Guangda Sun
, Peng Zhang ,
Danfeng Shan
,
Tian Pan
and
Chengchen Hu

Proceedings of USENIX NSDI'21

PDF Slide Video

Network-Wide Forwarding Anomaly Detection and Localization in Software Defined Networks

Peng Zhang ,
Fangzheng Zhang
,
Shimin Xu
,
Zuoru Yang
, Hao Li ,
Qi Li
,
Huanzhao Wang
,
Chao Shen
and
Chengchen Hu

IEEE/ACM Transactions on Networking

Verifying Rule Enforcement in Software Defined Networks with REV

Peng Zhang ,
Hui Wu
,
Dan Zhang
and
Qi Li

IEEE/ACM Transactions on Networking

Incremental Network Configuration Verification

Peng Zhang ,
Yuhao Huang
, Aaron Gember-Jacobson ,
Wenbo Shi
, Xu Liu ,
Hongkun Yang
and
Zhiqiang Zuo

Proceedings of ACM HotNets'20

APKeep: Realtime Verification for Real Networks

Peng Zhang , Xu Liu ,
Hongkun Yang
, Ning Kang ,
Zhengchang Gu
and Hao Li

Proceedings of USENIX NSDI'20

PDF Slide Video Code Web

A Modular Compiler for Network Programming Languages

Hao Li , Peng Zhang ,
Guangda Sun
,
Chengchen Hu
,
Danfeng Shan
,
Tian Pan
and
Qiang Fu

Proceedings of ACM CoNEXT'20

Fast Data Plane Testing for Software-Defined Networks With RuleChecker

Peng Zhang ,
Cheng Zhang
and
Chengchen Hu

IEEE/ACM Transactions on Networking

ShiftRoute: Achieving Location Privacy for Map Services on Smartphones

Peng Zhang ,
Chengchen Hu
,
Di Chen
, Hao Li and
Qi Li

IEEE Transactions on Vehicular Technology

FOCES: Detecting Forwarding Anomalies in Software Defined Networks

Peng Zhang ,
Shimin Xu
,
Zuoru Yang
, Hao Li ,
Qi Li
,
Huanzhao Wang
and
Chengchen Hu

Proceedings of IEEE ICDCS'18

Towards Rule Enforcement Verification for Software Defined Networks

Peng Zhang

Proceedings of IEEE INFOCOM'17

Achieving Content-Oriented Anonymity with CRISP

Peng Zhang ,
Qi Li
and
Patrick P. C. Lee

IEEE Transactions on Dependable and Secure Computing

Stick to The Script: Monitoring The Policy Compliance of SDN Data Plane

Peng Zhang , Hao Li ,
Chengchen Hu
,
Liujia Hu
and
Lei Xiong

Proceedings of ACM/IEEE ANCS'16

Rethinking the Design of OpenFlow Switch Counters

Ji Yang
,
Chengchen Hu
,
Peng Zheng
,
Ruilong Wang
, Peng Zhang and
Xiaohong Guan

Poster Session of ACM SIGCOMM'16

On Denial of Service Attacks in Software Defined Networks

Peng Zhang ,
Huanzhao Wang
,
Chengchen Hu
and
Chuang Lin

IEEE Network Magazine

Modular SDN Compiler Design with Intermediate Representation

Hao Li ,
Chengchen Hu
, Peng Zhang and
Lei Xie

Poster Session of ACM SIGCOMM'16

Mind the Gap: Monitoring the Control-Data Plane Consistency in Software Defined Networks

Peng Zhang , Hao Li ,
Chengchen Hu
,
Liujia Hu
,
Lei Xiong
,
Ruilong Wang
and
Yuemei Zhang

Proceedings of ACM CoNEXT'16

A Lightweight Encryption Scheme for Network-Coded Mobile Ad Hoc Networks

Peng Zhang ,
Chuang Lin
,
Yixin Jiang
,
Yanfei Fan
and
Xuemin (Sherman) Shen

IEEE Transactions on Parallel and Distributed Systems

ANOC: Anonymous Network-Coding-Based Communication with Efficient Cooperation,

Peng Zhang ,
Chuang Lin
,
Yixin Jiang
,
Patrick P.C. Lee
and
John C.S. Lui

IEEE Journal on Selected Areas in Communication

Padding for Orthogonality: Efficient Subspace Authentication for Network Coding

Peng Zhang ,
Yixin Jiang
,
Chuang Lin
,
Hongyi Yao
,
Albert Wasef
and
Xuemin (Sherman) Shen

Proceedings of IEEE INFOCOM'11

P-Coding: Secure Network Coding against Eavesdropping Attacks

Peng Zhang ,
Yixin Jiang
,
Chuang Lin
,
Yanfei Fan
and
Xuemin (Sherman) Shen

Proceedings of IEEE INFOCOM'10