Imagen de Portada

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Oakley, Lisa, Holtzen, Steven, Oprea, Alina
Formato:	Preprint
Publicado:	2024
Materias:	Cryptography and Security Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Bayesian Approach to Membership Inference for Statistical Release
por: Oakley, Lisa, et al.
Publicado: (2026)

Reconstruction of Personally Identifiable Information from Supervised Finetuned Models
por: Furukawa, Sae, et al.
Publicado: (2026)

Disassembly as Weighted Interval Scheduling with Learned Weights
por: Flores-Montoya, Antonio, et al.
Publicado: (2025)

Computationally Bounded Robust Compilation and Universally Composable Security
por: Künnemann, Robert, et al.
Publicado: (2024)

Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
por: Ye, Qianchuan, et al.
Publicado: (2023)

Programming Frameworks for Differential Privacy
por: Gaboardi, Marco, et al.
Publicado: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
por: Wang, Claire, et al.
Publicado: (2025)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
por: Huyghebaert, Sander, et al.
Publicado: (2023)

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
por: Gollamudi, Tarakaram, et al.
Publicado: (2025)

Neuroforger: certified violation witnesses for smart contracts verification via LLMs
por: Bartoletti, Massimo, et al.
Publicado: (2026)

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
por: Zhang, Keyang, et al.
Publicado: (2026)

R1dacted: Investigating Local Censorship in DeepSeek's R1 Language Model
por: Naseh, Ali, et al.
Publicado: (2025)

Formalization of Differential Privacy in Isabelle/HOL
por: Sato, Tetsuya, et al.
Publicado: (2024)

User Inference Attacks on Large Language Models
por: Kandpal, Nikhil, et al.
Publicado: (2023)

Beyond Theoretical Bounds: Empirical Privacy Loss Calibration for Text Rewriting Under Local Differential Privacy
por: Li, Weijun, et al.
Publicado: (2026)

Obfuscation as Instruction Decorrelation
por: Ajorian, Ali, et al.
Publicado: (2024)

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
por: van der Wall, Sören, et al.
Publicado: (2024)

Smart Contract Languages: a comparative analysis
por: Bartoletti, Massimo, et al.
Publicado: (2024)

On Computational Indistinguishability and Logical Relations
por: Lago, Ugo Dal, et al.
Publicado: (2024)

HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
por: Sarkar, Abhiroop, et al.
Publicado: (2024)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
por: Thibault, Jérémy, et al.
Publicado: (2024)

Language-Based Security for Low-Level MPC
por: Skalka, Christian, et al.
Publicado: (2024)

Constructing Trustworthy Smart Contracts
por: Chait-Roth, Devora, et al.
Publicado: (2024)

Solvent: liquidity verification of smart contracts
por: Bartoletti, Massimo, et al.
Publicado: (2024)

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
por: Ball, Thomas, et al.
Publicado: (2024)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
por: Acay, Coşku, et al.
Publicado: (2024)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
por: Yao, Siqiu, et al.
Publicado: (2024)

A Type System to Ensure Non-Interference in ReScript
por: Bennetzen, Benjamin, et al.
Publicado: (2024)

An Array Intermediate Language for Mixed Cryptography
por: Ding, Vivian, et al.
Publicado: (2024)

Fully Randomized Pointers
por: Phaye, Sai Dhawal, et al.
Publicado: (2024)

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
por: Wen, Hongbo, et al.
Publicado: (2024)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
por: Reitz, Antonin, et al.
Publicado: (2024)

PermRust: A Token-based Permission System for Rust
por: Gehring, Lukas, et al.
Publicado: (2025)

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

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
por: Hassanzadeh-Nazarabadi, Yahya, et al.
Publicado: (2025)

FSLH: Flexible Mechanized Speculative Load Hardening
por: Baumann, Jonathan, et al.
Publicado: (2025)

Adding Compilation Metadata To Binaries To Make Disassembly Decidable
por: Engel, Daniel, et al.
Publicado: (2026)

Compositional security definitions for higher-order where declassification
por: Menz, Jan, et al.
Publicado: (2026)

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

Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
por: Damodaran, Suresh K., et al.
Publicado: (2025)