English
Related papers

Related papers: IFDS Taint Analysis with Access Paths

200 papers

Static code analysis is a powerful approach to detect quality deficiencies such as performance bottlenecks, safety violations or security vulnerabilities already during a software system's implementation. Yet, as current software systems…

Software Engineering · Computer Science 2017-10-23 Eric Bodden

The IoT is vulnerable to network attacks, and Intrusion Detection Systems (IDS) can provide high attack detection accuracy and are easily installed in IoT Servers. However, IDS are seldom evaluated in operational conditions which are…

Cryptography and Security · Computer Science 2024-01-31 Mohammed Nasereddin , Mert Nakıp , Erol Gelenbe

In this work we investigate a new approach for detecting attacks which aim to degrade the network's Quality of Service (QoS). To this end, a new network-based intrusion detection system (NIDS) is proposed. Most contemporary NIDSs take a…

Cryptography and Security · Computer Science 2013-06-21 Eitan Menahem , Gabi Nakibly , Yuval Elovici

Digital twins (DTs) are increasingly used to monitor and secure Industrial Control Systems (ICS), yet detecting stealthy False Data Injection Attacks (FDIAs) that manipulate system states within normal physical bounds remains challenging.…

Cryptography and Security · Computer Science 2026-03-03 Inda Kreso , Mehran Tarif , Fatemeh Moradi , Iman Khazrak , Mostafa M Rezaee , Mohammadhossein Homaei

The rapid advancement of machine learning (ML) and on-device computing has revolutionized various industries, including transportation, through the development of Connected and Autonomous Vehicles (CAVs) and Intelligent Transportation…

Machine Learning · Computer Science 2025-02-11 Robert Akinie , Nana Kankam Brym Gyimah , Mansi Bhavsar , John Kelly

This paper investigates the temporal analysis of NetFlow datasets for machine learning (ML)-based network intrusion detection systems (NIDS). Although many previous studies have highlighted the critical role of temporal features, such as…

Machine Learning · Computer Science 2026-05-01 Majed Luay , Siamak Layeghy , Seyedehfaezeh Hosseininoorbin , Mohanad Sarhan , Nour Moustafa , Marius Portmann

Network Intrusion Detection Systems (NIDS) have progressively shifted from signature-based techniques toward machine learning and, more recently, deep learning methods. Meanwhile, the widespread adoption of encryption has reduced payload…

Cryptography and Security · Computer Science 2026-03-04 Abdelkader El Mahdaouy , Issam Ait Yahia , Soufiane Oualil , Ismail Berrada

Background. Developers use Automated Static Analysis Tools (ASATs) to control for potential quality issues in source code, including defects and technical debt. Tool vendors have devised quite a number of tools, which makes it harder for…

Software Engineering · Computer Science 2021-01-25 Valentina Lenarduzzi , Savanna Lujan , Nyyti Saarimaki , Fabio Palomba

With the growing reliance on the vulnerable Automatic Dependent Surveillance-Broadcast (ADS-B) protocol in air traffic management (ATM), ensuring security is critical. This study investigates emerging machine learning models and training…

Cryptography and Security · Computer Science 2025-10-10 Mikaëla Ngamboé , Jean-Simon Marrocco , Jean-Yves Ouattara , José M. Fernandez , Gabriela Nicolescu

Context: Static analyses are well-established to aid in understanding bugs or vulnerabilities during the development process or in large-scale studies. A low false-positive rate is essential for the adaption in practice and for precise…

Software Engineering · Computer Science 2024-03-13 Anna-Katharina Wickert , Michael Schlichtig , Marvin Vogel , Lukas Winter , Mira Mezini , Eric Bodden

Network Intrusion and Detection Systems (NIDS) are essential for malicious traffic and cyberattack detection in modern networks. Artificial intelligence-based NIDS are powerful tools that can learn complex data correlations for accurate…

Cryptography and Security · Computer Science 2023-01-02 Anton Raskovalov , Nikita Gabdullin , Vasily Dolmatov

As the world moves towards being increasingly dependent on computers and automation, building secure applications, systems and networks are some of the main challenges faced in the current decade. The number of threats that individuals and…

Cryptography and Security · Computer Science 2020-06-08 Hanan Hindy , David Brosset , Ethan Bayne , Amar Seeam , Christos Tachtatzis , Robert Atkinson , Xavier Bellekens

Intrusion detection systems (IDS) monitor system logs and network traffic to recognize malicious activities in computer networks. Evaluating and comparing IDSs with respect to their detection accuracies is thereby essential for their…

Cryptography and Security · Computer Science 2023-05-16 Max Landauer , Florian Skopik , Maximilian Frank , Wolfgang Hotwagner , Markus Wurzenberger , Andreas Rauber

Intrusion detection has been a commonly adopted detective security measures to safeguard systems and networks from various threats. A robust intrusion detection system (IDS) can essentially mitigate threats by providing alerts. In networks…

Cryptography and Security · Computer Science 2024-11-06 Maraz Mia , Mir Mehedi A. Pritom , Tariqul Islam , Kamrul Hasan

Static security analysis is a widely used technique for detecting software vulnerabilities across a wide range of weaknesses, application domains, and programming languages. While prior work surveyed static analyzes for specific weaknesses…

Cryptography and Security · Computer Science 2026-02-23 Kevin Hermann , Sven Peldszus , Thorsten Berger

Recent developments in intelligent transport systems (ITS) based on smart mobility significantly improves safety and security over roads and highways. ITS networks are comprised of the Internet-connected vehicles (mobile nodes), roadside…

Cryptography and Security · Computer Science 2019-02-15 Akash Raj Narayanadoss , Tram Truong-Huu , Purnima Murali Mohan , Mohan Gurusamy

Web applications require access to the file-system for many different tasks. When analyzing the security of a web application, secu- rity analysts should thus consider the impact that file-system operations have on the security of the whole…

Cryptography and Security · Computer Science 2017-05-11 Federico De Meo , Luca Viganò

Test Impact Analysis is an approach to obtain a subset of tests impacted by code changes. This approach is mainly applied to unit testing where the link between the code and its associated tests is easy to obtain. On the integration level,…

Software Engineering · Computer Science 2022-11-16 Muzammil Shahbaz

Intrusion Detection System (IDS) is one of the most effective solutions for providing primary security services. IDSs are generally working based on attack signatures or by detecting anomalies. In this paper, we have presented AutoIDS, a…

Machine Learning · Computer Science 2019-11-11 Mohammed Gharib , Bahram Mohammadi , Shadi Hejareh Dastgerdi , Mohammad Sabokrou

An interprocedural analysis is precise if it is flow sensitive and fully context-sensitive even in the presence of recursion. Many methods of interprocedural analysis sacrifice precision for scalability while some are precise but limited to…

Programming Languages · Computer Science 2013-07-30 Rohan Padhye , Uday P. Khedker
‹ Prev 1 3 4 5 6 7 10 Next ›