Copertina

Optimal Circuit Synthesis of Linear Codes for Error Detection and Correction

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Yang, Xi, Chen, Taolue, Chen, Yuqi, Song, Fu, Wang, Chundong, Wu, Zhilin
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Cryptography and Security Logic in Computer Science Software Engineering
Accesso online:	Acceder al recurso
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)

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)

Defending Code Language Models against Backdoor Attacks with Deceptive Cross-Entropy Loss
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)

How Code Representation Shapes False-Positive Dynamics in Cross-Language LLM Vulnerability Detection
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)

CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
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)

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

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

Security of Language Models for Code: A Systematic Literature Review
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)

Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs
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)

Probing Privacy Leaks in LLM-based Code Generation via Test Generation
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)

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

Secure Coding with AI -- From Detection to Repair
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)

CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph
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)

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

Backdoors in Code Summarizers: How Bad Is It?
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)

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
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)

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

Cross-Inlining Binary Function Similarity Detection
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)

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

Lightweight Vulnerability Detection from Code Metrics and Token Features
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)

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

Demonstration Attack against In-Context Learning for Code Intelligence
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)

Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection
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)