JLKKKK

Author: wang-jingyi

_data/news.yml

@@ -1,3 +1,10 @@
+- date: Aug 2025
+  headline: One paper is accepted by CCS 2025, congrats to Huan!
+
+- date: Aug 2025
+  headline: One paper is accepted by NDSS 2026, congrats to Xiangxiang!
+
+
 - date: Aug 2025
   headline: Our paper *Towards Verifiable Federated Unlearning* has been awarded the Best Paper Award Runner-up of IEEE TDSC 2024. Big congrats to Xiangshan!
 

_data/phdstudents.yml

@@ -33,7 +33,7 @@
   number_educ: 3
   education1: B.E., Hefei University of Technology
   education2: Visiting PhD student of Prof. Phillipa Gardner's group at Imperial College London
-  education3: CONFEST/FMICS 23<sup>1st author</sup>
+  education3: CCS 25<sup>1st author</sup>, CONFEST/FMICS 23<sup>1st author</sup>
 
 
 - name: Xiangxiang Chen
@@ -42,7 +42,7 @@
   number_educ: 3
   education1: B.E., Xi'an Jiaotong University
   education2: Visiting PhD student of Prof. Dong Jin Song at National University of Singapore
-  education3: TOSEM 24<sup>1st author</sup>
+  education3: NDSS 26<sup>1st author</sup>, TOSEM 24<sup>1st author</sup>
 
 - name: Xuran Li
   photo: Xuran_Li.jpg

_pages/publications.md

@@ -31,9 +31,20 @@ permalink: /publications/
 
 [Arxiv] Zihan Liu, Ruinan Zeng, Dongxia Wang, Gengyun Peng, Jingyi Wang, Qiang Liu, Peiyu Liu, Wenhai Wang. *Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents.* arXiv:2410.14209, 2024. ([Paper link](https://arxiv.org/abs/2410.14209))
 
+
+<br>
+#### 2026
+
+
+[NDSS, CCF A] Xiangxiang Chen, Peixin Zhang, Jun Sun, Wenhai Wang, and Jingyi Wang\*. *Rounding-Guided Backdoor Injection in Deep Learning Model Quantilization*. The Network and Distributed System Security (NDSS) Symposium, San Diego, California, Feb 2026.
+
+
+
 <br>
 #### 2025
 
+[CCS, CCF A] Huan Sun, David Sanan, Jingyi Wang\*, Yongwang Zhao, Jun Sun and Wenhai Wang. *Generalized Security-Preserving Refinement for Concurrent Systems*. The 32nd ACM Conference on Computer and Communications Security, Taipei, China, Oct, 2025.
+
 [CCS, CCF A] Jianan Ma, Jingyi Wang\*, Qi Xuan and Zhen Wang. *Provable Repair of Deep Neural Network Defects through Pre-image Synthesis and Property Refinement*. The 32nd ACM Conference on Computer and Communications Security, Taipei, China, Oct, 2025.
 
 [ICSE, CCF A] Ziyu Mao, Jingyi Wang\*, Jun Sun, Shengchao Qin and Jiawen Xiong. *LLM-aided Automatic Modelling for Security Protocol Verification*. 47th International Conference on Software Engineering, Ottawa, Canada, Apr, 2025. (245/1150, acceptance rate: 21.3%)