Image de couverture de livre

Verification of Neural Networks' Global Robustness

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kabaha, Anan, Drachsler-Cohen, Dana
Format:	Preprint
Publié:	2024
Sujets:	Machine Learning Cryptography and Security Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification
par: Kabaha, Anan, et autres
Publié: (2025)

Mini-Batch Robustness Verification of Deep Neural Networks
par: Tzour-Shaday, Saar, et autres
Publié: (2025)

Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset
par: Menon, Anand, et autres
Publié: (2025)

Boosting Few-Pixel Robustness Verification via Covering Verification Designs
par: Shapira, Yuval, et autres
Publié: (2024)

Inferring Properties of Graph Neural Networks
par: Nguyen, Dat, et autres
Publié: (2024)

A Deep Dive into Function Inlining and its Security Implications for ML-based Binary Analysis
par: Abusabha, Omar, et autres
Publié: (2025)

Exploiting Code Symmetries for Learning Program Semantics
par: Pei, Kexin, et autres
Publié: (2023)

Malicious and Unintentional Disclosure Risks in Large Language Models for Code Generation
par: Rabin, Rafiqul, et autres
Publié: (2025)

VEXIR2Vec: An Architecture-Neutral Embedding Framework for Binary Similarity
par: VenkataKeerthy, S., et autres
Publié: (2023)

Incremental Randomized Smoothing Certification
par: Ugare, Shubham, et autres
Publié: (2023)

MPAT: Building Robust Deep Neural Networks against Textual Adversarial Attacks
par: Zhang, Fangyuan, et autres
Publié: (2024)

SPML: A DSL for Defending Language Models Against Prompt Attacks
par: Sharma, Reshabh K, et autres
Publié: (2024)

CodeCloak: A Method for Evaluating and Mitigating Code Leakage by LLM Code Assistants
par: Noah, Amit Finkman, et autres
Publié: (2024)

Automated Formal Verification of a Software Fault Isolation System
par: Sotoudeh, Matthew, et autres
Publié: (2025)

Black-Box Adversarial Attacks on LLM-Based Code Completion
par: Jenko, Slobodan, et autres
Publié: (2024)

DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models
par: Berabi, Berkay, et autres
Publié: (2024)

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
par: Mell, Stephen, et autres
Publié: (2025)

I still know it's you! On Challenges in Anonymizing Source Code
par: Horlboge, Micha, et autres
Publié: (2022)

Large Language Models for Code: Security Hardening and Adversarial Testing
par: He, Jingxuan, et autres
Publié: (2023)

Hound: Relation-First Knowledge Graphs for Complex-System Reasoning in Security Audits
par: Mueller, Bernhard
Publié: (2025)

BaxBench: Can LLMs Generate Correct and Secure Backends?
par: Vero, Mark, et autres
Publié: (2025)

AutoBaxBuilder: Bootstrapping Code Security Benchmarking
par: von Arx, Tobias, et autres
Publié: (2025)

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
par: Ball, Thomas, et autres
Publié: (2024)

Multiplicative Reweighting for Robust Neural Network Optimization
par: Bar, Noga, et autres
Publié: (2021)

PromptRobust: Towards Evaluating the Robustness of Large Language Models on Adversarial Prompts
par: Zhu, Kaijie, et autres
Publié: (2023)

Revisiting the Robustness of Watermarking to Paraphrasing Attacks
par: Rastogi, Saksham, et autres
Publié: (2024)

On the Adversarial Robustness of Graph Neural Networks with Graph Reduction
par: Wu, Kerui, et autres
Publié: (2024)

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
par: Xiao, Yuan, et autres
Publié: (2022)

Certifiably Robust RAG against Retrieval Corruption
par: Xiang, Chong, et autres
Publié: (2024)

Robust Distortion-free Watermarks for Language Models
par: Kuditipudi, Rohith, et autres
Publié: (2023)

Supervised Robustness-preserving Data-free Neural Network Pruning
par: Meng, Mark Huasong, et autres
Publié: (2022)

CERT-ED: Certifiably Robust Text Classification for Edit Distance
par: Huang, Zhuoqun, et autres
Publié: (2024)

Watermark under Fire: A Robustness Evaluation of LLM Watermarking
par: Liang, Jiacheng, et autres
Publié: (2024)

Robust LLM safeguarding via refusal feature adversarial training
par: Yu, Lei, et autres
Publié: (2024)

Robust Data Watermarking in Language Models by Injecting Fictitious Knowledge
par: Cui, Xinyue, et autres
Publié: (2025)

Secure Composition of Robust and Optimising Compilers
par: Kruse, Matthis, et autres
Publié: (2023)

Floating-Point Neural Network Verification at the Software Level
par: Manino, Edoardo, et autres
Publié: (2025)

Steering Dialogue Dynamics for Robustness against Multi-turn Jailbreaking Attacks
par: Hu, Hanjiang, et autres
Publié: (2025)

Logit-Gap Steering: A Forward-Pass Diagnostic for Alignment Robustness
par: Li, Tung-Ling, et autres
Publié: (2025)

AdaptDel: Adaptable Deletion Rate Randomized Smoothing for Certified Robustness
par: Huang, Zhuoqun, et autres
Publié: (2025)