wf

Author: zzm7000

_bibliography/papers.bib

@@ -1,15 +1,5 @@
 $2025
 
-@article{liang2025Vulseye,
-  	title={Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed Graybox Fuzzing},
-  	author={Liang, Ruichao and Chen, Jing and Wu, Cong and He, Kun and Wu, Yueming and Cao, Ruochen and Du, Ruiying and Zhao, Ziming and Liu, Yang},
-  	journal={IEEE Transactions on Information Forensics and Security},
-	abbr={TIFS}, 
-  	year={2025},
-  	bibtex_show={true},  
-  	publisher={IEEE}
-}
-
 @inproceedings{guan2025tls,
 	title={Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL},
 	author={Guan, Jingjing and Li, Hui and Xiangdong, Li and Wang, Xiaolei and Binghan, Wang and Wang, Qiuye and Qin, Shengchao and He, Mengda and Armanuzzaman, Md and Zhao, Ziming},