Experimental demonstration of error recovery in an integrated cyberphysical digital-microfluidic platform. - Kai Hu 003; Mohamed Ibrahim 002; Liji Chen; Zipeng Li; Krishnendu Chakrabarty; Richard B. Fair (BioCAS, 2015)

Error recovery in digital microfluidics for personalized medicine. - Mohamed Ibrahim 002; Krishnendu Chakrabarty (DATE, 2015)

Security implications of cyberphysical digital microfluidic biochips. - Sk Subidh Ali; Mohamed Ibrahim 002; Ozgur Sinanoglu; Krishnendu Chakrabarty; Ramesh Karri (ICCD, 2015)

Advances in Design Automation Techniques for Digital-Microfluidic Biochips. - Mohamed Ibrahim 002; Zipeng Li; Krishnendu Chakrabarty (SyDe Summer School, 2015)

Efficient Error Recovery in Cyberphysical Digital-Microfluidic Biochips. - Mohamed Ibrahim 002; Krishnendu Chakrabarty (IEEE Trans. Multi Scale Comput. Syst., 2015)

Microfluidic encryption of on-chip biochemical assays. - Sk Subidh Ali; Mohamed Ibrahim 002; Ozgur Sinanoglu; Krishnendu Chakrabarty; Ramesh Karri (BioCAS, 2016)

Cyberphysical adaptation in digital-microfluidic biochips. - Mohamed Ibrahim 002; Krishnendu Chakrabarty (BioCAS, 2016)

A real-time digital-microfluidic platform for epigenetics. - Mohamed Ibrahim 002; Craig Boswell; Krishnendu Chakrabarty; Kristin Scott; Miroslav Pajic (CASES, 2016)

Integrated and real-time quantitative analysis using cyberphysical digital-microfluidic biochips. - Mohamed Ibrahim 002; Krishnendu Chakrabarty; Kristin Scott (DATE, 2016)

Securing digital microfluidic biochips by randomizing checkpoints. - Jack Tang; Ramesh Karri; Mohamed Ibrahim 002; Krishnendu Chakrabarty (ITC, 2016)

Supply-Chain Security of Digital Microfluidic Biochips. - Sk Subidh Ali; Mohamed Ibrahim 002; Jeyavijayan Rajendran; Ozgur Sinanoglu; Krishnendu Chakrabarty (Computer, 2016)

Digital-Microfluidic Biochips. - Mohamed Ibrahim 002; Krishnendu Chakrabarty (Computer, 2016)

Security Assessment of Cyberphysical Digital Microfluidic Biochips. - Sk Subidh Ali; Mohamed Ibrahim 002; Ozgur Sinanoglu; Krishnendu Chakrabarty; Ramesh Karri (IEEE ACM Trans. Comput. Biol. Bioinform., 2016)

Security Implications of Cyberphysical Flow-Based Microfluidic Biochips. - Jack Tang; Mohamed Ibrahim 002; Krishnendu Chakrabarty; Ramesh Karri (ATS, 2017)

Digital-microfluidic biochips for quantitative analysis: Bridging the Gap between microfluidics and microbiology. - Mohamed Ibrahim 002; Krishnendu Chakrabarty (DATE, 2017)

CoSyn: Efficient single-cell analysis using a hybrid microfluidic platform. - Mohamed Ibrahim 002; Krishnendu Chakrabarty; Ulf Schlichtmann (DATE, 2017)

Sortex: Efficient timing-driven synthesis of reconfigurable flow-based biochips for scalable single-cell screening. - Mohamed Ibrahim 002; Aditya Sridhar; Krishnendu Chakrabarty; Ulf Schlichtmann (ICCAD, 2017)

Security Trade-Offs in Microfluidic Routing Fabrics. - Jack Tang; Mohamed Ibrahim 002; Krishnendu Chakrabarty; Ramesh Karri (ICCD, 2017)

