Copertina

Expressive Losses for Verified Robustness via Convex Combinations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	De Palma, Alessandro, Bunel, Rudy, Dvijotham, Krishnamurthy, Kumar, M. Pawan, Stanforth, Robert, Lomuscio, Alessio
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Machine Learning Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Verified Neural Compressed Sensing
di: Bunel, Rudy, et al.
Pubblicazione: (2024)

Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels
di: Brückner, Benedikt, et al.
Pubblicazione: (2024)

Private Gradient Descent for Linear Regression: Tighter Error Bounds and Instance-Specific Uncertainty Estimation
di: Brown, Gavin, et al.
Pubblicazione: (2024)

Adaptive Diffusion Denoised Smoothing : Certified Robustness via Randomized Smoothing with Differentially Private Guided Denoising Diffusion
di: Shpilevskiy, Frederick, et al.
Pubblicazione: (2025)

On Using Certified Training towards Empirical Robustness
di: De Palma, Alessandro, et al.
Pubblicazione: (2024)

CausalArmor: Efficient Indirect Prompt Injection Guardrails via Causal Attribution
di: Kim, Minbeom, et al.
Pubblicazione: (2026)

It's Our Loss: No Privacy Amplification for Hidden State DP-SGD With Non-Convex Loss
di: Annamalai, Meenatchi Sundaram Muthu Selva
Pubblicazione: (2024)

Convergent Privacy Loss of Noisy-SGD without Convexity and Smoothness
di: Chien, Eli, et al.
Pubblicazione: (2024)

Mitigating Privacy Risk in Membership Inference by Convex-Concave Loss
di: Liu, Zhenlong, et al.
Pubblicazione: (2024)

IoUCert: Robustness Verification for Anchor-based Object Detectors
di: Brückner, Benedikt, et al.
Pubblicazione: (2026)

No, of Course I Can! Deeper Fine-Tuning Attacks That Bypass Token-Level Safety Mechanisms
di: Kazdan, Joshua, et al.
Pubblicazione: (2025)

Scaling the Convex Barrier with Sparse Dual Algorithms
di: De Palma, Alessandro, et al.
Pubblicazione: (2021)

Correlated Noise Mechanisms for Differentially Private Learning
di: Pillutla, Krishna, et al.
Pubblicazione: (2025)

Efficient and Near-Optimal Noise Generation for Streaming Differential Privacy
di: Dvijotham, Krishnamurthy, et al.
Pubblicazione: (2024)

Correlated Noise Provably Beats Independent Noise for Differentially Private Learning
di: Choquette-Choo, Christopher A., et al.
Pubblicazione: (2023)

ShieldAgent: Shielding Agents via Verifiable Safety Policy Reasoning
di: Chen, Zhaorun, et al.
Pubblicazione: (2025)

Verifiable Unlearning on Edge
di: Maheri, Mohammad M, et al.
Pubblicazione: (2025)

ZKBoost: Zero-Knowledge Verifiable Training for XGBoost
di: Melissaris, Nikolas, et al.
Pubblicazione: (2026)

Private Federated Learning Without a Trusted Server: Optimal Algorithms for Convex Losses
di: Lowy, Andrew, et al.
Pubblicazione: (2021)

Privacy-Preserving Verifiable Neural Network Inference Service
di: Riasi, Arman, et al.
Pubblicazione: (2024)

Verifying LLM Inference to Detect Model Weight Exfiltration
di: Rinberg, Roy, et al.
Pubblicazione: (2025)

Efficient Error Certification for Physics-Informed Neural Networks
di: Eiras, Francisco, et al.
Pubblicazione: (2023)

Generate-then-Verify: Reconstructing Data from Limited Published Statistics
di: Liu, Terrance, et al.
Pubblicazione: (2025)

Privacy-Preserving Mechanisms Enable Cheap Verifiable Inference of LLMs
di: Pal, Arka, et al.
Pubblicazione: (2026)

MemHunter: Automated and Verifiable Memorization Detection at Dataset-scale in LLMs
di: Wu, Zhenpeng, et al.
Pubblicazione: (2024)

Data Distribution Shifts in (Industrial) Federated Learning as a Privacy Issue
di: Brunner, David, et al.
Pubblicazione: (2024)

Efficient and Verifiable Privacy-Preserving Convolutional Computation for CNN Inference with Untrusted Clouds
di: Lu, Jinyu, et al.
Pubblicazione: (2025)

Output Perturbation for Differentially Private Convex Optimization: Faster and More General
di: Lowy, Andrew, et al.
Pubblicazione: (2021)

PLRV-O: Advancing Differentially Private Deep Learning via Privacy Loss Random Variable Optimization
di: Yang, Qin, et al.
Pubblicazione: (2025)

Transforming Triple-Entry Accounting with Machine Learning: A Path to Enhanced Transparency Through Analytics
di: Weinberg, Abraham Itzhak, et al.
Pubblicazione: (2024)

A User-Centric, Privacy-Preserving, and Verifiable Ecosystem for Personal Data Management and Utilization
di: Zafar, Osama, et al.
Pubblicazione: (2025)

OrgForge-IT: A Verifiable Synthetic Benchmark for LLM-Based Insider Threat Detection
di: Flynt, Jeffrey
Pubblicazione: (2026)

Learning Robust and Privacy-Preserving Representations via Information Theory
di: Zhang, Binghui, et al.
Pubblicazione: (2024)

HALO: Robust Out-of-Distribution Detection via Joint Optimisation
di: Keenan, Hugo Lyons, et al.
Pubblicazione: (2025)

Robust GNN Watermarking via Implicit Perception of Topological Invariants
di: Li, Jipeng, et al.
Pubblicazione: (2025)

Optimal Rates for Pure $\varepsilon$-Differentially Private Stochastic Convex Optimization with Heavy Tails
di: Lowy, Andrew
Pubblicazione: (2026)

Convex Approximation of Two-Layer ReLU Networks for Hidden State Differential Privacy
di: Romijnders, Rob, et al.
Pubblicazione: (2024)

Private Heterogeneous Federated Learning Without a Trusted Server Revisited: Error-Optimal and Communication-Efficient Algorithms for Convex Losses
di: Gao, Changyu, et al.
Pubblicazione: (2024)

Zero-Knowledge Proof-based Verifiable Decentralized Machine Learning in Communication Network: A Comprehensive Survey
di: Xing, Zhibo, et al.
Pubblicazione: (2023)

Filter-then-Verify: A Multiphase GNN and ModernBERT Framework for Social Engineering Detection in Email Networks
di: Khadka, Barsat, et al.
Pubblicazione: (2026)