English
Related papers

Related papers: From (Elementary) Mathematical Data Model Schemas …

200 papers

By exploiting the increasing surface attack of systems, cyber-attacks can cause catastrophic events, such as, remotely disable safety mechanisms. This means that in order to avoid hazards, safety and security need to be integrated,…

Logic in Computer Science · Computer Science 2019-01-03 Vivek Nigam , Alexander Pretschner , Harald Ruess

Machine learning (ML) and deep learning (DL) techniques are increasingly used across astrophysics, enabled by the growing availability of data and improved acquisition methods. These approaches now support tasks from redshift estimation to…

High Energy Astrophysical Phenomena · Physics 2025-07-09 E. Oukacha , Y. Becherini

Machine-learning (ML) techniques have become popular in the recent years. ML techniques rely on mathematics and on software engineering. Researchers and practitioners studying best practices for designing ML application systems and software…

Software Engineering · Computer Science 2019-10-14 Hironori Washizaki , Hiromu Uchida , Foutse Khomh , Yann-Gael Gueheneuc

Cloud platforms run many software agents on each server node. These agents manage all aspects of node operation, and in some cases frequently collect data and make decisions. Unfortunately, their behavior is typically based on pre-defined…

Operating Systems · Computer Science 2022-01-26 Yawen Wang , Daniel Crankshaw , Neeraja J. Yadwadkar , Daniel Berger , Christos Kozyrakis , Ricardo Bianchini

Todays industrial control systems consist of tightly coupled components allowing adversaries to exploit security attack surfaces from the information technology side, and, thus, also get access to automation devices residing at the…

Software Engineering · Computer Science 2023-06-26 Mukund Bhole , Wolfgang Kastner , Thilo Sauter

Large language models (LLMs) can autonomously conduct multi-stage cyber attacks, but the consistency of their offensive behavior under repeated trials remains unstudied. This work presents the first large-scale empirical measurement of LLM…

Cryptography and Security · Computer Science 2026-05-29 Galip Tolga Erdem

Channel estimation in mmWave and THz-range wireless communications (producing Gb/Tb-range of data) is critical to configuring system parameters related to transmission signal quality, and yet it remains a daunting challenge both in software…

Networking and Internet Architecture · Computer Science 2021-11-17 Zied Ennaceur , Anna Engelmann , Admela Jukan

Industrial Edge AI programs often begin with the model and only later confront the platform. That sequencing is attractive because it allows early demonstrations, but it breaks down when the deployment target is an embedded system with long…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-27 Pitchai Muthu M

Protecting cloud applications is critical in an era where security threats are increasingly sophisticated and persistent. Continuous Integration and Continuous Deployment (CI/CD) pipelines are particularly vulnerable, making innovative…

Cryptography and Security · Computer Science 2025-10-21 Sabbir M. Saleh , Nazim Madhavji , John Steinbacher

Autonomous agents based on large language models (LLMs) are rapidly emerging as a general-purpose technology, with recent systems such as OpenClaw extending their capabilities through broad tool use, third-party skills, and deeper…

Cryptography and Security · Computer Science 2026-05-15 Lukas Pirch , Micha Horlboge , Patrick Großmann , Syeda Mahnur Asif , Klim Kireev , Thorsten Holz , Konrad Rieck

The growth of low-end hardware has led to a proliferation of machine learning-based services in edge applications. These applications gather contextual information about users and provide some services, such as personalized offers, through…

Machine Learning · Computer Science 2024-02-06 Akanksha Atrey , Ritwik Sinha , Saayan Mitra , Prashant Shenoy

Model errors are pervasive and can be catastrophic. We can reduce model errors and time to market by applying Component-Based Software Engineering (CBSE) concepts to Excel models. CBSE assembles solutions from pre-built, pre-tested…

Software Engineering · Computer Science 2023-09-06 Craig Hatmaker

Machine learning (ML) is increasingly being deployed in critical systems. The data dependence of ML makes securing data used to train and test ML-enabled systems of utmost importance. While the field of cybersecurity has well-established…

Cryptography and Security · Computer Science 2023-12-05 Padmaksha Roy , Jaganmohan Chandrasekaran , Erin Lanus , Laura Freeman , Jeremy Werner

This report documents safety assurance argument templates to support the deployment and operation of autonomous systems that include machine learning (ML) components. The document presents example safety argument templates covering: the…

Software Engineering · Computer Science 2021-03-12 Robin Bloomfield , Gareth Fletcher , Heidy Khlaaf , Luke Hinde , Philippa Ryan

Translating statistical methods into reliable software is a persistent bottleneck in quantitative research. Existing AI code-generation tools produce code quickly but cannot guarantee faithful implementation -- a critical requirement for…

Software Engineering · Computer Science 2026-04-07 Tianzhu Qin , Yiqing Xu

Clouds gather a vast volume of telemetry from their networked systems which contain valuable information that can help solve many of the problems that continue to plague them. However, it is hard to extract useful information from such raw…

Networking and Internet Architecture · Computer Science 2020-04-28 Behnaz Arzani , Bita Rouhani

The aim of this paper is to propose a rigorous and complete design framework for complex system based on system engineering (SE) principles. The SE standard EIA-632 is used to guide the approach. Within this framework, two aspects are…

Software Engineering · Computer Science 2012-12-19 Romaric Guillerm , Hamid Demmou , Nabil Sadou

We describe an algorithm and a C++ implementation that we have written and made available for calculating the fully nonlinear evolution of 5D braneworld models with scalar fields. Bulk fields allow for the stabilization of the extra space.…

High Energy Physics - Phenomenology · Physics 2009-11-10 Johannes Martin , Gary N. Felder , Andrei V. Frolov , Lev Kofman , Marco Peloso

Large language models are becoming pervasive core components in many real-world applications. As a consequence, security alignment represents a critical requirement for their safe deployment. Although previous related works focused…

Cryptography and Security · Computer Science 2026-03-24 Marco Arazzi , Vignesh Kumar Kembu , Antonino Nocera