English
Related papers

Related papers: Poster: SpiderSim: Multi-Agent Driven Theoretical …

200 papers

In this paper, we discuss the need for an integrated software stack that unites artificial intelligence (AI) and modeling and simulation (ModSim) tools to advance scientific discovery. The authors advocate for a unified AI/ModSim software…

Software Engineering · Computer Science 2024-11-15 Michael A. Heroux , Sameer Shende , Lois Curfman McInnes , Todd Gamblin , James M. Willenbring

We quickly approach a "pervasive future" where pervasive computing is the norm. In this scenario, humans are surrounded by a multitude of heterogeneous devices that assist them in almost every aspect of their daily routines. The realization…

Cryptography and Security · Computer Science 2019-07-12 Artur Souza , Antônio A. F. Loureiro , Leonardo B. Oliveira

Cybersecurity is a very challenging topic of research nowadays, as digitalization increases the interaction of people, software and services on the Internet by means of technology devices and networks connected to it. The field is broad and…

Artificial Intelligence · Computer Science 2021-07-02 Nuno Oliveira , Norberto Sousa , Isabel Praça

Cybersecurity research increasingly depends on reproducible evidence, such as traffic traces, logs, and labeled datasets, yet most public datasets remain static and offer limited support for controlled re-execution and traceability,…

Cryptography and Security · Computer Science 2026-04-07 Leonardo Bitzki , Diego Kreutz , Tiago Heinrich , Douglas Fideles , Leandro Bertholdo , Silvio Quincozes , Angelo Diniz

Regulatory approval and safety guarantees for autonomous vehicles facing frequent functional updates and complex software stacks, including artificial intelligence, are a challenging topic. This paper proposes a concept and guideline for…

Systems and Control · Electrical Eng. & Systems 2020-05-19 Tim Stahl , Matthis Eicher , Johannes Betz , Frank Diermeyer

Simulation-based testing has become a crucial complement to road testing for ensuring the safety of cyber physical systems (CPS). As a result, significant research efforts have been directed toward identifying failure scenarios within…

Artificial Intelligence · Computer Science 2025-11-14 Edward Kim , Devan Shanker , Varun Bharadwaj , Hongbeen Park , Jinkyu Kim , Hazem Torfah , Daniel J Fremont , Sanjit A Seshia

Generating user activity is a key capability for both evaluating security monitoring tools as well as improving the credibility of attacker analysis platforms (e.g., honeynets). In this paper, to generate this activity, we instrument each…

Artificial Intelligence · Computer Science 2021-11-24 Alexandre Dey , Benjamin Costé , Éric Totel , Adrien Bécue

Security risk assessment is essential in establishing the trustworthiness and reliability of modern systems. While various security risk assessment approaches exist, prevalent applications are "pen and paper" implementations that -- even if…

Cryptography and Security · Computer Science 2025-09-23 Avi Shaked

The emergence of AI-driven web automation through Large Language Models (LLMs) offers unprecedented opportunities for optimizing digital workflows. However, deploying such systems within industry's real-world environments presents four core…

Software Engineering · Computer Science 2025-08-26 Ankur Tomar , Hengyue Liang , Indranil Bhattacharya , Natalia Larios , Francesco Carbone

The increasing availability of cloud computing and scientific super computers brings great potential for making R accessible through public or shared resources. This allows us to efficiently run code requiring lots of cycles and memory, or…

Cryptography and Security · Computer Science 2014-02-05 Jeroen Ooms

Due to the variety of cyber-attacks or threats, the cybersecurity community enhances the traditional security control mechanisms to an advanced level so that automated tools can encounter potential security threats. Very recently, Cyber…

Machine Learning · Computer Science 2022-11-15 Md Imran Hossen , Ashraful Islam , Farzana Anowar , Eshtiak Ahmed , Mohammad Masudur Rahman , Xiali , Hei

The increase in complexity of autonomous systems is accompanied by a need of data-driven development and validation strategies. Advances in computer graphics and cloud clusters have opened the way to massive parallel high fidelity…

Machine Learning · Computer Science 2023-01-05 Osama Maqbool , Jürgen Roßmann

Traditional cybersecurity methodologies target deterministic systems and fail to address the probabilistic nature of AI, leaving systems vulnerable to attack vectors such as model inversion, data poisoning, and prompt injection. Recent…

Cryptography and Security · Computer Science 2026-05-19 Tsafac Nkombong Regine Cyrille , Franziska Schwarz

The advance of web services technologies promises to have far-reaching effects on the Internet and enterprise networks allowing for greater accessibility of data. The security challenges presented by the web services approach are…

Logic in Computer Science · Computer Science 2012-06-15 Michele Barletta , Silvio Ranise , Luca Viganò

Cybersecurity is being fundamentally reshaped by foundation-model-based artificial intelligence. Large language models now enable autonomous planning, tool orchestration, and strategic adaptation at scale, challenging security architectures…

Cryptography and Security · Computer Science 2025-12-30 Tao Li , Quanyan Zhu

Many modern cyber physical systems incorporate computer vision technologies, complex sensors and advanced control software, allowing them to interact with the environment autonomously. Testing such systems poses numerous challenges: not…

Neural and Evolutionary Computing · Computer Science 2022-03-24 Dmytro Humeniuk , Foutse Khomh , Giuliano Antoniol

Developing and testing user interfaces (UIs) and training AI agents to interact with them are challenging due to the dynamic and diverse nature of real-world mobile environments. Existing methods often rely on cumbersome physical devices or…

Computer Vision and Pattern Recognition · Computer Science 2025-09-29 Jiannan Xiang , Yun Zhu , Lei Shu , Maria Wang , Lijun Yu , Gabriel Barcik , James Lyon , Srinivas Sunkara , Jindong Chen

Diffusion model-based approaches have shown promise in data-driven planning, but there are no safety guarantees, thus making it hard to be applied for safety-critical applications. To address these challenges, we propose a new method,…

Machine Learning · Computer Science 2023-06-02 Wei Xiao , Tsun-Hsuan Wang , Chuang Gan , Daniela Rus

We present StockSim, an open-source simulation platform for systematic evaluation of large language models (LLMs) in realistic financial decision-making scenarios. Unlike previous toolkits that offer limited scope, StockSim delivers a…

Computational Engineering, Finance, and Science · Computer Science 2025-07-15 Charidimos Papadakis , Giorgos Filandrianos , Angeliki Dimitriou , Maria Lymperaiou , Konstantinos Thomas , Giorgos Stamou

The factories of the future require efficient interconnection of their physical machines into the cyber space to cope with the emerging need of an increased uptime of machines, higher performance rates, an improved level of productivity and…

Cryptography and Security · Computer Science 2019-06-26 Ralph Ankele , Stefan Marksteiner , Kai Nahrgang , Heribert Vallant