Buchumschlag

FASR: Automated Identification of Unsafe Control Actions in STPA

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dardik, Ian, She, Yining, Procter, Sam, Hanna, Keaton, Wrage, Lutz, Kang, Eunsuk
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility
von: Hong, Yining, et al.
Veröffentlicht: (2026)

SandCell: Sandboxing Rust Beyond Unsafe Code
von: Zhang, Jialun, et al.
Veröffentlicht: (2025)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
von: Tu, Haoxin, et al.
Veröffentlicht: (2024)

ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
von: Xie, Yuchong, et al.
Veröffentlicht: (2025)

Revisiting Vulnerability Patch Identification on Data in the Wild
von: Irsan, Ivana Clairine, et al.
Veröffentlicht: (2026)

Automated Generation of Cybersecurity Exercise Scenarios
von: Skandylas, Charilaos, et al.
Veröffentlicht: (2026)

Automated Penetration Testing: Formalization and Realization
von: Skandylas, Charilaos, et al.
Veröffentlicht: (2024)

RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
von: Xie, Yuchong, et al.
Veröffentlicht: (2026)

Unpacking Security Scanners for GitHub Actions Workflows
von: Fares, Madjda, et al.
Veröffentlicht: (2026)

Root-Cause-Driven Automated Vulnerability Repair
von: Wang, Hulin, et al.
Veröffentlicht: (2026)

Automating SBOM Generation with Zero-Shot Semantic Similarity
von: Pereira, Devin, et al.
Veröffentlicht: (2024)

Automated Attack Synthesis for Constant Product Market Makers
von: Han, Sujin, et al.
Veröffentlicht: (2024)

A Systematic Study of LLM-Based Architectures for Automated Patching
von: Xu, Qingxiao, et al.
Veröffentlicht: (2026)

PrediQL: Automated Testing of GraphQL APIs with LLMs
von: Liu, Shaolun, et al.
Veröffentlicht: (2025)

AIM: Automated Input Set Minimization for Metamorphic Security Testing
von: Chaleshtari, Nazanin Bayati, et al.
Veröffentlicht: (2024)

Tracking GPTs Third Party Service: Automation, Analysis, and Insights
von: Yan, Chuan, et al.
Veröffentlicht: (2025)

Automated Repair of OpenID Connect Programs (Extended Version)
von: Rahat, Tamjid Al, et al.
Veröffentlicht: (2025)

LLM Agents for Automated Web Vulnerability Reproduction: Are We There Yet?
von: Liu, Bin, et al.
Veröffentlicht: (2025)

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
von: Li, Haoyu, et al.
Veröffentlicht: (2026)

Enhancing Fuzz Testing Efficiency through Automated Fuzz Target Generation
von: Tran, Chi Thien
Veröffentlicht: (2026)

Unlocking Reproducibility: Automating re-Build Process for Open-Source Software
von: Hassanshahi, Behnaz, et al.
Veröffentlicht: (2025)

Automated Testing of Broken Authentication Vulnerabilities in Web APIs with AuthREST
von: Corradini, Davide, et al.
Veröffentlicht: (2025)

KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities
von: Ruan, Bonan, et al.
Veröffentlicht: (2024)

MAS-SZZ: Multi-Agentic SZZ Algorithm for Vulnerability-Inducing Commit Identification
von: Cao, Sicong, et al.
Veröffentlicht: (2026)

An Ontology-Based Approach to Security Risk Identification of Container Deployments in OT Contexts
von: Landeck, Yannick, et al.
Veröffentlicht: (2026)

VulKey: Automated Vulnerability Repair Guided by Domain-Specific Repair Patterns
von: Li, Jia, et al.
Veröffentlicht: (2026)

CodableLLM: Automating Decompiled and Source Code Mapping for LLM Dataset Generation
von: Manuel, Dylan, et al.
Veröffentlicht: (2025)

Automated TEE Adaptation with LLMs: Identifying, Transforming, and Porting Sensitive Functions in Programs
von: Han, Ruidong, et al.
Veröffentlicht: (2025)

LLM-Driven Adaptive Source-Sink Identification and False Positive Mitigation for Static Analysis
von: Lin, Shiyin
Veröffentlicht: (2025)

SEDAC: A CVAE-Based Data Augmentation Method for Security Bug Report Identification
von: Liao, Y., et al.
Veröffentlicht: (2024)

Think Broad, Act Narrow: CWE Identification with Multi-Agent Large Language Models
von: Sayagh, Mohammed, et al.
Veröffentlicht: (2025)

Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching
von: Ma, Chengyan, et al.
Veröffentlicht: (2026)

Toward Automated Security Risk Detection in Large Software Using Call Graph Analysis
von: Pecka, Nicholas, et al.
Veröffentlicht: (2025)

LLM4CVE: Enabling Iterative Automated Vulnerability Repair with Large Language Models
von: Fakih, Mohamad, et al.
Veröffentlicht: (2025)

VERCATION: Precise Vulnerable Open-source Software Version Identification based on Static Analysis and LLM
von: Cheng, Yiran, et al.
Veröffentlicht: (2024)

From Transactions to Exploits: Automated PoC Synthesis for Real-World DeFi Attacks
von: Su, Xing, et al.
Veröffentlicht: (2026)

AutoVulnPHP: LLM-Powered Two-Stage PHP Vulnerability Detection and Automated Localization
von: Wang, Zhiqiang, et al.
Veröffentlicht: (2026)

{A New Hope}: Contextual Privacy Policies for Mobile Applications and An Approach Toward Automated Generation
von: Pan, Shidong, et al.
Veröffentlicht: (2024)

AUTOVR: Automated UI Exploration for Detecting Sensitive Data Flow Exposures in Virtual Reality Apps
von: Kim, John Y., et al.
Veröffentlicht: (2025)

Does the Vulnerability Threaten Our Projects? Automated Vulnerable API Detection for Third-Party Libraries
von: Zhang, Fangyuan, et al.
Veröffentlicht: (2024)