Copertina

Scalable Test Generation to Trigger Rare Targets in High-Level Synthesizable IPs for Cloud FPGAs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Debnath, Mukta, Chowdhury, Animesh Basak, Saha, Debasri, Sur-Kolay, Susmita
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Enhancing Fuzz Testing Efficiency through Automated Fuzz Target Generation
di: Tran, Chi Thien
Pubblicazione: (2026)

OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
di: Ma, Jie, et al.
Pubblicazione: (2025)

RiskHarvester: A Risk-based Tool to Prioritize Secret Removal Efforts in Software Artifacts
di: Basak, Setu Kumar, et al.
Pubblicazione: (2025)

ReposVul: A Repository-Level High-Quality Vulnerability Dataset
di: Wang, Xinchen, et al.
Pubblicazione: (2024)

Triggering and Detecting Exploitable Library Vulnerability from the Client by Directed Greybox Fuzzing
di: Zhao, Yukai, et al.
Pubblicazione: (2026)

Automatic, Expressive, and Scalable Fuzzing with Stitching
di: Green, Harrison, et al.
Pubblicazione: (2026)

A Holistic Approach to E-Commerce Innovation: Redefining Security and User Experience
di: Akash, Mohammad Olid Ali, et al.
Pubblicazione: (2025)

Mind the Gap: Evaluating LLMs for High-Level Malicious Package Detection vs. Fine-Grained Indicator Identification
di: Ryan, Ahmed, et al.
Pubblicazione: (2026)

AssetHarvester: A Static Analysis Tool for Detecting Secret-Asset Pairs in Software Artifacts
di: Basak, Setu Kumar, et al.
Pubblicazione: (2024)

iblock: Accurate and Scalable Bitcoin Simulations with OMNeT++
di: Scatena, Niccolò, et al.
Pubblicazione: (2025)

Security Testing of RESTful APIs With Test Case Mutation
di: Salva, Sebastien, et al.
Pubblicazione: (2024)

LeakGuard: Detecting Memory Leaks Accurately and Scalably
di: Liang, Hongliang, et al.
Pubblicazione: (2025)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
di: Liu, Yuwei, et al.
Pubblicazione: (2026)

CAShift: Benchmarking Log-Based Cloud Attack Detection under Normality Shift
di: Yu, Jiongchi, et al.
Pubblicazione: (2025)

Reactive Bottom-Up Testing
di: Muralee, Siddharth, et al.
Pubblicazione: (2025)

Assessing the Effectiveness of Binary-Level CFI Techniques
di: Vaidya, Ruturaj K., et al.
Pubblicazione: (2024)

Automated Penetration Testing: Formalization and Realization
di: Skandylas, Charilaos, et al.
Pubblicazione: (2024)

Reinforcement Learning-Driven Adaptation Chains: A Robust Framework for Multi-Cloud Workflow Security
di: Soveizi, Nafiseh, et al.
Pubblicazione: (2025)

Towards the Systematic Testing of Regular Expression Engines
di: Çakar, Berk, et al.
Pubblicazione: (2026)

FuzzBox: Blending Fuzzing into Emulation for Binary-Only Embedded Targets
di: Cesarano, Carmine, et al.
Pubblicazione: (2025)

Evaluating Large Language Models for Line-Level Vulnerability Localization
di: Zhang, Jian, et al.
Pubblicazione: (2024)

On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities
di: Li, Zhen, et al.
Pubblicazione: (2024)

SoK: Where to Fuzz? Assessing Target Selection Methods in Directed Fuzzing
di: Weissberg, Felix, et al.
Pubblicazione: (2025)

Decoding Secret Memorization in Code LLMs Through Token-Level Characterization
di: Nie, Yuqing, et al.
Pubblicazione: (2024)

VulEval: Towards Repository-Level Evaluation of Software Vulnerability Detection
di: Wen, Xin-Cheng, et al.
Pubblicazione: (2024)

SCRUTINEER: Detecting Logic-Level Usage Violations of Reusable Components in Smart Contracts
di: Lin, Xingshuang, et al.
Pubblicazione: (2025)

A Taxonomy of System-Level Attacks on Deep Learning Models in Autonomous Vehicles
di: Tehrani, Masoud Jamshidiyan, et al.
Pubblicazione: (2024)

PrediQL: Automated Testing of GraphQL APIs with LLMs
di: Liu, Shaolun, et al.
Pubblicazione: (2025)

PentestGPT: An LLM-empowered Automatic Penetration Testing Tool
di: Deng, Gelei, et al.
Pubblicazione: (2023)

AIM: Automated Input Set Minimization for Metamorphic Security Testing
di: Chaleshtari, Nazanin Bayati, et al.
Pubblicazione: (2024)

PPT4J: Patch Presence Test for Java Binaries
di: Pan, Zhiyuan, et al.
Pubblicazione: (2023)

Beyond Function-Level Analysis: Context-Aware Reasoning for Inter-Procedural Vulnerability Detection
di: Li, Yikun, et al.
Pubblicazione: (2026)

ChainFuzzer: Greybox Fuzzing for Workflow-Level Multi-Tool Vulnerabilities in LLM Agents
di: Wu, Jiangrong, et al.
Pubblicazione: (2026)

Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
di: Kanchi, Shravya, et al.
Pubblicazione: (2026)

Automated Testing of Broken Authentication Vulnerabilities in Web APIs with AuthREST
di: Corradini, Davide, et al.
Pubblicazione: (2025)

TPSQLi: Test Prioritization for SQL Injection Vulnerability Detection in Web Applications
di: Yang, Guan-Yan, et al.
Pubblicazione: (2025)

CleanVul: Automatic Function-Level Vulnerability Detection in Code Commits Using LLM Heuristics
di: Li, Yikun, et al.
Pubblicazione: (2024)

FuzzSlice: Pruning False Positives in Static Analysis Warnings Through Function-Level Fuzzing
di: Murali, Aniruddhan, et al.
Pubblicazione: (2024)

GraphQLer: Enhancing GraphQL Security with Context-Aware API Testing
di: Tsai, Omar, et al.
Pubblicazione: (2025)

What Makes a Good LLM Agent for Real-world Penetration Testing?
di: Deng, Gelei, et al.
Pubblicazione: (2026)