Cover Image

NIFuzz: Estimating Quantified Information Flow with a Fuzzer

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Blackwell, Daniel, Becker, Ingolf, Clark, David
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hyperfuzzing: black-box security hypertesting with a grey-box fuzzer
by: Blackwell, Daniel, et al.
Published: (2023)

PrescientFuzz: A more effective exploration approach for grey-box fuzzing
by: Blackwell, Daniel, et al.
Published: (2024)

QUIC-Fuzz: An Effective Greybox Fuzzer For The QUIC Protocol
by: Ang, Kian Kai, et al.
Published: (2025)

FirmReBugger: A Benchmark Framework for Monolithic Firmware Fuzzers
by: Duong, Mathew, et al.
Published: (2026)

ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space
by: Chen, Chuyang, et al.
Published: (2025)

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

DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts
by: Medeiros, Ismael, et al.
Published: (2024)

BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer
by: Jha, Piyush, et al.
Published: (2023)

An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security
by: Boltz, Nicolas, et al.
Published: (2024)

A Practical Guideline and Taxonomy to LLVM's Control Flow Integrity
by: Houy, Sabine, et al.
Published: (2025)

MalFlows: Context-aware Fusion of Heterogeneous Flow Semantics for Android Malware Detection
by: Meng, Zhaoyi, et al.
Published: (2025)

FlowMalTrans: Unsupervised Binary Code Translation for Malware Detection Using Flow-Adapter Architecture
by: Hu, Minghao, et al.
Published: (2025)

Visualizing Privacy-Relevant Data Flows in Android Applications
by: Khedkar, Mugdha, et al.
Published: (2025)

Enforcing Control Flow Integrity on DeFi Smart Contracts
by: Chen, Zhiyang, et al.
Published: (2025)

AUTOVR: Automated UI Exploration for Detecting Sensitive Data Flow Exposures in Virtual Reality Apps
by: Kim, John Y., et al.
Published: (2025)

A Universal System for OpenID Connect Sign-ins with Verifiable Credentials and Cross-Device Flow
by: Hoops, Felix, et al.
Published: (2024)

Toward Secure Web to ERP Payment Flows: A Case Study of HTTP Header Trust Failures in SAP Based Systems
by: Dini, Vick
Published: (2026)

Co-designing heterogeneous models: a distributed systems approach
by: Ilau, Marius-Constantin, et al.
Published: (2024)

Towards Precise Detection of Personal Information Leaks in Mobile Health Apps
by: Ardalani, Alireza, et al.
Published: (2024)

X.509 Information Security Certification Based on Post-Quantum Cryptography
by: Chen, Abel C. H.
Published: (2024)

Transforming Information Systems Management: A Reference Model for Digital Engineering Integration
by: Bonar, John, et al.
Published: (2024)

Model-Checking the Implementation of Consent
by: Pardo, Raúl, et al.
Published: (2024)

Evolution of Log-Based Detection Rules in Public Repositories
by: Long, Minjun, et al.
Published: (2026)

VDGraph: A Graph-Theoretic Approach to Unlock Insights from SBOM and SCA Data
by: Xia, Howell, et al.
Published: (2025)

Privacy Bills of Materials: A Transparent Privacy Information Inventory for Collaborative Privacy Notice Generation in Mobile App Development
by: Tao, Zhen, et al.
Published: (2025)

Classport: Designing Runtime Dependency Introspection for Java
by: Cofano, Serena, et al.
Published: (2025)

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
by: Gleirscher, Mario, et al.
Published: (2020)

Backdoors in Code Summarizers: How Bad Is It?
by: Wang, Chenyu, et al.
Published: (2025)

CVE Breadcrumbs: Tracking Vulnerabilities Through Versioned Apache Libraries
by: Garcia, Derek, et al.
Published: (2025)

An Empirical Study of Vulnerable Package Dependencies in LLM Repositories
by: Liu, Shuhan, et al.
Published: (2025)

Aligning Security Compliance and DevOps: A Longitudinal Study
by: Moyón, Fabiola, et al.
Published: (2025)

Evaluating Tool Cloning in Agentic-AI Ecosystems
by: Kim, Taein, et al.
Published: (2026)

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
by: Huang, Huihui, et al.
Published: (2026)

OmniBOR: A System for Automatic, Verifiable Artifact Resolution across Software Supply Chains
by: Seshadri, Bharathi, et al.
Published: (2024)

Expert-in-the-Loop Systems with Cross-Domain and In-Domain Few-Shot Learning for Software Vulnerability Detection
by: Farr, David, et al.
Published: (2025)

"Your AI, My Shell": Demystifying Prompt Injection Attacks on Agentic AI Coding Editors
by: Liu, Yue, et al.
Published: (2025)

How Agentic AI Coding Assistants Become the Attacker's Shell
by: Liu, Yue, et al.
Published: (2026)

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

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

Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
by: Ma, Chengyan, et al.
Published: (2026)