Finding client-side business flow tampering vulnerabilities
- I. Luk Kim
- Yunhui Zheng
- et al.
- 2020
- ICSE 2020
Conference paper
Publications
15 results for Xiangyu Zhang
Programming support for autonomizing software
- Wen Chuan Lee
- Peng Liu
- et al.
- 2019
- PLDI 2019
Conference paperGEMINI: Guest-transparent honey files via hypervisor-level access redirection
- Zhongshu Gu
- Brendan Saltaformaggio
- et al.
- 2018
- Computers and Security
PaperAdBudgetKiller: Online advertising budget draining attack
- I. Luk Kim
- Weihang Wang
- et al.
- 2018
- WWW 2018
Conference paperPAD: Programming third-party web advertisement censorship
- Weihang Wang
- Yonghwi Kwon
- et al.
- 2017
- ASE 2017
Conference paperAutomatic Text Input Generation for Mobile Testing
- Peng Liu
- Xiangyu Zhang
- et al.
- 2017
- ICSE 2017
Conference paperCPR: Cross platform binary code reuse via platform independent trace program
- Yonghwi Kwon
- Weihang Wang
- et al.
- 2017
- ISSTA 2017
Conference paperJ-force: Forced execution on JavaScript
- Kyungtae Kim
- I. Luk Kim
- et al.
- 2017
- WWW 2017
Conference paperZ3str2: an efficient solver for strings, regular expressions, and length constraints
- Yunhui Zheng
- Vijay Ganesh
- et al.
- 2016
- Formal Methods in System Design
PaperHERCULE: Attack story reconstruction via community discovery on correlated log graph
- Kexin Pei
- Zhongshu Gu
- et al.
- 2016
- ACSAC 2016
Conference paper