Cover Image

SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Morio, Kevin, Künnemann, Robert
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Adaptive Exploit Generation against Security Devices and Security APIs
by: Künnemann, Robert, et al.
Published: (2024)

Symbolic Parallel Composition for Multi-language Protocol Verification
by: Nasrabadi, Faezeh, et al.
Published: (2025)

Automated Side-Channel Analysis of Cryptographic Protocol Implementations
by: Nasrabadi, Faezeh, et al.
Published: (2025)

Computationally Bounded Robust Compilation and Universally Composable Security
by: Künnemann, Robert, et al.
Published: (2024)

Michscan: Black-Box Neural Network Integrity Checking at Runtime Through Power Analysis
by: Paul, Robi, et al.
Published: (2025)

The Round Complexity of Black-Box Post-Quantum Secure Computation
by: Chatterjee, Rohit, et al.
Published: (2025)

Operational Runtime Behavior Mining for Open-Source Supply Chain Security
by: Tan, Zhuoran, et al.
Published: (2026)

NodeShield: Runtime Enforcement of Security-Enhanced SBOMs for Node.js
by: Cornelissen, Eric, et al.
Published: (2025)

Differentially Private Runtime Monitoring
by: Finkbeiner, Bernd, et al.
Published: (2026)

Variable Record Table: A Unified Hardware-Assisted Framework for Runtime Security
by: Sah, Suraj Kumar, et al.
Published: (2025)

Mon CHÉRI: Mitigating Uninitialized Memory Access with Conditional Capabilities
by: Gülmez, Merve, et al.
Published: (2024)

BaseSAP: Modular Stealth Address Protocol for Programmable Blockchains
by: Wahrstätter, Anton, et al.
Published: (2023)

SMCP: Secure Model Context Protocol
by: Hou, Xinyi, et al.
Published: (2026)

Model Context Protocol for Vision Systems: Audit, Security, and Protocol Extensions
by: Tiwari, Aditi, et al.
Published: (2025)

Autonomous Action Runtime Management(AARM):A System Specification for Securing AI-Driven Actions at Runtime
by: Errico, Herman
Published: (2026)

Enhanced MLLM Black-Box Jailbreaking Attacks and Defenses
by: Zhong, Xingwei, et al.
Published: (2025)

On the Design and Security of Collective Remote Attestation Protocols
by: Ahmadi, Sharar, et al.
Published: (2024)

Benchmarking Secure Sampling Protocols for Differential Privacy
by: Fu, Yucheng, et al.
Published: (2024)

Security Analysis of a Communication Protocol: MQTT
by: Venâncio, Ricardo, et al.
Published: (2026)

SeClaw: Spec-Driven Security Task Synthesis for Evaluating Autonomous Agents
by: Cheng, Hao, et al.
Published: (2026)

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

A2AS: Agentic AI Runtime Security and Self-Defense
by: Neelou, Eugene, et al.
Published: (2025)

Security and Privacy Analysis of Tile's Location Tracking Protocol
by: Kumar, Akshaya, et al.
Published: (2025)

RTL Interconnect Obfuscation By Polymorphic Switch Boxes For Secure Hardware Generation
by: Chakraborty, Haimanti, et al.
Published: (2024)

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

BDFirewall: Towards Effective and Expeditiously Black-Box Backdoor Defense in MLaaS
by: Li, Ye, et al.
Published: (2025)

A Security Framework for General Blockchain Layer 2 Protocols
by: Avarikioti, Zeta, et al.
Published: (2025)

Securing the Model Context Protocol (MCP): Risks, Controls, and Governance
by: Errico, Herman, et al.
Published: (2025)

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection
by: Jain, Racchit, et al.
Published: (2025)

Security Analysis of the Open Banking Account and Transaction API Protocol
by: Modesti, Paolo, et al.
Published: (2020)

Strands Rocq: Why is a Security Protocol Correct, Mechanically?
by: Busi, Matteo, et al.
Published: (2025)

SoK: Runtime Integrity
by: Ammar, Mahmoud, et al.
Published: (2024)

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

Economic Security of Multiple Shared Security Protocols
by: Nag, Abhimanyu, et al.
Published: (2025)

Bifrost: A Much Simpler Secure Two-Party Data Join Protocol for Secure Data Analytics
by: Chen, Shuyu, et al.
Published: (2026)

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

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

PolyJailbreak: Cross-Modal Jailbreaking Attacks on Black-Box Multimodal LLMs
by: Wang, Xinkai, et al.
Published: (2025)

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

ComMark: Covert and Robust Black-Box Model Watermarking with Compressed Samples
by: Yang, Yunfei, et al.
Published: (2025)