Imagen de Portada

Quantitative Information Flow Control by Construction for Component-Based Systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Rønneberg, Rasmus Carl
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Dynamic Risk Management in Cyber Physical Systems
por: Schneider, Daniel, et al.
Publicado: (2024)

Towards Requirements Engineering for RAG Systems
por: Sporsem, Tor, et al.
Publicado: (2025)

Component Based Systems: A Novel Methodology in Software Engineering
por: Usama Quadri Syed
Publicado: (2019)

CFIghter: Automated Control-Flow Integrity Enablement and Evaluation for Legacy C/C++ Systems
por: Houy, Sabine, et al.
Publicado: (2025)

Engineering a sustainable world by enhancing the scope of systems of systems engineering and mastering dynamics
por: Adler, Rasmus, et al.
Publicado: (2024)

An MLIR-Based Compilation Framework for Control Flow Management on Coarse Grained Reconfigurable Arrays
por: Wang, Yuxuan, et al.
Publicado: (2025)

A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization
por: Kang, Sungmin, et al.
Publicado: (2023)

An Anatomy of 488 Faults from Defects4J Based on the Control- and Data-Flow Graph Representations of Programs
por: van der Spuy, Alexandra, et al.
Publicado: (2025)

A Structured Approach to Safety Case Construction for AI Systems
por: Lee, Sung Une, et al.
Publicado: (2026)

A Universal Textual Merge Strategy Based on Tokens for Version Control Systems
por: Gu, Qiqi Jason, et al.
Publicado: (2026)

PELLI: Framework to effectively integrate LLMs for quality software generation
por: Krebs, Rasmus, et al.
Publicado: (2026)

Transforming Software Development with Generative AI: Empirical Insights on Collaboration and Workflow
por: Ulfsnes, Rasmus, et al.
Publicado: (2024)

Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
por: Kauffman, Sean, et al.
Publicado: (2024)

EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
por: Liu, Chenyan, et al.
Publicado: (2026)

Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode
por: Wang, Dingding, et al.
Publicado: (2025)

Scalable Thread-Safety Analysis of Java Classes with CodeQL
por: Jåtten, Bjørnar Haugstad, et al.
Publicado: (2025)

Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
por: Santos, Joanna C. S., et al.
Publicado: (2023)

A Family-Based Approach to Safety Cases for Controlled Airspaces in Small Uncrewed Aerial Systems
por: Hunter, Michael C., et al.
Publicado: (2025)

On Simulation of Power Systems and Microgrid Components with SystemC-AMS
por: Bhadani, Rahul, et al.
Publicado: (2024)

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems
por: Ma, Zhi, et al.
Publicado: (2024)

SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt
por: Li, Xiaoqi, et al.
Publicado: (2024)

An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security
por: Boltz, Nicolas, et al.
Publicado: (2024)

Using Information Flow to estimate interference between developers same method contributions
por: Filho, Roberto Souto Maior de Barros, et al.
Publicado: (2024)

Component Matching as a Graph Matching Problem
por: Kamath, Suresh
Publicado: (2024)

Verification of Quantitative Temporal Properties in RealTime-DEVS
por: González, Ariel, et al.
Publicado: (2024)

Flexible Control Flow Graph Alignment for Delivering Data-Driven Feedback to Novice Programming Learners
por: Chowdhury, Md Towhidul Absar, et al.
Publicado: (2024)

Quantum Software Architecture Framework (QSAF): A Component-Based Framework for Designing Hybrid Quantum-Classical Systems
por: Kiwelekar, Arvind W., et al.
Publicado: (2026)

Formal Verification of Consistency for Systems with Redundant Controllers
por: Johansson, Bjarne, et al.
Publicado: (2024)

Component Matching Approach in Linking Business and Application Architecture
por: Kamath, Suresh
Publicado: (2024)

BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
por: Kräuter, Tim, et al.
Publicado: (2024)

DFEPT: Data Flow Embedding for Enhancing Pre-Trained Model Based Vulnerability Detection
por: Jiang, Zhonghao, et al.
Publicado: (2024)

Stress Testing Control Loops in Cyber-Physical Systems
por: Mandrioli, Claudio, et al.
Publicado: (2023)

Characterising Developer Sentiment in Software Components: An Exploratory Study of Gentoo
por: Tulili, Tien Rahayu, et al.
Publicado: (2024)

VISCA: Inferring Component Abstractions for Automated End-to-End Testing
por: Alian, Parsa, et al.
Publicado: (2025)

Dont Stop Early: Scalable Enterprise Deep Research with Controlled Information Flow and Evidence-Aware Termination
por: Choubey, Prafulla Kumar, et al.
Publicado: (2026)

Information Systems and Software Engineering: The Case for Convergence
por: Fitzgerald, Brian
Publicado: (2024)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
por: Chen, Rui, et al.
Publicado: (2025)

Decoding Dependency Risks: A Quantitative Study of Vulnerabilities in the Maven Ecosystem
por: Nachuma, Costain, et al.
Publicado: (2025)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
por: Zhang, Jiahao, et al.
Publicado: (2025)

LLMCFG-TGen: Using LLM-Generated Control Flow Graphs to Automatically Create Test Cases from Use Cases
por: Yang, Zhenzhen, et al.
Publicado: (2025)