English
Related papers

Related papers: vCause: Efficient and Verifiable Causality Analysi…

200 papers

Estimation of causal effects involves crucial assumptions about the data-generating process, such as directionality of effect, presence of instrumental variables or mediators, and whether all relevant confounders are observed. Violation of…

Machine Learning · Computer Science 2021-09-01 Amit Sharma , Vasilis Syrgkanis , Cheng Zhang , Emre Kıcıman

Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of…

Logic in Computer Science · Computer Science 2016-11-16 Ahmed Bouajjani , Constantin Enea , Rachid Guerraoui , Jad Hamza

The widespread applicability of analytics in cyber-physical systems has motivated research into causal inference methods. Predictive estimators are not sufficient when analytics are used for decision making; rather, the flow of causal…

Systems and Control · Computer Science 2017-03-22 Roy Dong , Eric Mazumdar , S. Shankar Sastry

Recent advances in edge computing~(EC) have pushed cloud-based data caching services to edge, however, such emerging edge storage comes with numerous challenging and unique security issues. One of them is the problem of edge data integrity…

Cryptography and Security · Computer Science 2024-08-09 Yao Zhao , Youyang Qu , Yong Xiang , Md Palash Uddin , Dezhong Peng , Longxiang Gao

Causal fairness in databases is crucial to preventing biased and inaccurate outcomes in downstream tasks. While most prior work assumes a known causal model, recent efforts relax this assumption by enforcing additional constraints. However,…

Machine Learning · Computer Science 2026-03-27 Ying Zheng , Yangfan Jiang , Kian-Lee Tan

Modern intrusion detection systems (IDS) leverage graph neural networks (GNNs) to detect malicious activity in system provenance data, but their decisions often remain a black box to analysts. This paper presents a comprehensive XAI…

Cryptography and Security · Computer Science 2025-12-23 Devang Dhanuka , Nidhi Rastogi

Deep learning has led to tremendous success in computer vision, largely due to Convolutional Neural Networks (CNNs). However, CNNs have been shown to be vulnerable to crafted adversarial perturbations. This vulnerability of adversarial…

Machine Learning · Computer Science 2026-01-21 Hichem Debbi

Causal discovery outputs a causal structure, represented by a graph, from observed data. For time series data, there is a variety of methods, however, it is difficult to evaluate these on real data as realistic use cases very rarely come…

Machine Learning · Statistics 2023-10-31 Søren Wengel Mogensen , Karin Rathsman , Per Nilsson

Discovering causal relationships in complex socio-behavioral systems is challenging but essential for informed decision-making. We present Upload, PREprocess, Visualize, and Evaluate (UPREVE), a user-friendly web-based graphical user…

Machine Learning · Computer Science 2023-07-27 Suraj Jyothi Unni , Paras Sheth , Kaize Ding , Huan Liu , K. Selcuk Candan

Cloud systems are becoming increasingly powerful and complex. It is highly challenging to identify anomalous execution behaviors and pinpoint problems by examining the overwhelming intermediate results/states in complex application…

Human-Computer Interaction · Computer Science 2022-01-03 Shaolun Ruan , Yong Wang , Hailong Jiang , Weijia Xu , Qiang Guan

Understanding causal relationships among the variables of a system is paramount to explain and control its behavior. For many real-world systems, however, the true causal graph is not readily available and one must resort to predictions…

Machine Learning · Statistics 2024-12-20 Elias Eulig , Atalanti A. Mastakouri , Patrick Blöbaum , Michaela Hardt , Dominik Janzing

Model checking is usually based on a comprehensive traversal of the state space. Causality-based model checking is a radically different approach that instead analyzes the cause-effect relationships in a program. We give an overview on a…

Logic in Computer Science · Computer Science 2017-10-11 Bernd Finkbeiner , Andrey Kupriyanov

Cross-domain recommendation forms a crucial component in recommendation systems. It leverages auxiliary information through source domain tasks or features to enhance target domain recommendations. However, incorporating inconsistent source…

Information Retrieval · Computer Science 2025-10-17 Zhibo Wu , Yunfan Wu , Lin Jiang , Ping Yang , Yao Hu

As cloud computing continues to advance and become an integral part of modern IT infrastructure, container security has emerged as a critical factor in ensuring the smooth operation of cloud-native applications. An attacker can attack the…

Cryptography and Security · Computer Science 2025-09-22 Kai Tan , Dongyang Zhan , Lin Ye , Hongli Zhang , Binxing Fang , Zhihong Tian

Ensuring the reliability and availability of cloud services necessitates efficient root cause analysis (RCA) for cloud incidents. Traditional RCA methods, which rely on manual investigations of data sources such as logs and traces, are…

Security research has concentrated on converting operating system audit logs into suitable graphs, such as provenance graphs, for analysis. However, provenance graphs can grow very large requiring significant computational resources beyond…

Identifying a causal model of an IT system is fundamental to many branches of systems engineering and operation. Such a model can be used to predict the effects of control actions, optimize operations, diagnose failures, detect intrusions,…

Machine Learning · Computer Science 2025-09-09 Kim Hammar , Rolf Stadler

Risk assessment plays a crucial role in ensuring the security and resilience of modern computer systems. Existing methods for conducting risk assessments often suffer from tedious and time-consuming processes, making it challenging to…

Cryptography and Security · Computer Science 2023-07-27 Simon Unger , Ektor Arzoglou , Markus Heinrich , Dirk Scheuermann , Stefan Katzenbeisser

Traditional threat modeling occurs during design, but cloud deployments introduce unanticipated threats, especially multi-stage attacks chaining vulnerabilities across trust boundaries. Existing security tools analyze components in…

Cryptography and Security · Computer Science 2026-03-25 Nicholas Pecka , Lotfi Ben Othmane , Bharat Bhargava , Renee Bryce

Provenance analysis (PA) has recently emerged as an important solution for cyber attack investigation. PA leverages system monitoring to monitor system activities as a series of system audit events and organizes these events as a provenance…

Cryptography and Security · Computer Science 2025-10-31 Fei Shao , Jia Zou , Zhichao Cao , Xusheng Xiao
‹ Prev 1 4 5 6 7 8 10 Next ›