.

Author: daoyuan14

_bibliography/papers.bib

@@ -3,59 +3,89 @@
 
 @string{aps = {American Physical Society,}}
 
+@article{zhang2025acfix,
+  abbr={TSE},
+  selected={true},
+  bibtex_show={true},
+  title={ACFix: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts},
+  author={Zhang, Lyuye and Li, Kaixuan and Sun, Kairan and Wu, Daoyuan and Liu, Ye and Tian, Haoye and Liu, Yang},
+  journal={IEEE Transactions on Software Engineering (TSE)},
+  year={2025},
+}
+
 @inproceedings{zhong2025detecting,
   abbr={ASE},
   selected={true},
+  bibtex_show={true},
   title={Detecting Various DeFi Price Manipulations with LLM Reasoning},
   author={Zhong, Juantao and Wu, Daoyuan and Liu, Ye and Xie, Maoyi and Liu, Yang and Li, Yi and Liu, Ning},
   booktitle={Proc. IEEE/ACM Automated Software Engineering (ASE)},
   year={2025}
 }
 
+@inproceedings{liu2025demystifying,
+  abbr={ASE},
+  selected={true},
+  bibtex_show={true},
+  title={Demystifying OpenZeppelin's Own Vulnerabilities and Analyzing Their Propagation in Smart Contracts},
+  author={Liu, Han and Wu, Daoyuan and Sun, Yuqiang and Wang, Shuai and Liu, Yang and Chen, Yixiang}
+  booktitle={Proc. IEEE/ACM Automated Software Engineering (ASE)},
+  year={2025}
+}
+
+@inproceedings{liu2025have,
+  abbr={ASE},
+  bibtex_show={true},
+  title={Have We Solved Access Control Vulnerability Detection in Smart Contracts? A Benchmark Study},
+  author={Liu, Han and Wu, Daoyuan and Sun, Yuqiang and Wang, Shuai and Liu, Yang}
+  booktitle={Proc. IEEE/ACM Automated Software Engineering (ASE)},
+  year={2025}
+}
+
 @inproceedings{ji2025measuring,
   abbr={CCS},
   selected={true},
-  title={Measuring and augmenting large language models for solving capture-the-flag challenges},
+  bibtex_show={true},
+  title={Measuring and Augmenting Large Language Models for Solving Capture-the-Flag Challenges},
   author={Ji, Zimo and Wu, Daoyuan and Jiang, Wenyuan and Ma, Pingchuan and Li, Zongjie and Wang, Shuai},
-  booktitle={Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security},
-  pages={603--617},
+  booktitle={Proc. ACM Conference on Computer and Communications Security (CCS)},
   year={2025}
 }
 
 @inproceedings{wang2025selfdefend,
   abbr={USENIX Security},
   selected={true},
-  title={$\{$SelfDefend$\}$:$\{$LLMs$\}$ can defend themselves against jailbreaking in a practical manner},
+  bibtex_show={true},
+  title={SelfDefend: LLMs Can Defend Themselves against Jailbreaking in a Practical Manner},
   author={Wang, Xunguang and Wu, Daoyuan and Ji, Zhenlan and Li, Zongjie and Ma, Pingchuan and Wang, Shuai and Li, Yingjiu and Liu, Yang and Liu, Ning and Rahmel, Juergen},
-  booktitle={34th USENIX Security Symposium (USENIX Security 25)},
-  pages={2441--2460},
+  booktitle={Proc. USENIX Security Symposium},
   year={2025}
 }
 
 @inproceedings{peng2025testing,
   abbr={ICSE},
   selected={true},
+  bibtex_show={true},
   title={Testing and Understanding Deviation Behaviors in FHE-hardened Machine Learning Models},
   author={Peng, Yiteng and Wu, Daoyuan and Liu, Zhibo and Xiao, Dongwei and Ji, Zhenlan and Rahmel, Juergen and Wang, Shuai},
-  booktitle={IEEE Computer Society},
-  pages={644--644},
-  year={2025}
+  booktitle={Proc. IEEE/ACM Conference on Software Engineering (ICSE)},
+  year={2025},
 }
 
 @inproceedings{ma2025combining,
   abbr={ICSE},
   selected={true},
+  bibtex_show={true},
   title={Combining Fine-Tuning and LLM-Based Agents for Intuitive Smart Contract Auditing with Justifications},
   author={Ma, Wei and Wu, Daoyuan and Sun, Yuqiang and Wang, Tianwen and Liu, Shangqing and Zhang, Jian and Xue, Yue and Liu, Yang},
-  booktitle={2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)},
-  pages={1742--1754},
+  booktitle={Proc. IEEE/ACM Conference on Software Engineering (ICSE)},
   year={2025},
-  organization={IEEE}
 }
 
 @inproceedings{zhong2025detecting,
   abbr={NDSS},
   selected={true},
+  bibtex_show={true},
   title={PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation},
   author={Liu, Ye and Xue, Yue and Wu, Daoyuan and Sun, Yuqiang and Li, Yi and Shi, Miaolei and Liu, Yang},
   booktitle={Proc. ISOC Network and Distributed System Security Symposium (NDSS)},
@@ -65,36 +95,38 @@ @inproceedings{zhong2025detecting
 @inproceedings{liu2024using,
   abbr={USENIX Security},
   selected={true},
+  bibtex_show={true},
   title={Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts},
   author={Liu, Han and Wu, Daoyuan and Sun, Yuqiang and Wang, Haijun and Li, Kaixuan and Liu, Yang and Chen, Yixiang},
-  booktitle={33rd USENIX Security Symposium (USENIX Security 24)},
-  pages={3585--3601},
+  booktitle={Proc. USENIX Security Symposium},
   year={2024}
 }
 
 @inproceedings{sun2024gptscan,
   abbr={ICSE},
   selected={true},
-  title={Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis},
+  bibtex_show={true},
+  title={GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis},
   author={Sun, Yuqiang and Wu, Daoyuan and Xue, Yue and Liu, Han and Wang, Haijun and Xu, Zhengzi and Xie, Xiaofei and Liu, Yang},
-  booktitle={Proceedings of the IEEE/ACM 46th International Conference on Software Engineering},
-  pages={1--13},
-  year={2024}
+  booktitle={Proc. IEEE/ACM Conference on Software Engineering (ICSE)},
+  year={2024},
 }
 
 @inproceedings{fang2023beyond,
   abbr={ISSTA},
   selected={true},
+  bibtex_show={true},
   title={Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts},
   author={Fang, Yuzhou and Wu, Daoyuan and Yi, Xiao and Wang, Shuai and Chen, Yufan and Chen, Mengjie and Liu, Yang and Jiang, Lingxiao},
-  booktitle={Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis},
+  booktitle={Proc. ACM International Symposium on Software Testing and Analysis (ISSTA)},
   pages={1157--1168},
   year={2023}
 }
 
 @inproceedings{yi2023blockscope,
   abbr={NDSS},
   selected={true},
+  bibtex_show={true},
   title={BlockScope: Detecting and investigating propagated vulnerabilities in forked blockchain projects},
   author={Yi, Xiao and Fang, Yuzhou and Wu, Daoyuan and Jiang, Lingxiao},
   booktitle={Proc. ISOC Network and Distributed System Security Symposium (NDSS)},

_news/news_260101.md

@@ -5,4 +5,4 @@ inline: true
 related_posts: false
 ---
 
-A new lab page goes online! :sparkles: :smile:
+Our lab page goes online! :sparkles: :smile:

_pages/team.md

@@ -9,14 +9,6 @@ nav_order: 2
 profiles:
   # if you want to include more than one profile, just replicate the following block
   # and create one content file for each profile inside _pages/
-  - align: right
-    image: prof_pic.jpg
-    content: about_einstein.md
-    image_circular: false # crops the image to make it circular
-    more_info: >
-      <p>555 your office number</p>
-      <p>123 your address street</p>
-      <p>Your City, State 12345</p>
   - align: left
     image: prof_pic.jpg
     content: about_einstein.md