Formal Reasoning of Various Categories of Widely Exploited Security Vulnerabilities by Pointer Taintedness Semantics. - Shuo Chen 001; Karthik Pattabiraman; Zbigniew Kalbarczyk; Ravishankar K. Iyer (SEC, 2004)

Modeling Coordinated Checkpointing for Large-Scale Supercomputers. - Long Wang 003; Karthik Pattabiraman; Zbigniew Kalbarczyk; Ravishankar K. Iyer; Lawrence G. Votta; Christopher A. Vick; Alan Wood (DSN, 2005)

Application-Based Metrics for Strategic Placement of Detectors. - Karthik Pattabiraman; Zbigniew Kalbarczyk; Ravishankar K. Iyer (PRDC, 2005)

Dynamic Derivation of Application-Specific Error Detectors and their Implementation in Hardware. - Karthik Pattabiraman; Giacinto Paolo Saggese; Daniel Chen 001; Zbigniew Kalbarczyk; Ravishankar K. Iyer (EDCC, 2006)

Processor-Level Selective Replication. - Nithin Nakka; Karthik Pattabiraman; Ravishankar K. Iyer (DSN, 2007)

Automated Derivation of Application-aware Error Detectors using Static Analysis. - Karthik Pattabiraman; Zbigniew Kalbarczyk; Ravishankar K. Iyer (IOLTS, 2007)

Toward Application-Aware Security and Reliability. - Ravishankar K. Iyer; Zbigniew Kalbarczyk; Karthik Pattabiraman; William Healey; Wen-mei W. Hwu; Peter Klemperer; Reza Farivar (IEEE Secur. Priv., 2007)

Workshop on compiler and architectural techniques for application reliability and security (CATARS). - Karthik Pattabiraman; Shuo Chen 001; Zbigniew Kalbarczyk (DSN, 2008)

Samurai: protecting critical data in unsafe languages. - Karthik Pattabiraman; Vinod Grover; Benjamin G. Zorn (EuroSys, 2008)

An end-to-end approach for the automatic derivation of application-aware error detectors. - Galen Lyle; Shelley Cheny; Karthik Pattabiraman; Zbigniew Kalbarczyk; Ravishankar K. Iyer (DSN, 2009)

Second workshop on Compiler and Architectural Techniques for Application Reliability and Security (CATARS). - Karthik Pattabiraman; Zbigniew Kalbarczyk (DSN, 2009)

Detecting and tolerating asymmetric races. - Paruj Ratanaworabhan; Martin Burtscher; Darko Kirovski; Benjamin G. Zorn; Rahul Nagpal; Karthik Pattabiraman (PPoPP, 2009)

Discovering Application-Level Insider Attacks Using Symbolic Execution. - Karthik Pattabiraman; Nithin Nakka; Zbigniew Kalbarczyk; Ravishankar K. Iyer (SEC, 2009)

Automated Derivation of Application-Aware Error and Attack Detectors - Karthik Pattabiraman (2009)

Towards understanding the effects of intermittent hardware faults on programs. - Layali Rashid; Karthik Pattabiraman; Sathish Gopalakrishnan (DSN Workshops, 2010)

DoDOM: Leveraging DOM Invariants for Web 2.0 Application Robustness Testing. - Karthik Pattabiraman; Benjamin G. Zorn (ISSRE, 2010)

Modeling the Propagation of Intermittent Hardware Faults in Programs. - Layali Rashid; Karthik Pattabiraman; Sathish Gopalakrishnan (PRDC, 2010)

Flikker: saving DRAM refresh-power through critical data partitioning. - Song Liu; Karthik Pattabiraman; Thomas Moscibroda; Benjamin G. Zorn (ASPLOS, 2011)

Comparing the effects of intermittent and transient hardware faults on programs. - Jiesheng Wei; Layali Rashid; Karthik Pattabiraman; Sathish Gopalakrishnan (DSN Workshops, 2011)

JavaScript Errors in the Wild: An Empirical Study. - Frolin S. Ocariza Jr.; Karthik Pattabiraman; Benjamin G. Zorn (ISSRE, 2011)

Automated Derivation of Application-Aware Error Detectors Using Static Analysis: The Trusted Illiac Approach. - Karthik Pattabiraman; Zbigniew Kalbarczyk; Ravishankar K. Iyer (IEEE Trans. Dependable Secur. Comput., 2011)

Automated Derivation of Application-Specific Error Detectors Using Dynamic Analysis. - Karthik Pattabiraman; Giacinto Paolo Saggese; Daniel Chen 001; Zbigniew Kalbarczyk; Ravishankar K. Iyer (IEEE Trans. Dependable Secur. Comput., 2011)

A model for security analysis of smart meters. - Farid Molazem Tabrizi; Karthik Pattabiraman (DSN Workshops, 2012)

BLOCKWATCH: Leveraging similarity in parallel programs for error detection. - Jiesheng Wei; Karthik Pattabiraman (DSN, 2012)

AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript. - Frolin S. Ocariza Jr.; Karthik Pattabiraman; Ali Mesbah 001 (ICST, 2012)

Intermittent Hardware Errors Recovery: Modeling and Evaluation. - Layali Rashid; Karthik Pattabiraman; Sathish Gopalakrishnan (QEST, 2012)

Abstract: Evaluating Error Resiliency of GPGPU Applications. - Bo Fang 002; Jiesheng Wei; Karthik Pattabiraman; Matei Ripeanu (SC Companion, 2012)

Poster: Evaluating Error Resiliency of GPGPU Applications. - Bo Fang 002; Jiesheng Wei; Karthik Pattabiraman; Matei Ripeanu (SC Companion, 2012)

Efficient Runtime Detection and Toleration of Asymmetric Races. - Paruj Ratanaworabhan; Martin Burtscher; Darko Kirovski; Benjamin G. Zorn; Rahul Nagpal; Karthik Pattabiraman (IEEE Trans. Computers, 2012)

Predicting job completion times using system logs in supercomputing clusters. - Xin Chen; Charng-Da Lu; Karthik Pattabiraman (DSN Workshops, 2013)

Error detector placement for soft computation. - Anna Thomas; Karthik Pattabiraman (DSN, 2013)

An Empirical Study of Client-Side JavaScript Bugs. - Frolin S. Ocariza Jr.; Kartik Bajaj; Karthik Pattabiraman; Ali Mesbah 001 (ESEM, 2013)

Efficient JavaScript Mutation Testing. - Shabnam Mirshokraie; Ali Mesbah 001; Karthik Pattabiraman (ICST, 2013)

PYTHIA: Generating test cases with oracles for JavaScript applications. - Shabnam Mirshokraie; Ali Mesbah 001; Karthik Pattabiraman (ASE, 2013)

SymPLFIED: Symbolic Program-Level Fault Injection and Error Detection Framework. - Karthik Pattabiraman; Nithin Nakka; Zbigniew T. Kalbarczyk; Ravishankar K. Iyer (IEEE Trans. Computers, 2013)

SDCTune: A model for predicting the SDC proneness of an application for configurable protection. - Qining Lu; Karthik Pattabiraman; Meeta Sharma Gupta; Jude A. Rivers (CASES, 2014)

GPGPUs: How to combine high computational power with high reliability. - Leonardo Arturo Bautista-Gomez; Franck Cappello; Luigi Carro; Nathan DeBardeleben; Bo Fang 002; Sudhanva Gurumurthi; Karthik Pattabiraman; Paolo Rech; Matteo Sonza Reorda (DATE, 2014)

Hardware-Software Integrated Diagnosis for Intermittent Hardware Faults. - Majid Dadashi; Layali Rashid; Karthik Pattabiraman; Sathish Gopalakrishnan (DSN, 2014)

Evaluating the Error Resilience of Parallel Programs. - Bo Fang 002; Karthik Pattabiraman; Matei Ripeanu; Sudhanva Gurumurthi (DSN, 2014)

Quantifying the Accuracy of High-Level Fault Injection Techniques for Hardware Faults. - Jiesheng Wei; Anna Thomas; Guanpeng Li; Karthik Pattabiraman (DSN, 2014)

A Model-Based Intrusion Detection System for Smart Meters. - Farid Molazem Tabrizi; Karthik Pattabiraman (HASE, 2014)

Understanding JavaScript event-based interactions. - Saba Alimadadi; Sheldon Sequeira; Ali Mesbah 001; Karthik Pattabiraman (ICSE, 2014)

Vejovis: suggesting fixes for JavaScript faults. - Frolin S. Ocariza Jr.; Karthik Pattabiraman; Ali Mesbah 001 (ICSE, 2014)

GPU-Qin: A methodology for evaluating the error resilience of GPGPU applications. - Bo Fang 002; Karthik Pattabiraman; Matei Ripeanu; Sudhanva Gurumurthi (ISPASS, 2014)

Soft-LLFI: A Comprehensive Framework for Software Fault Injection. - Maryam Raiyat Aliabadi; Karthik Pattabiraman; Nematollah Bidokhti (ISSRE Workshops, 2014)

Failure Analysis of Jobs in Compute Clouds: A Google Cluster Case Study. - Xin Chen; Charng-Da Lu; Karthik Pattabiraman (ISSRE, 2014)

Failure Prediction of Jobs in Compute Clouds: A Google Cluster Case Study. - Xin Chen; Charng-Da Lu; Karthik Pattabiraman (ISSRE Workshops, 2014)

Dompletion: DOM-aware JavaScript code completion. - Kartik Bajaj; Karthik Pattabiraman; Ali Mesbah 001 (ASE, 2014)

Mining questions asked by web developers. - Kartik Bajaj; Karthik Pattabiraman; Ali Mesbah 001 (MSR, 2014)

