English
Related papers

Related papers: Unveiling Dynamic Binary Instrumentation Technique…

200 papers

Digital Twin was introduced over a decade ago, as an innovative all-encompassing tool, with perceived benefits including real-time monitoring, simulation and forecasting. However, the theoretical framework and practical implementations of…

Machine Learning · Computer Science 2020-12-07 Angira Sharma , Edward Kosasih , Jie Zhang , Alexandra Brintrup , Anisoara Calinescu

Digital twins have recently gained significant interest in simulation, optimization, and predictive maintenance of Industrial Control Systems (ICS). Recent studies discuss the possibility of using digital twins for intrusion detection in…

Cryptography and Security · Computer Science 2022-07-21 Seba Anna Varghese , Alireza Dehlaghi Ghadim , Ali Balador , Zahra Alimadadi , Panos Papadimitratos

This paper establishes a general framework for describing hybrid dynamical systems which is particularly suitable for numerical simulation. In this context, the data structures used to describe the sets and functions which comprise the…

chao-dyn · Physics 2008-02-03 Allen Back , John Guckenheimer , Mark Myers

The quest for real-time dynamic optimization solutions in the process industry represents a formidable computational challenge, particularly within the realm of applications like model-predictive control, where rapid and reliable…

Optimization and Control · Mathematics 2024-04-29 Dennis Michael Nenno , Adrian Caspari

Humans can fluidly adapt their interest in complex environments in ways that machines cannot. Here, we lay the groundwork for a real-world system that passively monitors and merges neural correlates of visual interest across team members…

Neurons and Cognition · Quantitative Biology 2019-01-21 Amelia J. Solon , Stephen M. Gordon , Jonathan R. McDaniel , Vernon J. Lawhern

Digital twins have attracted a great deal of recent attention from a wide range of fields. A basic requirement for digital twins of nonlinear dynamical systems is the ability to generate the system evolution and predict potentially…

Machine Learning · Computer Science 2023-09-21 Ying-Cheng Lai

This paper explores the possibilities of using a computing methodology --hardware and software-- that employs technology other than binary. I refer to this as "supra - binary" computing. Software constructs that use more than binary…

Other Computer Science · Computer Science 2016-03-22 Givon Zirkind

Intrusion detection systems (IDS) help detect unauthorized activities or intrusions that may compromise the confidentiality, integrity or availability of a resource. This paper presents a general overview of IDSs, the way they are…

Cryptography and Security · Computer Science 2017-12-04 Liu Hua Yeo , Xiangdong Che , Shalini Lakkaraju

Software is a great enabler for a number of projects that otherwise would be impossible to perform. Such projects include Space Exploration, Weather Modeling, Genome Projects, and many others. It is critical that software aiding these…

Software Engineering · Computer Science 2023-02-10 Aedin Pereira , Julia Ding , Zaina Ali , Rodion Podorozhny

Collecting traces from software running in the field is both useful and challenging. Traces may indeed help revealing unexpected usage scenarios, detecting and reproducing failures, and building behavioral models that reflect how the…

Software Engineering · Computer Science 2020-02-11 Oscar Cornejo , Daniela Briola , Daniela Micucci , Leonardo Mariani

WebAssembly is the new low-level language for the web and has now been implemented in all major browsers since over a year. To ensure the security, performance, and correctness of future web applications, there is a strong need for dynamic…

Programming Languages · Computer Science 2018-09-03 Daniel Lehmann , Michael Pradel

Determining whether a configurable software system has a performance bug or it was misconfigured is often challenging. While there are numerous debugging techniques that can support developers in this task, there is limited empirical…

Software Engineering · Computer Science 2022-03-22 Miguel Velez , Pooyan Jamshidi , Norbert Siegmund , Sven Apel , Christian Kästner

With the increasing complexity of industrial systems, there is a pressing need for predictive maintenance to avoid costly downtime and disastrous outcomes that could be life-threatening in certain domains. With the growing popularity of the…

Artificial Intelligence · Computer Science 2025-09-30 Leila Ismail , Abdelmoneim Abdelmoti , Arkaprabha Basu , Aymen Dia Eddine Berini , Mohammad Naouss

Dynamic program analysis is invaluable for malware detection, debugging, and performance profiling. However, software-based instrumentation incurs high overhead and can be evaded by anti-analysis techniques. In this paper, we propose…

Cryptography and Security · Computer Science 2025-10-21 Changyu Zhao , Yohan Beugin , Jean-Charles Noirot Ferrand , Quinn Burke , Guancheng Li , Patrick McDaniel

Our machines, products, utilities, and environments have long been monitored by embedded software systems. Our professional, commercial, social and personal lives are also subject to monitoring as they are mediated by software systems. Data…

Computers and Society · Computer Science 2017-01-27 Kenneth Johnson , John V. Tucker , Victoria Wang

Digital twins (DT) of industrial processes have become increasingly important. They aim to digitally represent the physical world to help evaluate, optimize, and predict physical processes and behaviors. Therefore, DT is a vital tool to…

Software Engineering · Computer Science 2023-02-28 Yunpeng Ma , Khalil Younis , Bestoun S. Ahmed , Andreas Kassler , Pavel Krakhmalev , Andreas Thore , Hans Lindback

An Intrusion Detection System (IDS) is a software that monitors a single or a network of computers for malicious activities (attacks) that are aimed at stealing or censoring information or corrupting network protocols. Most techniques used…

Cryptography and Security · Computer Science 2015-05-12 Mahdi Zamani , Mahnush Movahedi

The binary executable format is the standard method for distributing and executing software. Yet, it is also as opaque a representation of software as can be. If the binary format were augmented with metadata that provides security-relevant…

Cryptography and Security · Computer Science 2026-04-22 Daniel Engel , Freek Verbeek , Pranav Kumar , Binoy Ravindran

System call filtering is widely used to secure programs in multi-tenant environments, and to sandbox applications in modern desktop software deployment and package management systems. Filtering rules are hard to write and maintain manually,…

Cryptography and Security · Computer Science 2024-10-24 Gaspard Thévenon , Kevin Nguetchouang , Kahina Lazri , Alain Tchana , Pierre Olivier

Digital Twins have been described as beneficial in many areas, such as virtual commissioning, fault prediction or reconfiguration planning. Equipping Digital Twins with artificial intelligence functionalities can greatly expand those…

Machine Learning · Computer Science 2021-08-31 Benjamin Maschler , Dominik Braun , Nasser Jazdi , Michael Weyrich