Cover Image

Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bhusal, Bishnu, Chadha, Rohit, Sistla, A. Prasad, Viswanathan, Mahesh
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Programming Languages D.2.5; F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
by: Rawat, Sanjay
Published: (2026)

Minimizing the Number of Roles in Bottom-Up Role-Mining using Maximal Biclique Enumeration
by: Tripunitara, Mahesh
Published: (2024)

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

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
by: Mostovyi, Oleksandr
Published: (2026)

Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing
by: Gridin, Iaroslav, et al.
Published: (2024)

Dynamic Race Detection With O(1) Samples
by: Thokair, Mosaad Al, et al.
Published: (2025)

Lean4Lean: Verifying a Typechecker for Lean, in Lean
by: Carneiro, Mario
Published: (2024)

The Need for Standardized Evidence Sampling in CMMC Assessments: A Survey-Based Analysis of Assessor Practices
by: Therrien, Logan, et al.
Published: (2026)

Protecting Spreadsheets Against Fraud
by: Mittermeir, Roland T., et al.
Published: (2008)

Policy as Code, Policy as Type
by: Fuchs, Matthew D.
Published: (2025)

Terminal Wrench: A Dataset of 331 Reward-Hackable Environments and 3,632 Exploit Trajectories
by: Bercovich, Ivan, et al.
Published: (2026)

Beyond Edge Coverage: Per-Task Data-Flow Extraction at Kernel Function Boundaries via LLVM
by: Kim, Yunseong
Published: (2026)

Evaluating Cryptographic API Misuse Detectors for Go
by: Andersson, Vivi, et al.
Published: (2026)

Verifying Device Drivers with Pancake
by: Zhao, Junming, et al.
Published: (2025)

The LLMbda Calculus: AI Agents, Conversations, and Information Flow
by: Garby, Zac, et al.
Published: (2026)

Correlated-Sequence Differential Privacy
by: Luo, Yifan, et al.
Published: (2025)

Regulation and the Integrity of Spreadsheets in the Information Supply Chain
by: Baxter, Ralph
Published: (2008)

Cross-Border Data Security and Privacy Risks in Large Language Models and IoT Systems
by: Handapangoda, Chalitha
Published: (2026)

A Survey of Protocol Fuzzing
by: Zhang, Xiaohan, et al.
Published: (2024)

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

How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
by: Zhang, Cen, et al.
Published: (2023)

How to Get Actual Privacy and Utility from Privacy Models: the k-Anonymity and Differential Privacy Families
by: Domingo-Ferrer, Josep, et al.
Published: (2025)

Reimplementing Mizar in Rust
by: Carneiro, Mario
Published: (2023)

When Are LLM Inferences Acceptable? User Reactions and Control Preferences for Inferred Personal Information
by: Monteiro, Kyzyl, et al.
Published: (2026)

Stratified Type Theory
by: Chan, Jonathan, et al.
Published: (2023)

A Systematic Review and Taxonomy for Privacy Breach Classification: Trends, Gaps, and Future Directions
by: Fuchs, Clint, et al.
Published: (2025)

LibLMFuzz: LLM-Augmented Fuzz Target Generation for Black-box Libraries
by: Hardgrove, Ian, et al.
Published: (2025)

Automated Vulnerability Detection Using Deep Learning Technique
by: Yang, Guan-Yan, et al.
Published: (2024)

OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities
by: Qiu, Yiran
Published: (2026)

Privacy Preserving In-Context-Learning Framework for Large Language Models
by: Bhusal, Bishnu, et al.
Published: (2025)

The Adobe Hidden Feature and its Impact on Sensor Attribution
by: Butora, Jan, et al.
Published: (2023)

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
by: Koomullil, George
Published: (2026)

A Comparative Quality Metric for Untargeted Fuzzing with Logic State Coverage
by: Lee, Gwangmu
Published: (2024)

Detecting Vulnerabilities in Encrypted Software Code while Ensuring Code Privacy
by: Martins, Jorge, et al.
Published: (2025)

AWDIT: An Optimal Weak Database Isolation Tester
by: Møldrup, Lasse, et al.
Published: (2025)

RealVuln: Benchmarking Rule-Based, General-Purpose LLM, and Security-Specialized Scanners on Real-World Code
by: Pellew, John, et al.
Published: (2026)

False Security Confidence in Benign LLM Code Generation
by: Ren, Xiaolei
Published: (2026)

The Cost of Convenience: Identifying, Analyzing, and Mitigating Predatory Loan Applications on Android
by: Akanji, Olawale Amos, et al.
Published: (2026)

vCause: Efficient and Verifiable Causality Analysis for Cloud-based Endpoint Auditing
by: Song, Qiyang, et al.
Published: (2026)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
by: Geeson, Luke, et al.
Published: (2024)