Modular protections against non-control data attacks. - Cole Schlesinger; Karthik Pattabiraman; Nikhil Swamy; David Walker 001; Benjamin G. Zorn (J. Comput. Secur., 2014)

Fine-Grained Characterization of Faults Causing Long Latency Crashes in Programs. - Guanpeng Li; Qining Lu; Karthik Pattabiraman (DSN, 2015)

Hybrid DOM-Sensitive Change Impact Analysis for JavaScript. - Saba Alimadadi; Ali Mesbah 001; Karthik Pattabiraman (ECOOP, 2015)

Flexible Intrusion Detection Systems for Memory-Constrained Embedded Systems. - Farid Molazem Tabrizi; Karthik Pattabiraman (EDCC, 2015)

Detecting Inconsistencies in JavaScript MVC Applications. - Frolin S. Ocariza Jr.; Karthik Pattabiraman; Ali Mesbah 001 (ICSE (1), 2015)

JSEFT: Automated Javascript Unit Test Generation. - Shabnam Mirshokraie; Ali Mesbah 001; Karthik Pattabiraman (ICST, 2015)

Experience report: An application-specific checkpointing technique for minimizing checkpoint corruption. - Guanpeng Li; Karthik Pattabiraman; Chen-Yong Cher; Pradip Bose (ISSRE, 2015)

Synthesizing Web Element Locators (T). - Kartik Bajaj; Karthik Pattabiraman; Ali Mesbah 001 (ASE, 2015)

LED: Tool for Synthesizing Web Element Locators. - Kartik Bajaj; Karthik Pattabiraman; Ali Mesbah 001 (ASE, 2015)

Intrusion Detection System for Embedded Systems. - Farid Molazem Tabrizi; Karthik Pattabiraman (Middleware Doctoral Symposium, 2015)

LLFI: An Intermediate Code-Level Fault Injection Tool for Hardware Faults. - Qining Lu; Mostafa Farahani; Jiesheng Wei; Anna Thomas; Karthik Pattabiraman (QRS, 2015)

Characterizing the Impact of Intermittent Hardware Faults on Programs. - Layali Rashid; Karthik Pattabiraman; Sathish Gopalakrishnan (IEEE Trans. Reliab., 2015)

Guided Mutation Testing for JavaScript Web Applications. - Shabnam Mirshokraie; Ali Mesbah 001; Karthik Pattabiraman (IEEE Trans. Software Eng., 2015)

Formal security analysis of smart embedded systems. - Farid Molazem Tabrizi; Karthik Pattabiraman (ACSAC, 2016)

ePVF: An Enhanced Program Vulnerability Factor Methodology for Cross-Layer Resilience Analysis. - Bo Fang 002; Qining Lu; Karthik Pattabiraman; Matei Ripeanu; Sudhanva Gurumurthi (DSN, 2016)

SDC is in the Eye of the Beholder: A Survey and Preliminary Study. - Bo Fang 002; Panruo Wu; Qiang Guan; Nathan DeBardeleben; Laura Monroe; Sean Blanchard; Zhizong Chen; Karthik Pattabiraman; Matei Ripeanu (DSN Workshops, 2016)

Finding Resilience-Friendly Compiler Optimizations Using Meta-Heuristic Search Techniques. - Nithya Narayanamurthy; Karthik Pattabiraman; Matei Ripeanu (EDCC, 2016)

Understanding asynchronous interactions in full-stack JavaScript. - Saba Alimadadi; Ali Mesbah 001; Karthik Pattabiraman (ICSE, 2016)

Atrina: Inferring Unit Oracles from GUI Test Cases. - Shabnam Mirshokraie; Ali Mesbah 001; Karthik Pattabiraman (ICST, 2016)

FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools. - Maryam Raiyat Aliabadi; Karthik Pattabiraman (SAFECOMP, 2016)

Understanding error propagation in GPGPU applications. - Guanpeng Li; Karthik Pattabiraman; Chen-Yong Cher; Pradip Bose (SC, 2016)

Automatic fault localization for client-side JavaScript. - Frolin S. Ocariza Jr.; Guanpeng Li; Karthik Pattabiraman; Ali Mesbah 001 (Softw. Test. Verification Reliab., 2016)

Error Detector Placement for Soft Computing Applications. - Anna Thomas; Karthik Pattabiraman (ACM Trans. Embed. Comput. Syst., 2016)

Understanding JavaScript Event-Based Interactions with Clematis. - Saba Alimadadi; Sheldon Sequeira; Ali Mesbah 001; Karthik Pattabiraman (ACM Trans. Softw. Eng. Methodol., 2016)

A Systematic Methodology for Evaluating the Error Resilience of GPGPU Applications. - Bo Fang 002; Karthik Pattabiraman; Matei Ripeanu; Sudhanva Gurumurthi (IEEE Trans. Parallel Distributed Syst., 2016)

