Testing Access-Control Configuration Changes for Web Applications.

Chengcheng Xiang

Chengcheng Xiang Li Zhong Eric Mugnier Nathaniel Nguyen Yuanyuan Zhou 0001 Tianyin Xu Testing Access-Control Configuration Changes for Web Applications. 2025 May abs/2505.12770 CoRR https://doi.org/10.48550/arXiv.2505.12770 db/journals/corr/corr2505.html#abs-2505-12770 streams/journals/corr

Li Zhong Chengcheng Xiang Haochen Huang Bingyu Shen 0002 Eric Mugnier Yuanyuan Zhou 0001 Effective Bug Detection with Unused Definitions. 720-735 2024 EuroSys https://doi.org/10.1145/3627703.3629576 conf/eurosys/2024 db/conf/eurosys/eurosys2024.html#ZhongXH0M024 Chengcheng Xiang Detecting Access Control Misconfigurations with Change Validation. University of California, San Diego, USA 2021 https://www.escholarship.org/uc/item/4685h4v1 Haochen Huang Chengcheng Xiang Li Zhong Yuanyuan Zhou 0001 PYLIVE: On-the-Fly Code Change for Python-based Online Services. 349-363 2021 USENIX ATC https://www.usenix.org/conference/atc21/presentation/huang-haochen conf/usenix/2021 db/conf/usenix/usenix2021.html#HuangXZ021 Bingyu Shen 0002 Lili Wei Chengcheng Xiang Yudong Wu Mingyao Shen Yuanyuan Zhou 0001 Xinxin Jin Can Systems Explain Permissions Better? Understanding Users' Misperceptions under Smartphone Runtime Permission Model. 751-768 2021 USENIX Security Symposium https://www.usenix.org/conference/usenixsecurity21/presentation/shen-bingyu conf/uss/2021 db/conf/uss/uss2021.html#0002WXWS0J21 Chengcheng Xiang Haochen Huang Andrew Yoo Yuanyuan Zhou 0001 Shankar Pasupathy PracExtractor: Extracting Configuration Good Practices from Manuals to Detect Server Misconfigurations. 265-280 2020 USENIX ATC https://www.usenix.org/conference/atc20/presentation/xiang conf/usenix/2020 db/conf/usenix/usenix2020.html#XiangHY0P20

Xingyuan Zhou Haoran Zhang 0002 Rui Qiu Yongtu Liang Guangming Wu Chengcheng Xiang Xiaohan Yan A hybrid time MILP model for the pump scheduling of multi-product pipelines based on the rigorous description of the pipeline hydraulic loss changes. 174-199 2019 121 Comput. Chem. Eng. https://doi.org/10.1016/j.compchemeng.2018.10.001 db/journals/cce/cce121.html#ZhouZQLWXY19

Chengcheng Xiang Yudong Wu Bingyu Shen 0002 Mingyao Shen Haochen Huang Tianyin Xu Yuanyuan Zhou 0001 Cindy Moore Xinxin Jin Tianwei Sheng Towards Continuous Access Control Validation and Forensics. 113-129 2019 CCS https://doi.org/10.1145/3319535.3363191 conf/ccs/2019 db/conf/ccs/ccs2019.html#XiangWSSHX0MJS19

Zhengwei Qi Chengcheng Xiang Ruhui Ma Jian Li 0021 Haibing Guan David S. L. Wei ForenVisor: A Tool for Acquiring and Preserving Reliable Data in Cloud Live Forensics. 443-456 2017 5 IEEE Trans. Cloud Comput. 3 https://doi.org/10.1109/TCC.2016.2535295 http://doi.ieeecomputersociety.org/10.1109/TCC.2016.2535295 db/journals/tcc/tcc5.html#QiXMLGW17

Xianming Zhong Chengcheng Xiang Miao Yu Zhengwei Qi Haibing Guan A Virtualization Based Monitoring System for Mini-intrusive Live Forensics. 455-471 2015 43 Int. J. Parallel Program. 3 https://doi.org/10.1007/s10766-013-0285-2 db/journals/ijpp/ijpp43.html#ZhongXYQG15

Chengcheng Xiang Zhengwei Qi Walter Binder Flexible and Extensible Runtime Verification for Java (Extended Version). 1595-1610 2015 25 Int. J. Softw. Eng. Knowl. Eng. 9-10 https://doi.org/10.1142/S0218194015400343 db/journals/ijseke/ijseke25.html#XiangQB15

Chengcheng Xiang Zhengwei Qi Walter Binder Flexible and Extensible Runtime Verification for Java. 595-600 2015 SEKE https://doi.org/10.18293/SEKE2015-117 conf/seke/2015 db/conf/seke/seke2015.html#XiangQB15 Rui Xin Zhengwei Qi Shiqiu Huang Chengcheng Xiang Yudi Zheng Yin Wang 0001 Haibing Guan An Automation-Assisted Empirical Study on Lock Usage for Concurrent Programs. 100-109 2013 ICSM https://doi.org/10.1109/ICSM.2013.21 https://doi.ieeecomputersociety.org/10.1109/ICSM.2013.21 conf/icsm/2013 db/conf/icsm/icsm2013.html#XinQHXZWG13 Walter Binder Haibing Guan Haochen Huang Shiqiu Huang Xinxin Jin Jian Li 0021 Zhong LiLi Zhong Yongtu Liang Ruhui Ma Cindy Moore Eric Mugnier Nathaniel Nguyen Shankar Pasupathy Zhengwei Qi Rui Qiu Bingyu Shen 0002 Mingyao Shen Tianwei Sheng Yin Wang 0001 David S. L. Wei Lili Wei Guangming Wu Yudong Wu Rui Xin Tianyin Xu Xiaohan Yan Andrew Yoo Miao Yu Haoran Zhang 0002 Yudi Zheng Xianming Zhong Xingyuan Zhou Yuanyuan Zhou 0001