Buchumschlag

Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gridin, Iaroslav, Michalas, Antonis
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security D.2.5; D.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Survey of Protocol Fuzzing
von: Zhang, Xiaohan, et al.
Veröffentlicht: (2024)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
von: Rawat, Sanjay
Veröffentlicht: (2026)

Evaluating Cryptographic API Misuse Detectors for Go
von: Andersson, Vivi, et al.
Veröffentlicht: (2026)

Automated Vulnerability Detection Using Deep Learning Technique
von: Yang, Guan-Yan, et al.
Veröffentlicht: (2024)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
von: Wienczkowski, Michael
Veröffentlicht: (2026)

CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
von: Eom, Jueon, et al.
Veröffentlicht: (2024)

How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
von: Zhang, Cen, et al.
Veröffentlicht: (2023)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
von: Yoon, Gangho, et al.
Veröffentlicht: (2025)

LibLMFuzz: LLM-Augmented Fuzz Target Generation for Black-box Libraries
von: Hardgrove, Ian, et al.
Veröffentlicht: (2025)

A Multi-Layered Security Analysis of Blockchain Systems: From Attack Vectors to Defense and System Hardening
von: Yang, Yuhuan, et al.
Veröffentlicht: (2025)

Orion: Fuzzing Workflow Automation
von: Bazalii, Max, et al.
Veröffentlicht: (2025)

FuzzRDUCC: Fuzzing with Reconstructed Def-Use Chain Coverage
von: Feng, Kai, et al.
Veröffentlicht: (2025)

FuzzPilot: Plateau-Triggered Recipe Validation for Structured Text Fuzzing
von: Yao, Zhiyi
Veröffentlicht: (2026)

An Empirical Study of Fuzz Harness Degradation
von: Görz, Philipp, et al.
Veröffentlicht: (2025)

Combating Reentrancy Bugs on Sharded Blockchains
von: Kashitsyn, Roman, et al.
Veröffentlicht: (2025)

QUT: A Unit Testing Framework for Quantum Subroutines
von: Klymenko, Mykhailo V., et al.
Veröffentlicht: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
von: Licorish, Sherlock A., et al.
Veröffentlicht: (2025)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
von: Marri, Srinivas Rao
Veröffentlicht: (2026)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
von: Yu, Boxi, et al.
Veröffentlicht: (2026)

Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis
von: Wu, Jixuan, et al.
Veröffentlicht: (2025)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
von: Li, Xiaoqi, et al.
Veröffentlicht: (2026)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
von: Liyanage, Danushka, et al.
Veröffentlicht: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

Beyond Edge Coverage: Per-Task Data-Flow Extraction at Kernel Function Boundaries via LLVM
von: Kim, Yunseong
Veröffentlicht: (2026)

Validating Formal Specifications with LLM-generated Test Cases
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
von: Zietsman, Christo
Veröffentlicht: (2026)

Continuous Discovery of Vulnerabilities in LLM Serving Systems with Fuzzing
von: Zhao, Yunze, et al.
Veröffentlicht: (2026)

Modelling Trust and Trusted Systems: A Category Theoretic Approach
von: Oliver, Ian, et al.
Veröffentlicht: (2026)

Combined Program Analysis Techniques: A Systematic Mapping Study
von: Braione, Pietro, et al.
Veröffentlicht: (2026)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
von: Sharmin, Shaila, et al.
Veröffentlicht: (2025)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
von: Ravi, Ravin, et al.
Veröffentlicht: (2026)

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
von: Kadaboina, Ravi Kiran
Veröffentlicht: (2026)

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
von: Mostovyi, Oleksandr
Veröffentlicht: (2026)

LLM Based Input Space Partitioning Testing for Library APIs
von: Li, Jiageng, et al.
Veröffentlicht: (2024)

AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes
von: Murali, Aniruddhan, et al.
Veröffentlicht: (2024)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
von: Garcia, Rémi, et al.
Veröffentlicht: (2024)

Model checking of hyperproperties for high-level relational models
von: Macedo, Nuno, et al.
Veröffentlicht: (2025)

False Security Confidence in Benign LLM Code Generation
von: Ren, Xiaolei
Veröffentlicht: (2026)

Swarm Contract: A Multi-Sovereign Agent Consensus Mechanism
von: Yang, Haowei
Veröffentlicht: (2024)

Secure IVSHMEM: End-to-End Shared-Memory Protocol with Hypervisor-CA Handshake and In-Kernel Access Control
von: Kim, Hyunwoo, et al.
Veröffentlicht: (2025)