One Bit is (Not) Enough: An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors. - Behrooz Sangchoolie; Karthik Pattabiraman; Johan Karlsson (DSN, 2017)

LetGo: A Lightweight Continuous Framework for HPC Applications Under Failures. - Bo Fang 002; Qiang Guan; Nathan DeBardeleben; Karthik Pattabiraman; Matei Ripeanu (HPDC, 2017)

IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. - Abraham Chan; Stefan Winter 001; Habib Saissi; Karthik Pattabiraman; Neeraj Suri (ICST, 2017)

Detecting unknown inconsistencies in web applications. - Frolin S. Ocariza Jr.; Karthik Pattabiraman; Ali Mesbah 001 (ASE, 2017)

ThingsJS: towards a flexible and self-adaptable middleware for dynamic and heterogeneous IoT environments. - Julien Gascon-Samson; Mohammad Rafiuzzaman; Karthik Pattabiraman (M4IoT@Middleware, 2017)

SmartJS: dynamic and self-adaptable runtime middleware for next-generation IoT systems. - Julien Gascon-Samson; Mohammad Rafiuzzaman; Karthik Pattabiraman (SPLASH (Companion Volume), 2017)

Understanding error propagation in deep learning neural network (DNN) accelerators and applications. - Guanpeng Li; Siva Kumar Sastry Hari; Michael B. Sullivan 001; Timothy Tsai 002; Karthik Pattabiraman; Joel S. Emer; Stephen W. Keckler (SC, 2017)

ARTINALI: dynamic invariant detection for cyber-physical system security. - Maryam Raiyat Aliabadi; Amita Ajith Kamath; Julien Gascon-Samson; Karthik Pattabiraman (ESEC/SIGSOFT FSE, 2017)

Configurable Detection of SDC-causing Errors in Programs. - Qining Lu; Guanpeng Li; Karthik Pattabiraman; Meeta Sharma Gupta; Jude A. Rivers (ACM Trans. Embed. Comput. Syst., 2017)

A Study of Causes and Consequences of Client-Side JavaScript Bugs. - Frolin S. Ocariza Jr.; Kartik Bajaj; Karthik Pattabiraman; Ali Mesbah 001 (IEEE Trans. Software Eng., 2017)

CORGIDS: A Correlation-based Generic Intrusion Detection System. - Ekta Aggarwal; Mehdi Karimibiuki; Karthik Pattabiraman; André Ivanov (CPS-SPC@CCS, 2018)

DSML 2018 Introduction. - Homa Alemzadeh; Karthik Pattabiraman; David E. Evans 001 (DSN Workshops, 2018)

Modeling Input-Dependent Error Propagation in Programs. - Guanpeng Li; Karthik Pattabiraman (DSN, 2018)

Modeling Soft-Error Propagation in Programs. - Guanpeng Li; Karthik Pattabiraman; Siva Kumar Sastry Hari; Michael B. Sullivan 001; Timothy Tsai 002 (DSN, 2018)

ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications. - Julien Gascon-Samson; Kumseok Jung; Shivanshu Goyal; Armin Rezaiean-Asel; Karthik Pattabiraman (ECOOP, 2018)

Poster: Towards a Distributed and Self-Adaptable Cloud-Edge Middleware. - Julien Gascon-Samson; Kumseok Jung; Karthik Pattabiraman (SEC, 2018)

Demo: ThingsMigrate - Platform-Independent Live-Migration of JavaScript Processes. - Kumseok Jung; Julien Gascon-Samson; Karthik Pattabiraman (SEC, 2018)

Inferring hierarchical motifs from execution traces. - Saba Alimadadi; Ali Mesbah 001; Karthik Pattabiraman (ICSE, 2018)

TensorFI: A Configurable Fault Injector for TensorFlow Applications. - Guanpeng Li; Karthik Pattabiraman; Nathan DeBardeleben (ISSRE Workshops, 2018)

DynPolAC: Dynamic Policy-Based Access Control for IoT Systems. - Mehdi Karimibiuki; Ekta Aggarwal; Karthik Pattabiraman; André Ivanov (PRDC, 2018)

Guest Editors' Introduction: Special Issue on Data-Driven Dependability and Security. - Domenico Cotroneo; Karthik Pattabiraman; Antonio Pecchia (IEEE Trans. Dependable Secur. Comput., 2018)

Out of control: stealthy attacks against robotic vehicles protected by control-based techniques. - Pritam Dash; Mehdi Karimibiuki; Karthik Pattabiraman (ACSAC, 2019)

Towards Predicting the Impact of Roll-Forward Failure Recovery for HPC Applications. - Bo Fang 002; Jieyang Chen; Karthik Pattabiraman; Matei Ripeanu; Sriram Krishnamoorthy (DSN (Supplements), 2019)

OneOS: IoT Platform based on POSIX and Actors. - Kumseok Jung; Julien Gascon-Samson; Karthik Pattabiraman (HotEdge, 2019)