Synthesis of Cyberphysical Digital-Microfluidic Biochips for Real-Time Quantitative Analysis. - Mohamed Ibrahim 002; Krishnendu Chakrabarty; Kristin Scott (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Tamper-resistant pin-constrained digital microfluidic biochips. - Jack Tang; Mohamed Ibrahim 002; Krishnendu Chakrabarty; Ramesh Karri (DAC, 2018)

Fault-tolerant valve-based microfluidic routing fabric for droplet barcoding in single-cell analysis. - Yasamin Moradi; Mohamed Ibrahim 002; Krishnendu Chakrabarty; Ulf Schlichtmann (DATE, 2018)

Locking of biochemical assays for digital microfluidic biochips. - Sukanta Bhattacharjee; Jack Tang; Mohamed Ibrahim 002; Krishnendu Chakrabarty; Ramesh Karri (ETS, 2018)

Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips. - Oliver Keszöcze; Mohamed Ibrahim 002; Robert Wille; Krishnendu Chakrabarty; Rolf Drechsler (VLSID, 2018)

Cyber-Physical Digital-Microfluidic Biochips: Bridging the Gap Between Microfluidics and Microbiology. - Mohamed Ibrahim 002; Krishnendu Chakrabarty (Proc. IEEE, 2018)

Keynote Paper: From EDA to IoT eHealth: Promises, Challenges, and Solutions. - Farshad Firouzi; Bahar J. Farahani; Mohamed Ibrahim 002; Krishnendu Chakrabarty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Secure Randomized Checkpointing for Digital Microfluidic Biochips. - Jack Tang; Mohamed Ibrahim 002; Krishnendu Chakrabarty; Ramesh Karri (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Optimization of Trustworthy Biomolecular Quantitative Analysis Using Cyber-Physical Microfluidic Platforms. - Mohamed Ibrahim 002 (2018)

BioScan: Parameter-Space Exploration of Synthetic Biocircuits Using MEDA Biochips∗. - Mohamed Ibrahim 002; Bhargab B. Bhattacharya; Krishnendu Chakrabarty (DATE, 2019)

The Internet of Microfluidic Things: Perspectives on System Architecture and Design Challenges: Invited Paper. - Mohamed Ibrahim 002; Maria Gorlatova; Krishnendu Chakrabarty (ICCAD, 2019)

Randomized Checkpoints: A Practical Defense for Cyber-Physical Microfluidic Systems. - Jack Tang; Mohamed Ibrahim 002; Krishnendu Chakrabarty (IEEE Des. Test, 2019)

Synthesis of a Cyberphysical Hybrid Microfluidic Platform for Single-Cell Analysis. - Mohamed Ibrahim 002; Krishnendu Chakrabarty; Ulf Schlichtmann (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Synthesis of Reconfigurable Flow-Based Biochips for Scalable Single-Cell Screening. - Mohamed Ibrahim 002; Aditya Sridhar; Krishnendu Chakrabarty; Ulf Schlichtmann (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Toward Secure and Trustworthy Cyberphysical Microfluidic Biochips. - Jack Tang; Mohamed Ibrahim 002; Krishnendu Chakrabarty; Ramesh Karri (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Synterface: Efficient Chip-to-World Interfacing for Flow-Based Microfluidic Biochips Using Pin-Count Minimization. - Aditya Sridhar; Mohamed Ibrahim 002; Krishnendu Chakrabarty (ACM Trans. Embed. Comput. Syst., 2019)

BioCyBig: A Cyberphysical System for Integrative Microfluidics-Driven Analysis of Genomic Association Studies. - Mohamed Ibrahim 002; Krishnendu Chakrabarty; Jun Zeng 001 (IEEE Trans. Big Data, 2020)

An Efficient Fault-Tolerant Valve-Based Microfluidic Routing Fabric for Droplet Barcoding in Single-Cell Analysis. - Yasamin Moradi; Mohamed Ibrahim 002; Krishnendu Chakrabarty; Ulf Schlichtmann (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Synthesis of Tamper-Resistant Pin-Constrained Digital Microfluidic Biochips. - Jack Tang; Mohamed Ibrahim 002; Krishnendu Chakrabarty; Ramesh Karri (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Analysis and Design of Tamper-Mitigating Microfluidic Routing Fabrics. - Jack Tang; Mohamed Ibrahim 002; Krishnendu Chakrabarty; Ramesh Karri (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Molecular Barcoding as a Defense Against Benchtop Biochemical Attacks on DNA Fingerprinting and Information Forensics. - Mohamed Ibrahim 002; Tung-Che Liang; Kristin Scott; Krishnendu Chakrabarty; Ramesh Karri (IEEE Trans. Inf. Forensics Secur., 2020)

Bio-chemical Assay Locking to Thwart Bio-IP Theft. - Sukanta Bhattacharjee; Jack Tang; Sudip Poddar; Mohamed Ibrahim 002; Ramesh Karri; Krishnendu Chakrabarty (ACM Trans. Design Autom. Electr. Syst., 2020)

Efficient Regulation of Synthetic Biocircuits Using Droplet-Aliquot Operations on MEDA Biochips. - Mohamed Ibrahim 002; Zhanwei Zhong; Bhargab B. Bhattacharya; Krishnendu Chakrabarty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Special Session: Neuro-Symbolic Architecture Meets Large Language Models: A Memory-Centric Perspective. - Mohamed Ibrahim 002; Zishen Wan; Haitong Li; Priyadarshini Panda; Tushar Krishna; Pentti Kanerva; Yiran Chen 001; Arijit Raychowdhury (CODES+ISSS, 2024)

Efficient Design of a Hyperdimensional Processing Unit for Multi-Layer Cognition. - Mohamed Ibrahim 002; Youbin Kim; Jan M. Rabaey (DATE, 2024)

H3DFact: Heterogeneous 3D Integrated CIM for Factorization with Holographic Perceptual Representations. - Zishen Wan; Che-Kai Liu; Mohamed Ibrahim 002; Hanchen Yang; Samuel Spetalnick; Tushar Krishna; Arijit Raychowdhury (DATE, 2024)

Thinking and Moving: An Efficient Computing Approach for Integrated Task and Motion Planning in Cooperative Embodied AI Systems. - Zishen Wan; Yuhang Du; Mohamed Ibrahim 002; Yang (Katie) Zhao; Tushar Krishna; Arijit Raychowdhury (ICCAD, 2024)

Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture. - Zishen Wan; Che-Kai Liu; Hanchen Yang; Ritik Raj; Chaojian Li; Haoran You; Yonggan Fu; Cheng Wan 005; Sixu Li; Youbin Kim; Ananda Samajdar; Yingyan Celine Lin; et al. (CoRR, 2024)

ReCA: Integrated Acceleration for Real-Time and Efficient Cooperative Embodied Autonomous Agents. - Zishen Wan; Yuhang Du; Mohamed Ibrahim 002; Jiayi Qian; Jason Jabbour; Yang (Katie) Zhao; Tushar Krishna; Arijit Raychowdhury; Vijay Janapa Reddi (ASPLOS (2), 2025)