Optimal Circuit Synthesis of Linear Codes for Error Detection and Correction
Fuente:
arXiv
Salvato in:
| Autori principali: | Yang, Xi, Chen, Taolue, Chen, Yuqi, Song, Fu, Wang, Chundong, Wu, Zhilin |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Towards Efficient Verification of Constant-Time Cryptographic Implementations
di: Cai, Luwei, et al.
Pubblicazione: (2024)
di: Cai, Luwei, et al.
Pubblicazione: (2024)
Uma Prova de Conceito para a Verificação Formal de Contratos Inteligentes
di: Neves, Murilo de Souza, et al.
Pubblicazione: (2026)
di: Neves, Murilo de Souza, et al.
Pubblicazione: (2026)
Taint Analysis for Graph APIs Focusing on Broken Access Control
di: Lambers, Leen, et al.
Pubblicazione: (2025)
di: Lambers, Leen, et al.
Pubblicazione: (2025)
Formal Model Guided Conformance Testing for Blockchains
di: Drobnjakovic, Filip, et al.
Pubblicazione: (2025)
di: Drobnjakovic, Filip, et al.
Pubblicazione: (2025)
Evaluating Implicit Regulatory Compliance in LLM Tool Invocation via Logic-Guided Synthesis
di: Song, Da, et al.
Pubblicazione: (2026)
di: Song, Da, et al.
Pubblicazione: (2026)
Defending Code Language Models against Backdoor Attacks with Deceptive Cross-Entropy Loss
di: Yang, Guang, et al.
Pubblicazione: (2024)
di: Yang, Guang, et al.
Pubblicazione: (2024)
When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
di: Peng, Yibo, et al.
Pubblicazione: (2025)
di: Peng, Yibo, et al.
Pubblicazione: (2025)
How Code Representation Shapes False-Positive Dynamics in Cross-Language LLM Vulnerability Detection
di: Chen, Maofei, et al.
Pubblicazione: (2026)
di: Chen, Maofei, et al.
Pubblicazione: (2026)
DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
di: Xiao, Yuan, et al.
Pubblicazione: (2025)
di: Xiao, Yuan, et al.
Pubblicazione: (2025)
CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
di: Wang, Hao, et al.
Pubblicazione: (2024)
di: Wang, Hao, et al.
Pubblicazione: (2024)
Train in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code Datasets
di: Xiao, Yuan, et al.
Pubblicazione: (2026)
di: Xiao, Yuan, et al.
Pubblicazione: (2026)
FDI: Attack Neural Code Generation Systems through User Feedback Channel
di: Sun, Zhensu, et al.
Pubblicazione: (2024)
di: Sun, Zhensu, et al.
Pubblicazione: (2024)
Semantic Consensus Decoding: Backdoor Defense for Verilog Code Generation
di: Yang, Guang, et al.
Pubblicazione: (2026)
di: Yang, Guang, et al.
Pubblicazione: (2026)
Security of Language Models for Code: A Systematic Literature Review
di: Chen, Yuchen, et al.
Pubblicazione: (2024)
di: Chen, Yuchen, et al.
Pubblicazione: (2024)
Security Weaknesses of Copilot-Generated Code in GitHub Projects: An Empirical Study
di: Fu, Yujia, et al.
Pubblicazione: (2023)
di: Fu, Yujia, et al.
Pubblicazione: (2023)
Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs
di: Zhao, Jian, et al.
Pubblicazione: (2024)
di: Zhao, Jian, et al.
Pubblicazione: (2024)
An Empirical Study on the Effectiveness of Large Language Models for Binary Code Understanding
di: Shang, Xiuwei, et al.
Pubblicazione: (2025)
di: Shang, Xiuwei, et al.
Pubblicazione: (2025)
Probing Privacy Leaks in LLM-based Code Generation via Test Generation
di: Ge, Yifei, et al.
Pubblicazione: (2026)
di: Ge, Yifei, et al.
Pubblicazione: (2026)
Unsupervised Binary Code Translation with Application to Code Similarity Detection and Vulnerability Discovery
di: Ahmad, Iftakhar, et al.
Pubblicazione: (2024)
di: Ahmad, Iftakhar, et al.
Pubblicazione: (2024)
SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
di: Lingxiang, Wang, et al.
Pubblicazione: (2025)
di: Lingxiang, Wang, et al.
Pubblicazione: (2025)
Secure Coding with AI -- From Detection to Repair
di: Belozerov, Vladislav, et al.
Pubblicazione: (2025)
di: Belozerov, Vladislav, et al.
Pubblicazione: (2025)
Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation
di: Lin, Bo, et al.
Pubblicazione: (2025)
di: Lin, Bo, et al.
Pubblicazione: (2025)
CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph
di: Xu, Hanxiang, et al.
Pubblicazione: (2024)
di: Xu, Hanxiang, et al.
Pubblicazione: (2024)
Multi-Agent Collaborative Fuzzing with Continuous Reflection for Smart Contracts Vulnerability Detection
di: Chen, Jie, et al.
Pubblicazione: (2025)
di: Chen, Jie, et al.
Pubblicazione: (2025)
FCGHunter: Towards Evaluating Robustness of Graph-Based Android Malware Detection
di: Song, Shiwen, et al.
Pubblicazione: (2025)
di: Song, Shiwen, et al.
Pubblicazione: (2025)
Backdoors in Code Summarizers: How Bad Is It?
di: Wang, Chenyu, et al.
Pubblicazione: (2025)
di: Wang, Chenyu, et al.
Pubblicazione: (2025)
Impact of Code Transformation on Detection of Smart Contract Vulnerabilities
di: Manh, Cuong Tran, et al.
Pubblicazione: (2024)
di: Manh, Cuong Tran, et al.
Pubblicazione: (2024)
Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
di: Zhang, Jiashuo, et al.
Pubblicazione: (2024)
di: Zhang, Jiashuo, et al.
Pubblicazione: (2024)
SCAFFOLD-CEGIS: Preventing Latent Security Degradation in LLM-Driven Iterative Code Refinement
di: Chen, Yi, et al.
Pubblicazione: (2026)
di: Chen, Yi, et al.
Pubblicazione: (2026)
EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
di: Liang, Ruichao, et al.
Pubblicazione: (2026)
di: Liang, Ruichao, et al.
Pubblicazione: (2026)
Cross-Inlining Binary Function Similarity Detection
di: Jia, Ang, et al.
Pubblicazione: (2024)
di: Jia, Ang, et al.
Pubblicazione: (2024)
Gotcha! This Model Uses My Code! Evaluating Membership Leakage Risks in Code Models
di: Yang, Zhou, et al.
Pubblicazione: (2023)
di: Yang, Zhou, et al.
Pubblicazione: (2023)
Detecting Stealthy Data Poisoning Attacks in AI Code Generators
di: Improta, Cristina
Pubblicazione: (2025)
di: Improta, Cristina
Pubblicazione: (2025)
Lightweight Vulnerability Detection from Code Metrics and Token Features
di: Chiu, Chun Yin
Pubblicazione: (2026)
di: Chiu, Chun Yin
Pubblicazione: (2026)
Security Is Relative: Training-Free Vulnerability Detection via Multi-Agent Behavioral Contract Synthesis
di: Wang, Yongchao, et al.
Pubblicazione: (2026)
di: Wang, Yongchao, et al.
Pubblicazione: (2026)
Generating API Parameter Security Rules with LLM for API Misuse Detection
di: Liu, Jinghua, et al.
Pubblicazione: (2024)
di: Liu, Jinghua, et al.
Pubblicazione: (2024)
Demonstration Attack against In-Context Learning for Code Intelligence
di: Ge, Yifei, et al.
Pubblicazione: (2024)
di: Ge, Yifei, et al.
Pubblicazione: (2024)
RealSec-bench: A Benchmark for Evaluating Secure Code Generation in Real-World Repositories
di: Wang, Yanlin, et al.
Pubblicazione: (2026)
di: Wang, Yanlin, et al.
Pubblicazione: (2026)
Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection
di: Lin, Bo, et al.
Pubblicazione: (2025)
di: Lin, Bo, et al.
Pubblicazione: (2025)
Similar but Patched Code Considered Harmful -- The Impact of Similar but Patched Code on Recurring Vulnerability Detection and How to Remove Them
di: Tan, Zixuan, et al.
Pubblicazione: (2024)
di: Tan, Zixuan, et al.
Pubblicazione: (2024)
Documenti analoghi
-
Towards Efficient Verification of Constant-Time Cryptographic Implementations
di: Cai, Luwei, et al.
Pubblicazione: (2024) -
Uma Prova de Conceito para a Verificação Formal de Contratos Inteligentes
di: Neves, Murilo de Souza, et al.
Pubblicazione: (2026) -
Taint Analysis for Graph APIs Focusing on Broken Access Control
di: Lambers, Leen, et al.
Pubblicazione: (2025) -
Formal Model Guided Conformance Testing for Blockchains
di: Drobnjakovic, Filip, et al.
Pubblicazione: (2025) -
Evaluating Implicit Regulatory Compliance in LLM Tool Invocation via Logic-Guided Synthesis
di: Song, Da, et al.
Pubblicazione: (2026)