BonVoision: leveraging spatial data smoothness for recovery from memory soft errors. - Bo Fang 002; Hassan Halawa; Karthik Pattabiraman; Matei Ripeanu; Sriram Krishnamoorthy (ICS, 2019)

A Tale of Two Injectors: End-to-End Comparison of IR-Level and Assembly-Level Fault Injection. - Lucas Palazzi; Guanpeng Li; Bo Fang 002; Karthik Pattabiraman (ISSRE, 2019)

Failure prediction in the internet of things due to memory exhaustion. - Mohammad Rafiuzzaman; Julien Gascon-Samson; Karthik Pattabiraman; Sathish Gopalakrishnan (SAC, 2019)

BinFI: an efficient fault injector for safety-critical machine learning systems. - Zitao Chen 001; Guanpeng Li; Karthik Pattabiraman; Nathan DeBardeleben (SC, 2019)

Design-Level and Code-Level Security Analysis of IoT Devices. - Farid Molazem Tabrizi; Karthik Pattabiraman (ACM Trans. Embed. Comput. Syst., 2019)

Third International Workshop on Dependable and Secure Machine Learning - DSML 2020. - Homa Alemzadeh; Rakesh Bobba; Varun Chandrasekaran; David E. Evans 001; Nicolas Papernot; Karthik Pattabiraman; Florian Tramèr (DSN Workshops, 2020)

TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis. - Habib Saissi; Stefan Winter 001; Oliver Schwahn; Karthik Pattabiraman; Neeraj Suri (DSN, 2020)

Error Resilient Machine Learning for Safety-Critical Systems: Position Paper. - Karthik Pattabiraman; Guanpeng Li; Zitao Chen 001 (IOLTS, 2020)

TensorFI: A Flexible Fault Injection Framework for TensorFlow Applications. - Zitao Chen 001; Niranjhana Narayanan; Bo Fang 002; Guanpeng Li; Karthik Pattabiraman; Nathan DeBardeleben (ISSRE, 2020)

New Wine in an Old Bottle: N-Version Programming for Machine Learning Components. - Arpan Gujarati; Sathish Gopalakrishnan; Karthik Pattabiraman (ISSRE Workshops, 2020)

How Far Have We Come in Detecting Anomalies in Distributed Systems? An Empirical Study with a Statement-level Fault Injection Method. - Yong Yang; Yifan Wu 002; Karthik Pattabiraman; Long Wang 003; Ying Li 012 (ISSRE, 2020)

How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection. - Asem Ghaleb; Karthik Pattabiraman (ISSTA, 2020)

GPU-trident: efficient modeling of error propagation in GPU programs. - Abdul Rehman Anwer; Guanpeng Li; Karthik Pattabiraman; Michael B. Sullivan 001; Timothy Tsai 002; Siva Kumar Sastry Hari (SC, 2020)

Ranger: Boosting Error Resilience of Deep Neural Networks through Range Restriction. - Zitao Chen 001; Guanpeng Li; Karthik Pattabiraman (CoRR, 2020)

A Low-cost Fault Corrector for Deep Neural Networks through Range Restriction. - Zitao Chen 001; Guanpeng Li; Karthik Pattabiraman (DSN, 2021)

PID-Piper: Recovering Robotic Vehicles from Physical Attacks. - Pritam Dash; Guanpeng Li; Zitao Chen 001; Mehdi Karimibiuki; Karthik Pattabiraman (DSN, 2021)

Fourth International Workshop on Dependable and Secure Machine Learning - DSML 2021. - Hui Xu 009; Guanpeng Li; Homa Alemzadeh; Rakesh Bobba; Varun Chandrasekaran; David E. Evans 001; Nicolas Papernot; Karthik Pattabiraman; Florian Tramèr (DSN Workshops, 2021)

Snowflakes at the Edge: A Study of Variability among NVIDIA Jetson AGX Xavier Boards. - Hazem A. Abdelhafez; Hassan Halawa; Karthik Pattabiraman; Matei Ripeanu (EdgeSys@EuroSys, 2021)

TF-DM: Tool for Studying ML Model Resilience to Data Faults. - Niranjhana Narayanan; Karthik Pattabiraman (DeepTest@ICSE, 2021)

MIRAGE: Machine Learning-based Modeling of Identical Replicas of the Jetson AGX Embedded Platform. - Hassan Halawa; Hazem A. Abdelhafez; Mohamed Osama Ahmed; Karthik Pattabiraman; Matei Ripeanu (SEC, 2021)

OneOS: Middleware for Running Edge Computing Applications as Distributed POSIX Pipelines. - Kumseok Jung; Julien Gascon-Samson; Karthik Pattabiraman (SEC, 2021)

Demo: OneOS - Middleware for Running Edge Computing Applications as Distributed POSIX Pipelines. - Kumseok Jung; Julien Gascon-Samson; Karthik Pattabiraman (SEC, 2021)

