中文
相关论文

相关论文: PIDSMaker: Building and Evaluating Provenance-base…

200 篇论文

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…

计算机科学中的逻辑 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

机器学习 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

机器学习 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

密码学与安全 · 计算机科学 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,…

计算机科学中的逻辑 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

人工智能 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 2026-04-17 Fan Yang , Binyan Xu , Di Tang , Kehuan Zhang