Recovery of heavily fragmented JPEG files. - Yanbin Tang; Junbin Fang; Kam-Pui Chow; Siu-Ming Yiu; Jun Xu 027; Bo Feng 002; Qiong Li 001; Qi Han 002 (Digit. Investig., 2016)

OEI: Operation Execution Integrity for Embedded Devices. - Zhichuang Sun; Bo Feng 002; Long Lu; Somesh Jha (CoRR, 2018)

P2IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling (extended version). - Bo Feng 002; Alejandro Mera; Long Lu (CoRR, 2019)

OAT: Attesting Operation Integrity of Embedded Devices. - Zhichuang Sun; Bo Feng 002; Long Lu; Somesh Jha (SP, 2020)

P2IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling. - Bo Feng 002; Alejandro Mera; Long Lu (USENIX Security Symposium, 2020)

DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis. - Alejandro Mera; Bo Feng 002; Long Lu; Engin Kirda; William K. Robertson (CoRR, 2020)

DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis. - Alejandro Mera; Bo Feng 002; Long Lu; Engin Kirda (SP, 2021)

VeriML: Enabling Integrity Assurances and Fair Payments for Machine Learning as a Service. - Lingchen Zhao; Qian Wang 002; Cong Wang 001; Qi Li 002; Chao Shen 001; Bo Feng 002 (IEEE Trans. Parallel Distributed Syst., 2021)

SEAR: Secure and Efficient Aggregation for Byzantine-Robust Federated Learning. - Lingchen Zhao; Jianlin Jiang; Bo Feng 002; Qian Wang 002; Chao Shen 001; Qi Li 002 (IEEE Trans. Dependable Secur. Comput., 2022)

AIM: Automatic Interrupt Modeling for Dynamic Firmware Analysis. - Bo Feng 002; Meng Luo 002; Changming Liu; Long Lu; Engin Kirda (IEEE Trans. Dependable Secur. Comput., 2024)

On the Complexity of the Web's PKI: Evaluating Certificate Validation of Mobile Browsers. - Meng Luo 002; Bo Feng 002; Long Lu; Engin Kirda; Kui Ren 001 (IEEE Trans. Dependable Secur. Comput., 2024)