Towards a Safety Case for Hardware Fault Tolerance in Convolutional Neural Networks Using Activation Range Supervision. - Florian Geissler; Syed Sha Qutub; Sayanta Roychowdhury; Ali Asgari Khoshouyeh; Yang Peng; Akash Dhamasia; Ralf Graefe; Karthik Pattabiraman; Michael Paulitsch (AISafety@IJCAI, 2021)

(WiP) LLTFI: Low-Level Tensor Fault Injector. - Abraham Chan; Udit Kumar Agarwal; Karthik Pattabiraman (ISSRE Workshops, 2021)

Are you for Real? Authentication in Dynamic IoT Systems. - Mehdi Karimibiuki; Karthik Pattabiraman; André Ivanov (PRDC, 2021)

Understanding the Resilience of Neural Network Ensembles against Faulty Training Data. - Abraham Chan; Niranjhana Narayanan; Arpan Gujarati; Karthik Pattabiraman; Sathish Gopalakrishnan (QRS, 2021)

ReLUSyn: Synthesizing Stealthy Attacks for Deep Neural Network Based Cyber-Physical Systems. - Aarti Kashyap; Syed Mubashir Iqbal; Karthik Pattabiraman; Margo I. Seltzer (CoRR, 2021)

Turning Your Strength against You: Detecting and Mitigating Robust and Universal Adversarial Patch Attack. - Zitao Chen 001; Pritam Dash; Karthik Pattabiraman (CoRR, 2021)

Characterizing and Improving the Resilience of Accelerators in Autonomous Robots. - Deval Shah; Zi Yu Xue; Karthik Pattabiraman; Tor M. Aamodt (CoRR, 2021)

Stealthy Attacks against Robotic Vehicles Protected by Control-based Intrusion Detection Techniques. - Pritam Dash; Mehdi Karimibiuki; Karthik Pattabiraman (DTRAP, 2021)

ThingsMigrate: Platform-independent migration of stateful JavaScript Internet of Things applications. - Kumseok Jung; Julien Gascon-Samson; Shivanshu Goyal; Armin Rezaiean-Asel; Karthik Pattabiraman (Softw. Pract. Exp., 2021)

Poster AutoPatch: Automatic Hotpatching of Real-Time Embedded Devices. - Mohsen Salehi; Karthik Pattabiraman (CCS, 2022)

Poster: May the Swarm Be With You: Sensor Spoofing Attacks Against Drone Swarms. - Yingao Elaine Yao; Pritam Dash; Karthik Pattabiraman (CCS, 2022)

The Fault in Our Data Stars: Studying Mitigation Techniques against Faulty Training Data in Machine Learning Applications. - Abraham Chan; Arpan Gujarati; Karthik Pattabiraman; Sathish Gopalakrishnan (DSN, 2022)

Towards Building Resilient Ensembles against Training Data Faults. - Abraham Chan; Arpan Gujarati; Karthik Pattabiraman; Sathish Gopalakrishnan (DSN Workshops, 2022)

Characterizing Variability in Heterogeneous Edge Systems: A Methodology & Case Study. - Hazem A. Abdelhafez; Hassan Halawa; Amr Almoallim; Amirhossein Ahmadi; Karthik Pattabiraman; Matei Ripeanu (SEC, 2022)

Poster: EdgeShell - A language for composing edge applications. - Kumseok Jung; Julien Gascon-Samson; Karthik Pattabiraman (SEC, 2022)

$ pi$-Configurator: Enabling Efficient Configuration of Pipelined Applications on the Edge. - Mohammad Rafiuzzaman; Sathish Gopalakrishnan; Karthik Pattabiraman (IoTDI, 2022)

LLTFI: Framework Agnostic Fault Injection for Machine Learning Applications (Tools and Artifact Track). - Udit Kumar Agarwal; Abraham Chan; Karthik Pattabiraman (ISSRE, 2022)

eTainter: detecting gas-related vulnerabilities in smart contracts. - Asem Ghaleb; Julia Rubin; Karthik Pattabiraman (ISSTA, 2022)

When They Go Low: Automated Replacement of Low-level Functions in Ethereum Smart Contracts. - Rui Xi; Karthik Pattabiraman (SANER, 2022)

Replay-based Recovery for Autonomous Robotic Vehicles from Sensor Deception Attacks. - Pritam Dash; Guanpeng Li; Mehdi Karimibiuki; Karthik Pattabiraman (CoRR, 2022)

Improving the Accuracy of IR-Level Fault Injection. - Lucas Palazzi; Guanpeng Li; Bo Fang 002; Karthik Pattabiraman (IEEE Trans. Dependable Secur. Comput., 2022)

An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors in Programs. - Behrooz Sangchoolie; Karthik Pattabiraman; Johan Karlsson (IEEE Trans. Dependable Secur. Comput., 2022)

