Image de couverture de livre

State Machine Model for The Update Framework (TUF)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Romansky, Brian, Mazzuchi, Thomas, Sarkani, Shahram
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Stateful Hash-Based Signature (SHBS) Benchmark Data for XMSS and LMS
par: Romansky, Brian, et autres
Publié: (2025)

Insecure Ingredients? Exploring Dependency Update Patterns of Bundled JavaScript Packages on the Web
par: Swierzy, Ben, et autres
Publié: (2025)

In the Magma chamber: Update and challenges in ground-truth vulnerabilities revival for automatic input generator comparison
par: Riom, Timothée, et autres
Publié: (2025)

TREBLE: Fast Software Updates by Creating an Equilibrium in an Active Software Ecosystem of Globally Distributed Stakeholders
par: Yim, Keun Soo, et autres
Publié: (2024)

An Empirical Study on Remote Code Execution in Machine Learning Model Hosting Ecosystems
par: Siddiq, Mohammed Latif, et autres
Publié: (2026)

A LINDDUN-based Privacy Threat Modeling Framework for GenAI
par: Liao, Qianying, et autres
Publié: (2026)

Introducing Systems Thinking as a Framework for Teaching and Assessing Threat Modeling Competency
par: Joshi, Siddhant S., et autres
Publié: (2024)

RepoMark: A Data-Usage Auditing Framework for Code Large Language Models
par: Qu, Wenjie, et autres
Publié: (2025)

Tracking Down Software Cluster Bombs: A Current State Analysis of the Free/Libre and Open Source Software (FLOSS) Ecosystem
par: Tatschner, Stefan, et autres
Publié: (2025)

Evaluating Nova 2.0 Lite model under Amazon's Frontier Model Safety Framework
par: Krishna, Satyapriya, et autres
Publié: (2026)

DLAP: A Deep Learning Augmented Large Language Model Prompting Framework for Software Vulnerability Detection
par: Yang, Yanjing, et autres
Publié: (2024)

Towards Trust Proof for Secure Confidential Virtual Machines
par: Mao, Jingkai, et autres
Publié: (2024)

Is Stateful Fuzzing Really Challenging?
par: Daniele, Cristian
Publié: (2024)

VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
par: Wang, Weizhe, et autres
Publié: (2025)

Engineering Trustworthy Machine-Learning Operations with Zero-Knowledge Proofs
par: Scaramuzza, Filippo, et autres
Publié: (2025)

Challenging Machine Learning Algorithms in Predicting Vulnerable JavaScript Functions
par: Ferenc, Rudolf, et autres
Publié: (2024)

OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
par: Ma, Jie, et autres
Publié: (2025)

Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study
par: Ayoughi, Negin, et autres
Publié: (2024)

Python Fuzzing for Trustworthy Machine Learning Frameworks
par: Yegorov, Ilya, et autres
Publié: (2024)

TELSAFE: Security Gap Quantitative Risk Assessment Framework
par: Siddiqui, Sarah Ali, et autres
Publié: (2025)

A New Framework of Software Obfuscation Evaluation Criteria
par: De Sutter, Bjorn
Publié: (2025)

BandFuzz: An ML-powered Collaborative Fuzzing Framework
par: Shi, Wenxuan, et autres
Publié: (2025)

A Requirement-Based Framework for Engineering Adaptive Authentication
par: Hassan, Alzubair, et autres
Publié: (2026)

Guardians of the Ledger: Protecting Decentralized Exchanges from State Derailment Defects
par: Li, Zongwei, et autres
Publié: (2024)

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
par: Li, Haoyu, et autres
Publié: (2026)

Exposing Go's Hidden Bugs: A Novel Concolic Framework
par: Gorna, Karolina, et autres
Publié: (2025)

DySec: A Machine Learning-based Dynamic Analysis for Detecting Malicious Packages in PyPI Ecosystem
par: Mehedi, Sk Tanzir, et autres
Publié: (2025)

Fuzzing Frameworks for Server-side Web Applications: A Survey
par: Dharmaadi, I Putu Arya, et autres
Publié: (2024)

Bridging Safety and Security in Complex Systems: A Model-Based Approach with SAFT-GT Toolchain
par: Pekaric, Irdin, et autres
Publié: (2026)

SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
par: Hu, Qi, et autres
Publié: (2026)

Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report)
par: Sharma, Ayushi, et autres
Publié: (2023)

LLMs as Firmware Experts: A Runtime-Grown Tree-of-Agents Framework
par: Zhang, Xiangrui, et autres
Publié: (2025)

Semantics-Aligned, Curriculum-Driven, and Reasoning-Enhanced Vulnerability Repair Framework
par: Yang, Chengran, et autres
Publié: (2025)

Quality-Assured Fuzz Harness Generation via the Four Principles Framework
par: Sheng, Ze, et autres
Publié: (2026)

MARD: A Multi-Agent Framework for Robust Android Malware Detection
par: Zeng, Xueying, et autres
Publié: (2026)

An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security
par: Boltz, Nicolas, et autres
Publié: (2024)

FirmReBugger: A Benchmark Framework for Monolithic Firmware Fuzzers
par: Duong, Mathew, et autres
Publié: (2026)

AgenticCyOps: Securing Multi-Agentic AI Integration in Enterprise Cyber Operations
par: Mitra, Shaswata, et autres
Publié: (2026)

Process Channels: A New Layer for Process Enactment Based on Blockchain State Channels
par: Stiehle, Fabian, et autres
Publié: (2023)

When AI Takes the Wheel: Security Analysis of Framework-Constrained Program Generation
par: Liu, Yue, et autres
Publié: (2025)