Image de couverture de livre

Optimal Circuit Synthesis of Linear Codes for Error Detection and Correction

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yang, Xi, Chen, Taolue, Chen, Yuqi, Song, Fu, Wang, Chundong, Wu, Zhilin
Format:	Preprint
Publié:	2026
Sujets:	Cryptography and Security Logic in Computer Science Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards Efficient Verification of Constant-Time Cryptographic Implementations
par: Cai, Luwei, et autres
Publié: (2024)

Uma Prova de Conceito para a Verificação Formal de Contratos Inteligentes
par: Neves, Murilo de Souza, et autres
Publié: (2026)

Taint Analysis for Graph APIs Focusing on Broken Access Control
par: Lambers, Leen, et autres
Publié: (2025)

Formal Model Guided Conformance Testing for Blockchains
par: Drobnjakovic, Filip, et autres
Publié: (2025)

Evaluating Implicit Regulatory Compliance in LLM Tool Invocation via Logic-Guided Synthesis
par: Song, Da, et autres
Publié: (2026)

Defending Code Language Models against Backdoor Attacks with Deceptive Cross-Entropy Loss
par: Yang, Guang, et autres
Publié: (2024)

When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
par: Peng, Yibo, et autres
Publié: (2025)

How Code Representation Shapes False-Positive Dynamics in Cross-Language LLM Vulnerability Detection
par: Chen, Maofei, et autres
Publié: (2026)

DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
par: Xiao, Yuan, et autres
Publié: (2025)

CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
par: Wang, Hao, et autres
Publié: (2024)

Train in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code Datasets
par: Xiao, Yuan, et autres
Publié: (2026)

FDI: Attack Neural Code Generation Systems through User Feedback Channel
par: Sun, Zhensu, et autres
Publié: (2024)

Semantic Consensus Decoding: Backdoor Defense for Verilog Code Generation
par: Yang, Guang, et autres
Publié: (2026)

Security of Language Models for Code: A Systematic Literature Review
par: Chen, Yuchen, et autres
Publié: (2024)

Security Weaknesses of Copilot-Generated Code in GitHub Projects: An Empirical Study
par: Fu, Yujia, et autres
Publié: (2023)

Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs
par: Zhao, Jian, et autres
Publié: (2024)

An Empirical Study on the Effectiveness of Large Language Models for Binary Code Understanding
par: Shang, Xiuwei, et autres
Publié: (2025)

Probing Privacy Leaks in LLM-based Code Generation via Test Generation
par: Ge, Yifei, et autres
Publié: (2026)

Unsupervised Binary Code Translation with Application to Code Similarity Detection and Vulnerability Discovery
par: Ahmad, Iftakhar, et autres
Publié: (2024)

SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
par: Lingxiang, Wang, et autres
Publié: (2025)

Secure Coding with AI -- From Detection to Repair
par: Belozerov, Vladislav, et autres
Publié: (2025)

Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation
par: Lin, Bo, et autres
Publié: (2025)

CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph
par: Xu, Hanxiang, et autres
Publié: (2024)

Multi-Agent Collaborative Fuzzing with Continuous Reflection for Smart Contracts Vulnerability Detection
par: Chen, Jie, et autres
Publié: (2025)

FCGHunter: Towards Evaluating Robustness of Graph-Based Android Malware Detection
par: Song, Shiwen, et autres
Publié: (2025)

Backdoors in Code Summarizers: How Bad Is It?
par: Wang, Chenyu, et autres
Publié: (2025)

Impact of Code Transformation on Detection of Smart Contract Vulnerabilities
par: Manh, Cuong Tran, et autres
Publié: (2024)

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
par: Zhang, Jiashuo, et autres
Publié: (2024)

SCAFFOLD-CEGIS: Preventing Latent Security Degradation in LLM-Driven Iterative Code Refinement
par: Chen, Yi, et autres
Publié: (2026)

EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
par: Liang, Ruichao, et autres
Publié: (2026)

Cross-Inlining Binary Function Similarity Detection
par: Jia, Ang, et autres
Publié: (2024)

Gotcha! This Model Uses My Code! Evaluating Membership Leakage Risks in Code Models
par: Yang, Zhou, et autres
Publié: (2023)

Detecting Stealthy Data Poisoning Attacks in AI Code Generators
par: Improta, Cristina
Publié: (2025)

Lightweight Vulnerability Detection from Code Metrics and Token Features
par: Chiu, Chun Yin
Publié: (2026)

Security Is Relative: Training-Free Vulnerability Detection via Multi-Agent Behavioral Contract Synthesis
par: Wang, Yongchao, et autres
Publié: (2026)

Generating API Parameter Security Rules with LLM for API Misuse Detection
par: Liu, Jinghua, et autres
Publié: (2024)

Demonstration Attack against In-Context Learning for Code Intelligence
par: Ge, Yifei, et autres
Publié: (2024)

RealSec-bench: A Benchmark for Evaluating Secure Code Generation in Real-World Repositories
par: Wang, Yanlin, et autres
Publié: (2026)

Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection
par: Lin, Bo, et autres
Publié: (2025)

Similar but Patched Code Considered Harmful -- The Impact of Similar but Patched Code on Recurring Vulnerability Detection and How to Remove Them
par: Tan, Zixuan, et autres
Publié: (2024)