Jujutsu: A Two-stage Defense against Adversarial Patch Attacks on Deep Neural Networks. - Zitao Chen 001; Pritam Dash; Karthik Pattabiraman (AsiaCCS, 2023)

Towards Reliability Assessment of Systolic Arrays against Stuck-at Faults. - Udit Kumar Agarwal; Abraham Chan; Ali Asgari Khoshouyeh; Karthik Pattabiraman (DSN-S, 2023)

Beyond Detection: Securing Robotic Vehicles. - Pritam Dash; Karthik Pattabiraman (DSN-S, 2023)

SwarmFuzz: Discovering GPS Spoofing Attacks in Drone Swarms. - Yingao Elaine Yao; Pritam Dash; Karthik Pattabiraman (DSN, 2023)

Hot Under the Hood: An Analysis of Ambient Temperature Impact on Heterogeneous Edge Platforms. - Amirhossein Ahmadi; Hazem A. Abdelhafez; Shashwat Jaiswal; Karthik Pattabiraman; Matei Ripeanu (EdgeSys@EuroSys, 2023)

AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities. - Asem Ghaleb; Julia Rubin; Karthik Pattabiraman (ICSE, 2023)

EdgeEngine: A Thermal-Aware Optimization Framework for Edge Inference. - Amirhossein Ahmadi; Hazem A. Abdelhafez; Karthik Pattabiraman; Matei Ripeanu (SEC, 2023)

Resilience Assessment of Large Language Models under Transient Hardware Faults. - Udit Kumar Agarwal; Abraham Chan; Karthik Pattabiraman (ISSRE, 2023)

Evaluating the Effect of Common Annotation Faults on Object Detection Techniques. - Abraham Chan; Arpan Gujarati; Karthik Pattabiraman; Sathish Gopalakrishnan (ISSRE, 2023)

A Low-Cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural Networks. - Florian Geissler; Syed Sha Qutub; Michael Paulitsch; Karthik Pattabiraman (SAFECOMP, 2023)

Structural Coding: A Low-Cost Scheme to Protect CNNs from Large-Granularity Memory Faults. - Ali Asgari Khoshouyeh; Florian Geissler; Syed Sha Qutub; Michael Paulitsch; Prashant J. Nair; Karthik Pattabiraman (SC, 2023)

ICS-Sniper: A Targeted Blackhole Attack on Encrypted ICS Traffic. - Gargi Mitra; Pritam Dash; Yingao Elaine Yao; Aastha Mehta; Karthik Pattabiraman (CoRR, 2023)

Error Propagation Analysis for Multithreaded Programs: An Empirical Approach. - Stefan Winter 001; Abraham Chan; Habib Saissi; Karthik Pattabiraman; Neeraj Suri (CoRR, 2023)

Fault Injection for TensorFlow Applications. - Niranjhana Narayanan; Zitao Chen 001; Bo Fang 002; Guanpeng Li; Karthik Pattabiraman; Nathan DeBardeleben (IEEE Trans. Dependable Secur. Comput., 2023)

A large-scale empirical study of low-level function use in Ethereum smart contracts and automated replacement. - Rui Xi; Karthik Pattabiraman (Softw. Pract. Exp., 2023)

Mixed precision support in HPC applications: What about reliability? - Alessio Netti; Yang Peng; Patrik Omland; Michael Paulitsch; Jorge Parra; Gustavo Espinosa; Udit Kumar Agarwal; Abraham Chan; Karthik Pattabiraman (J. Parallel Distributed Comput., 2023)

Global Clipper: Enhancing Safety and Reliability of Transformer-based Object Detection Models. - Syed Sha Qutub; Michael Paulitsch; Karthik Pattabiraman; Korbinian Hagn; Fabian Oboril; Cornelius Bürkle; Kay-Ulrich Scholl; Gereon Hinz; Alois Knoll (AISafety@IJCAI, 2024)

Diagnosis-guided Attack Recovery for Securing Robotic Vehicles from Sensor Deception Attacks. - Pritam Dash; Guanpeng Li; Mehdi Karimibiuki; Karthik Pattabiraman (AsiaCCS, 2024)

SpecGuard: Specification Aware Recovery for Robotic Autonomous Vehicles from Physical Attacks. - Pritam Dash; Ethan Chan; Karthik Pattabiraman (CCS, 2024)

AutoPatch: Automated Generation of Hotpatches for Real-Time Embedded Devices. - Mohsen Salehi; Karthik Pattabiraman (CCS, 2024)

Systematically Assessing the Security Risks of AI/ML-enabled Connected Healthcare Systems. - Mohammed Elnawawy; Mohammadreza Hallajiyan; Gargi Mitra; Shahrear Iqbal; Karthik Pattabiraman (CHASE, 2024)

Harnessing Explainability to Improve ML Ensemble Resilience. - Abraham Chan; Arpan Gujarati; Karthik Pattabiraman; Sathish Gopalakrishnan (DSN-S, 2024)

