201 citations · 386 across the 19 of their papers we have counts for
7 papers · 1 filter
Callisto: Entropy based test generation and data quality assessment for Machine Learning Systems
Sakshi Udeshi, Xingbin Jiang, Sudipta Chattopadhyay
Machine Learning (ML) has seen massive progress in the last decade and as a result, there is a pressing need for validating ML-based systems. To this end, we propose, design and ev…
Circ-Tree: A B+-Tree Variant with Circular Design for Persistent Memory
Chundong Wang, Gunavaran Brihadiswarn, Xingbin Jiang +1
Several B+-tree variants have been developed to exploit the performance potential of byte-addressable non-volatile memory (NVM). In this paper, we attentively investigate the prope…
Systematic Classification of Attackers via Bounded Model Checking
Eric Rothstein-Morris, Sun Jun, Sudipta Chattopadhyay
In this work, we study the problem of verification of systems in the presence of attackers using bounded model checking. Given a system and a set of security requirements, we prese…
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution
Guanhua Wang, Sudipta Chattopadhyay, Arnab Kumar Biswas +2
Spectre attacks disclosed in early 2018 expose data leakage scenarios via cache side channels. Specifically, speculatively executed paths due to branch mis-prediction may bring sec…
Road Context-aware Intrusion Detection System for Autonomous Cars
Jingxuan Jiang, Chundong Wang, Sudipta Chattopadhyay +1
Security is of primary importance to vehicles. The viability of performing remote intrusions onto the in-vehicle network has been manifested. In regard to unmanned autonomous cars,…
Model Agnostic Defence against Backdoor Attacks in Machine Learning
Sakshi Udeshi, Shanshan Peng, Gerald Woo +3
Machine Learning (ML) has automated a multitude of our day-to-day decision making domains such as education, employment and driving automation. The continued success of ML largely…
Grammar Based Directed Testing of Machine Learning Systems
Sakshi Udeshi, Sudipta Chattopadhyay
The massive progress of machine learning has seen its application over a variety of domains in the past decade. But how do we develop a systematic, scalable and modular strategy to…