Buchumschlag

A Bayesian Approach to Membership Inference for Statistical Release

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Oakley, Lisa, Stites, Sam, Moy, Cameron, Holtzen, Steven, Oprea, Alina, Gaboardi, Marco
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
von: Oakley, Lisa, et al.
Veröffentlicht: (2024)

Programming Frameworks for Differential Privacy
von: Gaboardi, Marco, et al.
Veröffentlicht: (2024)

Riddle Me This! Stealthy Membership Inference for Retrieval-Augmented Generation
von: Naseh, Ali, et al.
Veröffentlicht: (2025)

Multi-Language Probabilistic Programming
von: Stites, Sam, et al.
Veröffentlicht: (2025)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
von: Ren, Silei, et al.
Veröffentlicht: (2025)

Reconstruction of Personally Identifiable Information from Supervised Finetuned Models
von: Furukawa, Sae, et al.
Veröffentlicht: (2026)

Membership Inference Attacks Against In-Context Learning
von: Wen, Rui, et al.
Veröffentlicht: (2024)

User Inference Attacks on Large Language Models
von: Kandpal, Nikhil, et al.
Veröffentlicht: (2023)

Fast-MIA: Efficient and Scalable Membership Inference for LLMs
von: Takahashi, Hiromu, et al.
Veröffentlicht: (2025)

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach
von: Li, Fang, et al.
Veröffentlicht: (2025)

Computationally Bounded Robust Compilation and Universally Composable Security
von: Künnemann, Robert, et al.
Veröffentlicht: (2024)

Secure Composition of Robust and Optimising Compilers
von: Kruse, Matthis, et al.
Veröffentlicht: (2023)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
von: Huyghebaert, Sander, et al.
Veröffentlicht: (2023)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
von: Michael, Alexandra E., et al.
Veröffentlicht: (2022)

Tab-MIA: A Benchmark Dataset for Membership Inference Attacks on Tabular Data in LLMs
von: German, Eyal, et al.
Veröffentlicht: (2025)

Membership Inference Attacks and Privacy in Topic Modeling
von: Manzonelli, Nico, et al.
Veröffentlicht: (2024)

Towards Label-Only Membership Inference Attack against Pre-trained Large Language Models
von: He, Yu, et al.
Veröffentlicht: (2025)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
von: Wang, Sally Junsong, et al.
Veröffentlicht: (2024)

PermRust: A Token-based Permission System for Rust
von: Gehring, Lukas, et al.
Veröffentlicht: (2025)

A Type System to Ensure Non-Interference in ReScript
von: Bennetzen, Benjamin, et al.
Veröffentlicht: (2024)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
von: Yao, Siqiu, et al.
Veröffentlicht: (2024)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
von: Reitz, Antonin, et al.
Veröffentlicht: (2024)

Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture
von: Thomas, Morgan, et al.
Veröffentlicht: (2025)

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
von: Sharma, Reshabh K, et al.
Veröffentlicht: (2026)

OpenAPI Specification Extended Security Scheme: A method to reduce the prevalence of Broken Object Level Authorization
von: Haddad, Rami, et al.
Veröffentlicht: (2022)

Tag&Tab: Pretraining Data Detection in Large Language Models Using Keyword-Based Membership Inference Attack
von: Antebi, Sagiv, et al.
Veröffentlicht: (2025)

Blind Baselines Beat Membership Inference Attacks for Foundation Models
von: Das, Debeshee, et al.
Veröffentlicht: (2024)

R1dacted: Investigating Local Censorship in DeepSeek's R1 Language Model
von: Naseh, Ali, et al.
Veröffentlicht: (2025)

Adding Compilation Metadata To Binaries To Make Disassembly Decidable
von: Engel, Daniel, et al.
Veröffentlicht: (2026)

Compositional security definitions for higher-order where declassification
von: Menz, Jan, et al.
Veröffentlicht: (2026)

Neuroforger: certified violation witnesses for smart contracts verification via LLMs
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2026)

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
von: Zhang, Keyang, et al.
Veröffentlicht: (2026)

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
von: Baumann, Jonathan, et al.
Veröffentlicht: (2026)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
von: Cho, Hyunhum, et al.
Veröffentlicht: (2026)

Misquoted No More: Securely Extracting F* Programs with IO
von: Andrici, Cezar-Constantin, et al.
Veröffentlicht: (2026)

Filament: Denning-Style Information Flow Control for Rust
von: Ching, Jeffrey C., et al.
Veröffentlicht: (2026)

SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs
von: Zou, Yihao, et al.
Veröffentlicht: (2026)

Deterministic Fully-Static Whole-Binary Translation without Heuristics
von: Chen, Hongyu, et al.
Veröffentlicht: (2026)

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
von: Thibault, Jérémy, et al.
Veröffentlicht: (2025)

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
von: Hassanzadeh-Nazarabadi, Yahya, et al.
Veröffentlicht: (2025)