Tutorial: LLTFI and the Art of Fault Injection. - Karthik Pattabiraman; Abraham Chan (DSN-S, 2024)

SAM: Foreseeing Inference-Time False Data Injection Attacks on ML-enabled Medical Devices. - Mohammadreza Hallajiyan; Athish Pranav Dharmalingam; Gargi Mitra; Homa Alemzadeh; Shahrear Iqbal; Karthik Pattabiraman (HealthSec@CCS, 2024)

ImmunoPlane: Middleware for Providing Adaptivity to Distributed Internet-of-Things Applications. - Kumseok Jung; Gargi Mitra; Sathish Gopalakrishnan; Karthik Pattabiraman (IoTDI, 2024)

Demo Abstract: ImmunoPlane - Middleware for Providing Adaptivity to Distributed Internet-of-Things Applications. - Kumseok Jung; Gargi Mitra; Sathish Gopalakrishnan; Karthik Pattabiraman (IoTDI, 2024)

Overconfidence is a Dangerous Thing: Mitigating Membership Inference Attacks by Enforcing Less Confident Prediction. - Zitao Chen 001; Karthik Pattabiraman (NDSS, 2024)

POMABuster: Detecting Price Oracle Manipulation Attacks in Decentralized Finance. - Rui Xi; Zehua Wang; Karthik Pattabiraman (SP, 2024)

Catch Me if You Can: Detecting Unauthorized Data Use in Deep Learning Models. - Zitao Chen 001; Karthik Pattabiraman (CoRR, 2024)

ACM CCS 2024 Artifact: AutoPatch ("Automated Generation of Hotpatches for Real-Time Embedded Devices"). - Mohsen Salehi; Karthik Pattabiraman (Zenodo, 2024)

Characterizing and Improving Resilience of Accelerators to Memory Errors in Autonomous Robots. - Deval Shah; Zi Yu Xue; Karthik Pattabiraman; Tor M. Aamodt (ACM Trans. Cyber Phys. Syst., 2024)

ReMlX: Resilience for ML Ensembles using XAI at Inference against Faulty Training Data. - Abraham Chan; Arpan Gujarati; Karthik Pattabiraman; Sathish Gopalakrishnan (DSN, 2025)

RAVAGE: Robotic Autonomous Vehicles' Attack Generation Engine. - Pritam Dash; Karthik Pattabiraman (DSN, 2025)

Learning from the Good Ones: Risk Profiling-Based Defenses Against Evasion Attacks on DNNs. - Mohammed Elnawawy; Gargi Mitra; Shahrear Iqbal; Karthik Pattabiraman (DSN-W, 2025)

Large-Scale AI Infra Reliability: Challenges, Strategies, and Llama 3 Training Experience. - Xun Jiao; Abhinav Pandey; Karthik Pattabiraman; Fan Fred Lin (DSN-S, 2025)

Reentrancy Redux: The Evolution of Real-World Reentrancy Attacks on Blockchains. - Yuqi Liu; Rui Xi; Karthik Pattabiraman (DSN, 2025)

A Method to Facilitate Membership Inference Attacks in Deep Learning Models. - Zitao Chen 001; Karthik Pattabiraman (NDSS, 2025)

D-semble: Efficient Diversity-Guided Search for Resilient ML Ensembles. - Abraham Chan; Arpan Gujarati; Karthik Pattabiraman; Sathish Gopalakrishnan (SAC, 2025)

Co-Approximator: Enabling Performance Prediction in Colocated Applications. - Mohammad Rafiuzzaman; Sathish Gopalakrishnan; Karthik Pattabiraman (ACM Trans. Embed. Comput. Syst., 2025)

Systems-Theoretic and Data-Driven Security Analysis in ML-enabled Medical Devices. - Gargi Mitra; Mohammadreza Hallajiyan; Inji Kim; Athish Pranav Dharmalingam; Mohammed Elnawawy; Shahrear Iqbal; Karthik Pattabiraman; Homa Alemzadeh (CoRR, 2025)

ARMOR: Robust Reinforcement Learning-based Control for UAVs under Physical Attacks. - Pritam Dash; Ethan Chan; Nathan P. Lawrence; Karthik Pattabiraman (CoRR, 2025)

Understanding Error Propagation in Deep-Learning Neural Networks' Accelerators and Applications. - Guanpeng Li; Siva Kumar Sastry Hari; Michael B. Sullivan 001; Timothy Tsai 002; Karthik Pattabiraman; Joel S. Emer; Stephen W. Keckler (IEEE Des. Test, 2025)

OneOS: Distributed Operating System for the Edge-to-Cloud Continuum. - Kumseok Jung; Julien Gascon-Samson; Sathish Gopalakrishnan; Karthik Pattabiraman (IEEE Trans. Parallel Distributed Syst., 2025)