Buchumschlag

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jain, Racchit, Lokam, Satya, Refael, Yehonathan, Hakim, Adam, Greenberg, Lev, Tenenbaum, Jay
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SLIP: Securing LLMs IP Using Weights Decomposition
von: Refael, Yehonathan, et al.
Veröffentlicht: (2024)

Fuzzing at Scale: The Untold Story of the Scheduler
von: Nikolic, Ivica, et al.
Veröffentlicht: (2024)

On the Query Complexity of Training Data Reconstruction in Private Learning
von: Mukherjee, Prateeti, et al.
Veröffentlicht: (2023)

Can Agents Secure Hardware? Evaluating Agentic LLM-Driven Obfuscation for IP Protection
von: Ghimire, Sujan, et al.
Veröffentlicht: (2026)

A Watermark-Conditioned Diffusion Model for IP Protection
von: Min, Rui, et al.
Veröffentlicht: (2024)

ICtoken: An NFT for Hardware IP Protection
von: Balla, Shashank, et al.
Veröffentlicht: (2024)

On the Design and Security of Collective Remote Attestation Protocols
von: Ahmadi, Sharar, et al.
Veröffentlicht: (2024)

Threat Intelligence Driven IP Protection for Entrepreneurial SMEs
von: Pitruzzello, Sam, et al.
Veröffentlicht: (2026)

Secure IP Address Allocation at Cloud Scale
von: Pauley, Eric, et al.
Veröffentlicht: (2022)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
von: Modesti, Paolo, et al.
Veröffentlicht: (2021)

SMCP: Secure Model Context Protocol
von: Hou, Xinyi, et al.
Veröffentlicht: (2026)

Library-Attack: Reverse Engineering Approach for Evaluating Hardware IP Protection
von: Dasgupta, Aritra, et al.
Veröffentlicht: (2025)

Model Context Protocol for Vision Systems: Audit, Security, and Protocol Extensions
von: Tiwari, Aditi, et al.
Veröffentlicht: (2025)

SEC-bench Pro: Can Language Models Solve Long-Horizon Software Security Tasks?
von: Lee, Hwiwon, et al.
Veröffentlicht: (2026)

Protecting Small Organizations from AI Bots with Logrip: Hierarchical IP Hashing
von: Hoetzlein, Rama Carl
Veröffentlicht: (2025)

CIPHR: Cryptography Inspired IP Protection through Fine-Grain Hardware Redaction
von: Dasgupta, Aritra, et al.
Veröffentlicht: (2026)

Exploiting Cross-Layer Vulnerabilities: Off-Path Attacks on the TCP/IP Protocol Suite
von: Feng, Xuewei, et al.
Veröffentlicht: (2024)

PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
von: Zhang, Zhuoruo, et al.
Veröffentlicht: (2022)

Evaluating Google's Protected Audience Protocol
von: Long, Minjun, et al.
Veröffentlicht: (2024)

Overcoming DNSSEC Islands of Security: A TLS and IP-Based Certificate Solution
von: Rishith, Aduma, et al.
Veröffentlicht: (2025)

SEC-bench: Automated Benchmarking of LLM Agents on Real-World Software Security Tasks
von: Lee, Hwiwon, et al.
Veröffentlicht: (2025)

SLIP: Soft Label Mechanism and Key-Extraction-Guided CoT-based Defense Against Instruction Backdoor in APIs
von: Wu, Zhengxian, et al.
Veröffentlicht: (2025)

Securing the Model Context Protocol (MCP): Risks, Controls, and Governance
von: Errico, Herman, et al.
Veröffentlicht: (2025)

TrustRate: A Decentralized Platform for Hijack-Resistant Anonymous Reviews
von: Dwivedula, Rohit, et al.
Veröffentlicht: (2024)

Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs
von: Ding, Wanning, et al.
Veröffentlicht: (2024)

Cryptography without Long-Term Quantum Memory and Global Entanglement: Classical Setups for One-Time Programs, Copy Protection, and Stateful Obfuscation
von: Stambler, Lev
Veröffentlicht: (2025)

Robust LLM Watermarking with Minimal Semantic Distortion for IP Protection
von: Dang, Kieu, et al.
Veröffentlicht: (2026)

Scalable IP Mimicry: End-to-End Deceptive IP Blending to Overcome Rectification and Scale Limitations of IP Camouflage
von: Fan, Junling, et al.
Veröffentlicht: (2025)

EmMark: Robust Watermarks for IP Protection of Embedded Quantized Large Language Models
von: Zhang, Ruisi, et al.
Veröffentlicht: (2024)

ModelForge: Using GenAI to Improve the Development of Security Protocols
von: Duclos, Martin, et al.
Veröffentlicht: (2025)

Security Analysis of a Communication Protocol: MQTT
von: Venâncio, Ricardo, et al.
Veröffentlicht: (2026)

Benchmarking Secure Sampling Protocols for Differential Privacy
von: Fu, Yucheng, et al.
Veröffentlicht: (2024)

OPAQUE: Obfuscating Phase in Quantum Circuit Compilation for Efficient IP Protection
von: Rehman, Anees, et al.
Veröffentlicht: (2025)

E-LoQ: Enhanced Locking for Quantum Circuit IP Protection
von: Liu, Yuntao, et al.
Veröffentlicht: (2024)

Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report
von: García, Víctor, et al.
Veröffentlicht: (2025)

SubLock: Sub-Circuit Replacement based Input Dependent Key-based Logic Locking for Robust IP Protection
von: Rathor, Vijaypal Singh, et al.
Veröffentlicht: (2024)

Formal Security Analysis of the AMD SEV-SNP Software Interface
von: Paradžik, Petar, et al.
Veröffentlicht: (2024)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
von: Antón, Anna Lena Duque, et al.
Veröffentlicht: (2024)

Security and Privacy Analysis of Tile's Location Tracking Protocol
von: Kumar, Akshaya, et al.
Veröffentlicht: (2025)

Formal Verification of the Sumcheck Protocol
von: Bosshard, Azucena Garvía, et al.
Veröffentlicht: (2024)