Buchumschlag

SecGoal: A Benchmark for Extracting Formalizable Security Goals from Protocol Documents

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Huang, Dawei, Li, Hui, Jia, Bo, Feng, Haonan, Guan, Jingjing, Jiao, Yueshuang, Li, Xiangdong
Format:	Preprint
Veröffentlicht:	2026
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

SecPLF: Secure Protocols for Loanable Funds against Oracle Manipulation Attacks
von: Arora, Sanidhay, et al.
Veröffentlicht: (2024)

SecDTD: Dynamic Token Drop for Secure Transformers Inference
von: Cai, Yifei, et al.
Veröffentlicht: (2026)

BMC4TimeSec: Verification Of Timed Security Protocols
von: Zbrzezny, Agnieszka M.
Veröffentlicht: (2026)

CellSecInspector: Safeguarding Cellular Networks via Automated Security Analysis on Specifications
von: Xie, Ke, et al.
Veröffentlicht: (2025)

"What Keeps People Secure is That They Met The Security Team": Deconstructing Drivers And Goals of Organizational Security Awareness
von: Hielscher, Jonas, et al.
Veröffentlicht: (2024)

HardSecBench: Benchmarking the Security Awareness of LLMs for Hardware Code Generation
von: Chen, Qirui, et al.
Veröffentlicht: (2026)

SecReEvalBench: A Multi-turned Security Resilience Evaluation Benchmark for Large Language Models
von: Cui, Huining, et al.
Veröffentlicht: (2025)

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

SecIC3: Customizing IC3 for Hardware Security Verification
von: Tan, Qinhan, 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)

Secure Goal-Oriented Communication: Defending against Eavesdropping Timing Attacks
von: Mason, Federico, et al.
Veröffentlicht: (2025)

Robust Single-message Shuffle Differential Privacy Protocol for Accurate Distribution Estimation
von: Li, Xiaoguang, et al.
Veröffentlicht: (2026)

Simulation in Cybersecurity: Understanding Techniques, Applications, and Goals
von: Serena, Luca, et al.
Veröffentlicht: (2025)

RealSec-bench: A Benchmark for Evaluating Secure Code Generation in Real-World Repositories
von: Wang, Yanlin, et al.
Veröffentlicht: (2026)

SecRepoBench: Benchmarking Code Agents for Secure Code Completion in Real-World Repositories
von: Shen, Chihao, et al.
Veröffentlicht: (2025)

TabSec: A Collaborative Framework for Novel Insider Threat Detection
von: Huang, Zilin, et al.
Veröffentlicht: (2024)

SecMLOps: A Comprehensive Framework for Integrating Security Throughout the MLOps Lifecycle
von: Zhang, Xinrui, et al.
Veröffentlicht: (2026)

λ-SecAgg: Partial Vector Freezing for Lightweight Secure Aggregation in Federated Learning
von: Zhang, Siqing, et al.
Veröffentlicht: (2023)

CredSec: A Blockchain-based Secure Credential Management System for University Adoption
von: Habib, Md. Ahsan, et al.
Veröffentlicht: (2024)

SecPE: Secure Prompt Ensembling for Private and Robust Large Language Models
von: Zhang, Jiawen, et al.
Veröffentlicht: (2025)

Secure Tug-of-War (SecTOW): Iterative Defense-Attack Training with Reinforcement Learning for Multimodal Model Security
von: Dai, Muzhi, et al.
Veröffentlicht: (2025)

SecTracer: A Framework for Uncovering the Root Causes of Network Intrusions via Security Provenance
von: Lee, Seunghyeon, et al.
Veröffentlicht: (2025)

SecPI: Secure Code Generation with Reasoning Models via Security Reasoning Internalization
von: Wang, Hao, et al.
Veröffentlicht: (2026)

Comparative Analysis of AI-Driven Security Approaches in DevSecOps: Challenges, Solutions, and Future Directions
von: Binbeshr, Farid, et al.
Veröffentlicht: (2025)

SmartX Intelligent Sec: A Security Framework Based on Machine Learning and eBPF/XDP
von: Farasat, Talaya, et al.
Veröffentlicht: (2024)

Cyberwar Strategy and Tactics: An Analysis of Cyber Goals, Strategies, Tactics, and Techniques
von: Tinnel, Laura S., et al.
Veröffentlicht: (2024)

A Secure Remote Password Protocol From The Learning With Errors Problem
von: Li, Huapeng, et al.
Veröffentlicht: (2025)

SecCodePRM: A Process Reward Model for Code Security
von: Yu, Weichen, et al.
Veröffentlicht: (2026)

SecONNds: Secure Outsourced Neural Network Inference on ImageNet
von: Balla, Shashank
Veröffentlicht: (2025)

SecScale: A Scalable and Secure Trusted Execution Environment for Servers
von: Sunny, Ani, et al.
Veröffentlicht: (2024)

Sec5GLoc: Securing 5G Indoor Localization via Adversary-Resilient Deep Learning Architecture
von: Alla, Ildi, et al.
Veröffentlicht: (2025)

MCP Security Bench (MSB): Benchmarking Attacks Against Model Context Protocol in LLM Agents
von: Zhang, Dongsen, et al.
Veröffentlicht: (2025)

Ethereum Crypto Wallets under Address Poisoning: How Usable and Secure Are They?
von: Guan, Shixuan, et al.
Veröffentlicht: (2025)

Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay
von: Blake, Christopher, et al.
Veröffentlicht: (2026)

Secure Transformer Inference Protocol
von: Yuan, Mu, et al.
Veröffentlicht: (2023)

MCPSecBench: A Systematic Security Benchmark and Playground for Testing Model Context Protocols
von: Yang, Yixuan, et al.
Veröffentlicht: (2025)

SecInfer: Preventing Prompt Injection via Inference-time Scaling
von: Liu, Yupei, et al.
Veröffentlicht: (2025)

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)

CIBER: A Comprehensive Benchmark for Security Evaluation of Code Interpreter Agents
von: Ba, Lei, et al.
Veröffentlicht: (2026)