English
Related papers

Related papers: PIDSMaker: Building and Evaluating Provenance-base…

200 papers

In this report we focus on some aspects related to modeling and formal verification of embedded systems. Many models have been proposed to represent embedded systems. These models encompass a broad range of styles, characteristics, and…

Logic in Computer Science · Computer Science 2010-10-26 S. Bandyopadhyay , D. Sarkar , C. R. Mandal

Security concerns for IoT applications have been alarming because of their widespread use in different enterprise systems. The potential threats to these applications are constantly emerging and changing, and therefore, sophisticated and…

Cryptography and Security · Computer Science 2022-04-12 Sk. Tanzir Mehedi , Adnan Anwar , Ziaur Rahman , Kawsar Ahmed , Rafiqul Islam

Recently, heatmap regression models have become popular due to their superior performance in locating facial landmarks. However, three major problems still exist among these models: (1) they are computationally expensive; (2) they usually…

Computer Vision and Pattern Recognition · Computer Science 2021-09-14 Haibo Jin , Shengcai Liao , Ling Shao

Network Intrusion Detection Systems (NIDS) have been studied in research for almost four decades. Yet, despite thousands of papers claiming scientific advances, a non-negligible number of recent works suggest that the findings of prior…

Cryptography and Security · Computer Science 2026-03-30 Miel Verkerken , Laurens D'hooge , Bruno Volckaert , Filip De Turck , Giovanni Apruzzese

Differentially private (DP) image synthesis aims to generate artificial images that retain the properties of sensitive images while protecting the privacy of individual images within the dataset. Despite recent advancements, we find that…

Cryptography and Security · Computer Science 2025-09-01 Chen Gong , Kecen Li , Zinan Lin , Tianhao Wang

PyODDS is an end-to end Python system for outlier detection with database support. PyODDS provides outlier detection algorithms which meet the demands for users in different fields, w/wo data science or machine learning background. PyODDS…

Machine Learning · Computer Science 2019-10-14 Yuening Li , Daochen Zha , Na Zou , Xia Hu

The race to train language models on vast, diverse, and inconsistently documented datasets has raised pressing concerns about the legal and ethical risks for practitioners. To remedy these practices threatening data transparency and…

A Network Intrusion Detection System (NIDS) is an important tool that identifies potential threats to a network. Recently, different flow-based NIDS designs utilizing Machine Learning (ML) algorithms have been proposed as potential…

Cryptography and Security · Computer Science 2023-06-09 Loc Gia Nguyen , Kohei Watabe

To benefit from the abundance of data and the insights it brings data processing pipelines are being used in many areas of research and development in both industry and academia. One approach to automating data processing pipelines is the…

Cryptography and Security · Computer Science 2023-10-18 Ludwig Stage , Dimka Karastoyanova

As network security threats evolve, safeguarding flow-based Machine Learning (ML)-based Network Intrusion Detection Systems (NIDS) from evasion adversarial attacks is crucial. This paper introduces the notion of feature perturb-ability and…

Cryptography and Security · Computer Science 2025-06-19 Mohamed elShehaby , Ashraf Matrawy

Deep generative models are proven to be a useful tool for automatic design synthesis and design space exploration. When applied in engineering design, existing generative models face three challenges: 1) generated designs lack diversity and…

Machine Learning · Computer Science 2021-08-17 Wei Chen , Faez Ahmed

Automatic security inspection relying on computer vision technology is a challenging task in real-world scenarios due to many factors, such as intra-class variance, class imbalance, and occlusion. Most previous methods rarely touch the…

Computer Vision and Pattern Recognition · Computer Science 2022-11-22 Libo Zhang , Lutao Jiang , Ruyi Ji , Heng Fan

With the ubiquitous nature of information technology solutions that facilitate communication in the modern world, cyber attacks are increasing in volume and becoming more sophisticated in nature. From classic network-based Denial of Service…

Cryptography and Security · Computer Science 2021-10-05 Rishabh Jindal , Adnan Anwar

Current Deep Neural Network (DNN) verifiers are typically designed to prioritize scalability over reliability. Reliability can be reinforced through the generation of proofs that are checkable by trusted, external proof checkers. To date,…

Logic in Computer Science · Computer Science 2026-02-05 Omri Isac , Idan Refaeli , Haoze Wu , Clark Barrett , Guy Katz

Fingerprint recognition systems are widely deployed for authentication and forensic applications, but the security of stored fingerprint data remains a critical vulnerability. While many systems avoid storing raw fingerprint images in favor…

Cryptography and Security · Computer Science 2025-11-18 Yaniv Hacmon , Keren Gorelik , Gilad Gressel , Yisroel Mirsky

Penetration Testing is a methodology for assessing network security, by generating and executing possible hacking attacks. Doing so automatically allows for regular and systematic testing. A key question is how to generate the attacks. This…

Artificial Intelligence · Computer Science 2017-07-06 Carlos Sarraute , Olivier Buffet , Joerg Hoffmann

The rapid evolution of Large Language Models (LLMs) has unlocked new possibilities for applying artificial intelligence across a wide range of fields, including privacy engineering. As modern applications increasingly handle sensitive user…

Cryptography and Security · Computer Science 2025-09-09 Majid Mollaeefar , Andrea Bissoli , Silvio Ranise

Recent benchmark efforts have advanced the evaluation of large language models (LLMs) in cybersecurity, including tasks such as penetration testing and vulnerability identification. However, a critical cybersecurity task, namely intrusion…

Cryptography and Security · Computer Science 2026-05-22 Danyu Sun , Jinghuai Zhang , Yuan Tian , Zhou Li

Security measures are essential in the automotive industry to detect intrusions in-vehicle networks. However, developing a one-size-fits-all Intrusion Detection System (IDS) is challenging because each vehicle has unique data profiles. This…

Cryptography and Security · Computer Science 2025-10-08 Md Rezanur Islam , Mahdi Sahlabadi , Keunkyoung Kim , Kangbin Yim

Provenance-based intrusion detection has emerged as a promising approach for analyzing complex attack behaviors through system-level provenance graphs. However, existing defense methods face an inherent granularity limitation. Node-centric…

Cryptography and Security · Computer Science 2026-04-17 Fan Yang , Binyan Xu , Di Tang , Kehuan Zhang
‹ Prev 1 4 5 6 7 8 10 Next ›