Cover Image

From What to How: A Taxonomy of Formalized Security Properties

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sayar, Imen, Messe, Nan, Ebersold, Sophie, Bruel, Jean-Michel
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

UOOR: Seamless and Traceable Requirements
by: Naumcheva, Maria, et al.
Published: (2025)

A Taxonomy of Functional Security Features and How They Can Be Located
by: Hermann, Kevin, et al.
Published: (2025)

From Business Problems to AI Solutions: Where Does Transformation Support Fail
by: Trabelsi, Abir, et al.
Published: (2026)

Engineering Decisions in MBSE: Insights for a Decision Capture Framework Development
by: Selmi, Nidhal, et al.
Published: (2026)

A Systematic Literature Review of Machine Learning Approaches for Migrating Monolithic Systems to Microservices
by: Trabelsi, Imen, et al.
Published: (2025)

How Far Have LLMs Come Toward Automated SATD Taxonomy Construction?
by: Nakashima, Sota, et al.
Published: (2025)

How Dataflow Diagrams Impact Software Security Analysis: an Empirical Experiment
by: Schneider, Simon, et al.
Published: (2024)

A Task Taxonomy for Conformance Checking
by: Rehse, Jana-Rebecca, et al.
Published: (2025)

Migrating QAOA from Qiskit 1.x to 2.x: An experience report
by: Cardinal, Julien, et al.
Published: (2025)

Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
by: Peldszus, Sven, et al.
Published: (2026)

A Validated Taxonomy on Software Energy Smells
by: Mehditabar, Mohammadjavad, et al.
Published: (2026)

From Digital Twins to Digital Twin Prototypes: Concepts, Formalization, and Applications
by: Barbie, Alexander, et al.
Published: (2024)

A Taxonomy of Inefficiencies in LLM-Generated Python Code
by: Abbassi, Altaf Allah, et al.
Published: (2025)

Understanding Everything as Code: A Taxonomy and Conceptual Model
by: Wei, Haoran, et al.
Published: (2025)

Lessons from Formally Verified Deployed Software Systems (Extended version)
by: Huang, Li, et al.
Published: (2023)

A Taxonomy of Testable HTML5 Canvas Issues
by: Macklon, Finlay, et al.
Published: (2022)

A Defect Taxonomy for Infrastructure as Code: A Replication Study
by: Oliveira, Wendell, et al.
Published: (2025)

A Taxonomy of Real-World Defeaters in Safety Assurance Cases
by: Gohar, Usman, et al.
Published: (2025)

A Novel Taxonomy and Classification Scheme for Code Smell Interactions
by: Gupta, Ruchin, et al.
Published: (2025)

A Taxonomy of Real Faults in Hybrid Quantum-Classical Architectures
by: Bensoussan, Avner, et al.
Published: (2025)

Prophecy: Inferring Formal Properties from Neuron Activations
by: Gopinath, Divya, et al.
Published: (2025)

Towards a Taxonomy of Software Log Smells
by: Saarimäki, Nyyti, et al.
Published: (2024)

Multi-Label Requirements Classification with Large Taxonomies
by: Abdeen, Waleed, et al.
Published: (2024)

The Role of Humour in Software Engineering -- A Literature Review and Preliminary Taxonomy
by: Hidellaarachchi, Dulaji, et al.
Published: (2025)

A Survey of Trojans in Neural Models of Source Code: Taxonomy and Techniques
by: Hussain, Aftab, et al.
Published: (2023)

A Taxonomy of Self-Admitted Technical Debt in Deep Learning Systems
by: Pepe, Federica, et al.
Published: (2024)

Weaponizing the Commons: A Taxonomy and Detection Framework of Abuse on GitHub
by: Cheng, Yuli, et al.
Published: (2026)

FMI-Based Distributed Co-Simulation with Enhanced Security and Intellectual Property Safeguards
by: Gil, Santiago, et al.
Published: (2025)

Bitcoin Cross-Chain Bridge: A Taxonomy and Its Promise in Artificial Intelligence of Things
by: Tang, Guojun, et al.
Published: (2025)

Combining Large Language Models with Static Analyzers for Code Review Generation
by: Jaoua, Imen, et al.
Published: (2025)

Towards a Taxonomy of Sustainability Requirements for Software Design
by: Roy, Mandira, et al.
Published: (2025)

Characterizing Faults in Agentic AI: A Taxonomy of Types, Symptoms, and Root Causes
by: Shah, Mehil B, et al.
Published: (2026)

Automatic Bottom-Up Taxonomy Construction: A Software Application Domain Study
by: Sas, Cezar, et al.
Published: (2024)

What the Fix? A Study of ASATs Rule Documentation
by: Latappy, Corentin, et al.
Published: (2024)

From Natural Language to Executable Properties for Property-based Testing of Mobile Apps
by: Xiong, Yiheng, et al.
Published: (2026)

Managing Security Issues in Software Containers: From Practitioners Perspective
by: Sroor, Maha, et al.
Published: (2025)

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
by: Li, Kaixuan, et al.
Published: (2024)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
by: Liu, Ye, et al.
Published: (2024)

Dynamic Function Configuration and its Management in Serverless Computing: A Taxonomy and Future Directions
by: Agarwal, Siddharth, et al.
Published: (2025)

A Survey of LLM-based Automated Program Repair: Taxonomies, Design Paradigms, and Applications
by: Yang, Boyang, et al.
Published: (2025)