Cover Image

Incremental Randomized Smoothing Certification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ugare, Shubham, Suresh, Tarun, Banerjee, Debangshu, Singh, Gagandeep, Misailovic, Sasa
Format:	Preprint
Published:	2023
Subjects:	Machine Learning Cryptography and Security Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Is The Watermarking Of LLM-Generated Code Robust?
by: Suresh, Tarun, et al.
Published: (2024)

CRANE: Reasoning with constrained LLM generation
by: Banerjee, Debangshu, et al.
Published: (2025)

DINGO: Constrained Inference for Diffusion LLMs
by: Suresh, Tarun, et al.
Published: (2025)

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
by: Ugare, Shubham, et al.
Published: (2024)

SynCode: LLM Generation with Grammar Augmentation
by: Ugare, Shubham, et al.
Published: (2024)

ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs
by: Yang, Yuchen, et al.
Published: (2024)

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
by: Kanda, Madhav, et al.
Published: (2025)

UTF-8 Plumbing: Byte-level Tokenizers Unavoidably Enable LLMs to Generate Ill-formed UTF-8
by: Firestone, Preston, et al.
Published: (2025)

VEXIR2Vec: An Architecture-Neutral Embedding Framework for Binary Similarity
by: VenkataKeerthy, S., et al.
Published: (2023)

Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset
by: Menon, Anand, et al.
Published: (2025)

Enforcing Temporal Constraints for LLM Agents
by: Kamath, Adharsh, et al.
Published: (2025)

AdaptDel: Adaptable Deletion Rate Randomized Smoothing for Certified Robustness
by: Huang, Zhuoqun, et al.
Published: (2025)

RAMP: Boosting Adversarial Robustness Against Multiple $l_p$ Perturbations for Universal Robustness
by: Jiang, Enyi, et al.
Published: (2024)

Cross-Input Certified Training for Universal Perturbations
by: Xu, Changming, et al.
Published: (2024)

Exploiting Code Symmetries for Learning Program Semantics
by: Pei, Kexin, et al.
Published: (2023)

A Deep Dive into Function Inlining and its Security Implications for ML-based Binary Analysis
by: Abusabha, Omar, et al.
Published: (2025)

Verification of Neural Networks' Global Robustness
by: Kabaha, Anan, et al.
Published: (2024)

Malicious and Unintentional Disclosure Risks in Large Language Models for Code Generation
by: Rabin, Rafiqul, et al.
Published: (2025)

Bypassing the Safety Training of Open-Source LLMs with Priming Attacks
by: Vega, Jason, et al.
Published: (2023)

Towards Generalized Certified Robustness with Multi-Norm Training
by: Jiang, Enyi, et al.
Published: (2024)

SPML: A DSL for Defending Language Models Against Prompt Attacks
by: Sharma, Reshabh K, et al.
Published: (2024)

CodeCloak: A Method for Evaluating and Mitigating Code Leakage by LLM Code Assistants
by: Noah, Amit Finkman, et al.
Published: (2024)

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

Rethinking Randomized Smoothing from the Perspective of Scalability
by: Kumari, Anupriya, et al.
Published: (2023)

Did the Neurons Read your Book? Document-level Membership Inference for Large Language Models
by: Meeus, Matthieu, et al.
Published: (2023)

Shh, don't say that! Domain Certification in LLMs
by: Emde, Cornelius, et al.
Published: (2025)

Large Language Models for Code: Security Hardening and Adversarial Testing
by: He, Jingxuan, et al.
Published: (2023)

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
by: Mell, Stephen, et al.
Published: (2025)

I still know it's you! On Challenges in Anonymizing Source Code
by: Horlboge, Micha, et al.
Published: (2022)

Black-Box Adversarial Attacks on LLM-Based Code Completion
by: Jenko, Slobodan, et al.
Published: (2024)

DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models
by: Berabi, Berkay, et al.
Published: (2024)

Inferring Properties of Graph Neural Networks
by: Nguyen, Dat, et al.
Published: (2024)

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

BaxBench: Can LLMs Generate Correct and Secure Backends?
by: Vero, Mark, et al.
Published: (2025)

AutoBaxBuilder: Bootstrapping Code Security Benchmarking
by: von Arx, Tobias, et al.
Published: (2025)

RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion
by: Huang, Zhuoqun, et al.
Published: (2023)

An Empirical Study of Bitwise Operators Intuitiveness through Performance Metrics
by: Joshi, Shubham
Published: (2025)

Nautilus: An Auto-Scheduling Tensor Compiler for Efficient Tiled GPU Kernels
by: Zhao, Yifan, et al.
Published: (2026)

Universal Black-Box Reward Poisoning Attack against Offline Reinforcement Learning
by: Xu, Yinglun, et al.
Published: (2024)

Provably Cost-Sensitive Adversarial Defense via Randomized Smoothing
by: Xin, Yuan, et al.
Published: (2023)