Buchumschlag

SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Morio, Kevin, Künnemann, Robert
Format:	Preprint
Veröffentlicht:	2024
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

Adaptive Exploit Generation against Security Devices and Security APIs
von: Künnemann, Robert, et al.
Veröffentlicht: (2024)

Symbolic Parallel Composition for Multi-language Protocol Verification
von: Nasrabadi, Faezeh, et al.
Veröffentlicht: (2025)

Automated Side-Channel Analysis of Cryptographic Protocol Implementations
von: Nasrabadi, Faezeh, et al.
Veröffentlicht: (2025)

Computationally Bounded Robust Compilation and Universally Composable Security
von: Künnemann, Robert, et al.
Veröffentlicht: (2024)

Michscan: Black-Box Neural Network Integrity Checking at Runtime Through Power Analysis
von: Paul, Robi, et al.
Veröffentlicht: (2025)

The Round Complexity of Black-Box Post-Quantum Secure Computation
von: Chatterjee, Rohit, et al.
Veröffentlicht: (2025)

Operational Runtime Behavior Mining for Open-Source Supply Chain Security
von: Tan, Zhuoran, et al.
Veröffentlicht: (2026)

NodeShield: Runtime Enforcement of Security-Enhanced SBOMs for Node.js
von: Cornelissen, Eric, et al.
Veröffentlicht: (2025)

Differentially Private Runtime Monitoring
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2026)

Variable Record Table: A Unified Hardware-Assisted Framework for Runtime Security
von: Sah, Suraj Kumar, et al.
Veröffentlicht: (2025)

Mon CHÉRI: Mitigating Uninitialized Memory Access with Conditional Capabilities
von: Gülmez, Merve, et al.
Veröffentlicht: (2024)

BaseSAP: Modular Stealth Address Protocol for Programmable Blockchains
von: Wahrstätter, Anton, et al.
Veröffentlicht: (2023)

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

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

Autonomous Action Runtime Management(AARM):A System Specification for Securing AI-Driven Actions at Runtime
von: Errico, Herman
Veröffentlicht: (2026)

Enhanced MLLM Black-Box Jailbreaking Attacks and Defenses
von: Zhong, Xingwei, et al.
Veröffentlicht: (2025)

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

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

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

SeClaw: Spec-Driven Security Task Synthesis for Evaluating Autonomous Agents
von: Cheng, Hao, et al.
Veröffentlicht: (2026)

CellularSpecSec-Bench: A Staged Benchmark for Evidence-Grounded Interpretation and Security Reasoning over 3GPP Specifications
von: Xie, Ke, et al.
Veröffentlicht: (2026)

A2AS: Agentic AI Runtime Security and Self-Defense
von: Neelou, Eugene, et al.
Veröffentlicht: (2025)

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

RTL Interconnect Obfuscation By Polymorphic Switch Boxes For Secure Hardware Generation
von: Chakraborty, Haimanti, et al.
Veröffentlicht: (2024)

Can Drift-Adaptive Malware Detectors Be Made Robust? Attacks and Defenses Under White-Box and Black-Box Threats
von: Li, Adrian Shuai, et al.
Veröffentlicht: (2026)

BDFirewall: Towards Effective and Expeditiously Black-Box Backdoor Defense in MLaaS
von: Li, Ye, et al.
Veröffentlicht: (2025)

A Security Framework for General Blockchain Layer 2 Protocols
von: Avarikioti, Zeta, et al.
Veröffentlicht: (2025)

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

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection
von: Jain, Racchit, et al.
Veröffentlicht: (2025)

Security Analysis of the Open Banking Account and Transaction API Protocol
von: Modesti, Paolo, et al.
Veröffentlicht: (2020)

Strands Rocq: Why is a Security Protocol Correct, Mechanically?
von: Busi, Matteo, et al.
Veröffentlicht: (2025)

SoK: Runtime Integrity
von: Ammar, Mahmoud, et al.
Veröffentlicht: (2024)

OpenClaw PRISM: A Zero-Fork, Defense-in-Depth Runtime Security Layer for Tool-Augmented LLM Agents
von: Li, Frank
Veröffentlicht: (2026)

Economic Security of Multiple Shared Security Protocols
von: Nag, Abhimanyu, et al.
Veröffentlicht: (2025)

Bifrost: A Much Simpler Secure Two-Party Data Join Protocol for Secure Data Analytics
von: Chen, Shuyu, et al.
Veröffentlicht: (2026)

In Specs we Trust? Conformance-Analysis of Implementation to Specifications in Node-RED and Associated Security Risks
von: Schneider, Simon, et al.
Veröffentlicht: (2025)

Exploring Federated Learning Dynamics for Black-and-White-Box DNN Traitor Tracing
von: Rodriguez-Lois, Elena, et al.
Veröffentlicht: (2024)

PolyJailbreak: Cross-Modal Jailbreaking Attacks on Black-Box Multimodal LLMs
von: Wang, Xinkai, et al.
Veröffentlicht: (2025)

"Someone Hid It": Query-Agnostic Black-Box Attacks on LLM-Based Retrieval
von: Li, Jiate, et al.
Veröffentlicht: (2026)

ComMark: Covert and Robust Black-Box Model Watermarking with Compressed Samples
von: Yang, Yunfei, et al.
Veröffentlicht: (2025)