:: Library Catalog

Imatge de la portada

Guardat en:

Dades bibliogràfiques
Autors principals:	Yang, Xi, Chen, Taolue, Chen, Yuqi, Song, Fu, Wang, Chundong, Wu, Zhilin
Format:	Preprint
Publicat:	2026
Matèries:	Cryptography and Security Logic in Computer Science Software Engineering
Accés en línia:	https://arxiv.org/abs/2604.03608
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Towards Efficient Verification of Constant-Time Cryptographic Implementations
per: Cai, Luwei, et al.
Publicat: (2024)

Uma Prova de Conceito para a Verificação Formal de Contratos Inteligentes
per: Neves, Murilo de Souza, et al.
Publicat: (2026)

Taint Analysis for Graph APIs Focusing on Broken Access Control
per: Lambers, Leen, et al.
Publicat: (2025)

Formal Model Guided Conformance Testing for Blockchains
per: Drobnjakovic, Filip, et al.
Publicat: (2025)

Evaluating Implicit Regulatory Compliance in LLM Tool Invocation via Logic-Guided Synthesis
per: Song, Da, et al.
Publicat: (2026)

Defending Code Language Models against Backdoor Attacks with Deceptive Cross-Entropy Loss
per: Yang, Guang, et al.
Publicat: (2024)

When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
per: Peng, Yibo, et al.
Publicat: (2025)

How Code Representation Shapes False-Positive Dynamics in Cross-Language LLM Vulnerability Detection
per: Chen, Maofei, et al.
Publicat: (2026)

DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
per: Xiao, Yuan, et al.
Publicat: (2025)

CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
per: Wang, Hao, et al.
Publicat: (2024)

Train in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code Datasets
per: Xiao, Yuan, et al.
Publicat: (2026)

FDI: Attack Neural Code Generation Systems through User Feedback Channel
per: Sun, Zhensu, et al.
Publicat: (2024)

Semantic Consensus Decoding: Backdoor Defense for Verilog Code Generation
per: Yang, Guang, et al.
Publicat: (2026)

Security Weaknesses of Copilot-Generated Code in GitHub Projects: An Empirical Study
per: Fu, Yujia, et al.
Publicat: (2023)

Security of Language Models for Code: A Systematic Literature Review
per: Chen, Yuchen, et al.
Publicat: (2024)

An Empirical Study on the Effectiveness of Large Language Models for Binary Code Understanding
per: Shang, Xiuwei, et al.
Publicat: (2025)

Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs
per: Zhao, Jian, et al.
Publicat: (2024)

Probing Privacy Leaks in LLM-based Code Generation via Test Generation
per: Ge, Yifei, et al.
Publicat: (2026)

SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
per: Lingxiang, Wang, et al.
Publicat: (2025)

Unsupervised Binary Code Translation with Application to Code Similarity Detection and Vulnerability Discovery
per: Ahmad, Iftakhar, et al.
Publicat: (2024)

CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph
per: Xu, Hanxiang, et al.
Publicat: (2024)

Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation
per: Lin, Bo, et al.
Publicat: (2025)

Secure Coding with AI -- From Detection to Repair
per: Belozerov, Vladislav, et al.
Publicat: (2025)

FCGHunter: Towards Evaluating Robustness of Graph-Based Android Malware Detection
per: Song, Shiwen, et al.
Publicat: (2025)

Backdoors in Code Summarizers: How Bad Is It?
per: Wang, Chenyu, et al.
Publicat: (2025)

Multi-Agent Collaborative Fuzzing with Continuous Reflection for Smart Contracts Vulnerability Detection
per: Chen, Jie, et al.
Publicat: (2025)

Cross-Inlining Binary Function Similarity Detection
per: Jia, Ang, et al.
Publicat: (2024)

EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
per: Liang, Ruichao, et al.
Publicat: (2026)

Impact of Code Transformation on Detection of Smart Contract Vulnerabilities
per: Manh, Cuong Tran, et al.
Publicat: (2024)

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
per: Zhang, Jiashuo, et al.
Publicat: (2024)

SCAFFOLD-CEGIS: Preventing Latent Security Degradation in LLM-Driven Iterative Code Refinement
per: Chen, Yi, et al.
Publicat: (2026)

Gotcha! This Model Uses My Code! Evaluating Membership Leakage Risks in Code Models
per: Yang, Zhou, et al.
Publicat: (2023)

Demonstration Attack against In-Context Learning for Code Intelligence
per: Ge, Yifei, et al.
Publicat: (2024)

Generating API Parameter Security Rules with LLM for API Misuse Detection
per: Liu, Jinghua, et al.
Publicat: (2024)

Detecting Stealthy Data Poisoning Attacks in AI Code Generators
per: Improta, Cristina
Publicat: (2025)

Lightweight Vulnerability Detection from Code Metrics and Token Features
per: Chiu, Chun Yin
Publicat: (2026)

RealSec-bench: A Benchmark for Evaluating Secure Code Generation in Real-World Repositories
per: Wang, Yanlin, et al.
Publicat: (2026)

Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection
per: Lin, Bo, et al.
Publicat: (2025)

Security Is Relative: Training-Free Vulnerability Detection via Multi-Agent Behavioral Contract Synthesis
per: Wang, Yongchao, et al.
Publicat: (2026)

Constraint-based Adversarial Example Synthesis
per: Yu, Fang, et al.
Publicat: (2024)