Dynodroid: an input generation system for Android apps. - Aravind Machiry; Rohan Tahiliani; Mayur Naik (ESEC/SIGSOFT FSE, 2013)

CLAPP: characterizing loops in Android applications. - Yanick Fratantonio; Aravind Machiry; Antonio Bianchi; Christopher Kruegel; Giovanni Vigna (ESEC/SIGSOFT FSE, 2015)

CLAPP: characterizing loops in Android applications (invited talk). - Yanick Fratantonio; Aravind Machiry; Antonio Bianchi; Christopher Kruegel; Giovanni Vigna (DeMobile@SIGSOFT FSE, 2015)

DIFUZE: Interface Aware Fuzzing for Kernel Drivers. - Jake Corina; Aravind Machiry; Christopher Salls; Yan Shoshitaishvili; Shuang Hao 001; Christopher Kruegel; Giovanni Vigna (CCS, 2017)

BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments. - Aravind Machiry; Eric Gustafson; Chad Spensky; Christopher Salls; Nick Stephens; Ruoyu Wang 001; Antonio Bianchi; Yung Ryn Choe; Christopher Kruegel; Giovanni Vigna (NDSS, 2017)

Ramblr: Making Reassembly Great Again. - Ruoyu Wang 001; Yan Shoshitaishvili; Antonio Bianchi; Aravind Machiry; John Grosen; Paul Grosen; Christopher Kruegel; Giovanni Vigna (NDSS, 2017)

DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers. - Aravind Machiry; Chad Spensky; Jake Corina; Nick Stephens; Christopher Kruegel; Giovanni Vigna (USENIX Security Symposium, 2017)

BootStomp: On the Security of Bootloaders in Mobile Devices. - Nilo Redini; Aravind Machiry; Dipanjan Das 002; Yanick Fratantonio; Antonio Bianchi; Eric Gustafson; Yan Shoshitaishvili; Christopher Kruegel; Giovanni Vigna (USENIX Security Symposium, 2017)

Using Loops For Malware Classification Resilient to Feature-unaware Perturbations. - Aravind Machiry; Nilo Redini; Eric Gustafson; Yanick Fratantonio; Yung Ryn Choe; Christopher Kruegel; Giovanni Vigna (ACSAC, 2018)

Broken Fingers: On the Usage of the Fingerprint API in Android. - Antonio Bianchi; Yanick Fratantonio; Aravind Machiry; Christopher Kruegel; Giovanni Vigna; Simon Pak Ho Chung; Wenke Lee (NDSS, 2018)

Detecting Deceptive Reviews Using Generative Adversarial Networks. - Hojjat Aghakhani; Aravind Machiry; Shirin Nilizadeh; Christopher Kruegel; Giovanni Vigna (IEEE Symposium on Security and Privacy Workshops, 2018)

Mechanical Phish: Resilient Autonomous Hacking. - Yan Shoshitaishvili; Antonio Bianchi; Kevin Borgolte; Amat Cama; Jacopo Corbetta; Francesco Disperati; Andrew Dutcher; John Grosen; Paul Grosen; Aravind Machiry; Christopher Salls; Nick Stephens; et al. (IEEE Secur. Priv., 2018)

BinTrimmer: Towards Static Binary Debloating Through Abstract Interpretation. - Nilo Redini; Ruoyu Wang 001; Aravind Machiry; Yan Shoshitaishvili; Giovanni Vigna; Christopher Kruegel (DIMVA, 2019)

Toward the Analysis of Embedded Firmware through Automated Re-hosting. - Eric Gustafson; Marius Muench; Chad Spensky; Nilo Redini; Aravind Machiry; Yanick Fratantonio; Davide Balzarotti; Aurélien Francillon; Yung Ryn Choe; Christopher Kruegel; Giovanni Vigna (RAID, 2019)

Exploring Abstraction Functions in Fuzzing. - Christopher Salls; Aravind Machiry; Adam Doupé; Yan Shoshitaishvili; Christopher Kruegel; Giovanni Vigna (CNS, 2020)

TRUST.IO: Protecting Physical Interfaces on Cyber-physical Systems. - Chad Spensky; Aravind Machiry; Marcel Busch; Kevin Leach; Rick Housley; Christopher Kruegel; Giovanni Vigna (CNS, 2020)

SPIDER: Enabling Fast Patch Propagation In Related Software Repositories. - Aravind Machiry; Nilo Redini; Eric Camellini; Christopher Kruegel; Giovanni Vigna (SP, 2020)

Karonte: Detecting Insecure Multi-binary Interactions in Embedded Firmware. - Nilo Redini; Aravind Machiry; Ruoyu Wang 001; Chad Spensky; Andrea Continella; Yan Shoshitaishvili; Christopher Kruegel; Giovanni Vigna (SP, 2020)

Protecting Smart Devices from the Bottom-up. - Aravind Machiry (2020)

Bran: Reduce Vulnerability Search Space in Large Open Source Repositories by Learning Bug Symptoms. - Dongyu Meng; Michele Guerriero; Aravind Machiry; Hojjat Aghakhani; Priyanka Bose; Andrea Continella; Christopher Kruegel; Giovanni Vigna (AsiaCCS, 2021)

Conware: Automated Modeling of Hardware Peripherals. - Chad Spensky; Aravind Machiry; Nilo Redini; Colin Unger; Graham Foster; Evan Blasband; Hamed Okhravi; Christopher Kruegel; Giovanni Vigna (AsiaCCS, 2021)

Tarnhelm: Isolated, Transparent & Confidential Execution of Arbitrary Code in ARM's TrustZone. - Davide Quarta; Michele Ianni; Aravind Machiry; Yanick Fratantonio; Eric Gustafson; Davide Balzarotti; Martina Lindorfer; Giovanni Vigna; Christopher Kruegel (Checkmate@CCS, 2021)

Glitching Demystified: Analyzing Control-flow-based Glitching Attacks and Defenses. - Chad Spensky; Aravind Machiry; Nathan Burow; Hamed Okhravi; Rick Housley; Zhongshu Gu; Hani Jamjoom; Christopher Kruegel; Giovanni Vigna (DSN, 2021)

ARBITRAR: User-Guided API Misuse Detection. - Ziyang Li; Aravind Machiry; Binghong Chen; Mayur Naik; Ke Wang; Le Song (SP, 2021)

Diane: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices. - Nilo Redini; Andrea Continella; Dipanjan Das 002; Giulio De Pasquale; Noah Spahn; Aravind Machiry; Antonio Bianchi; Christopher Kruegel; Giovanni Vigna (SP, 2021)

Toward a secure crowdsourced location tracking system. - Chinmay Garg; Aravind Machiry; Andrea Continella; Christopher Kruegel; Giovanni Vigna (WISEC, 2021)

PacJam: Securing Dependencies Continuously via Package-Oriented Debloating. - Pardis Pashakhanloo; Aravind Machiry; Hyon-Young Choi; Anthony Canino; Kihong Heo; Insup Lee 001; Mayur Naik (AsiaCCS, 2022)

Hybrid Pruning: Towards Precise Pointer and Taint Analysis. - Dipanjan Das 002; Priyanka Bose; Aravind Machiry; Sebastiano Mariani; Yan Shoshitaishvili; Giovanni Vigna; Christopher Kruegel (DIMVA, 2022)

Cornucopia : A Framework for Feedback Guided Generation of Binaries. - Vidush Singhal; Akul Abhilash Pillai; Charitha Saumya; Milind Kulkarni 001; Aravind Machiry (ASE, 2022)

Characterizing the Security of Github CI Workflows. - Igibek Koishybayev; Aleksandr Nahapetyan; Raima Zachariah; Siddharth Muralee; Bradley Reaves; Alexandros Kapravelos; Aravind Machiry (USENIX Security Symposium, 2022)

C to checked C by 3c. - Aravind Machiry; John H. Kastner; Matt McCutchen; Aaron Eline; Kyle Headley; Michael Hicks 001 (Proc. ACM Program. Lang., 2022)

Security Properties of Virtual Remotes and SPOOKing their violations. - Joshua David Oetting Majors; Edgardo Barsallo Yi; Amiya Maji; Darren Wu; Saurabh Bagchi; Aravind Machiry (AsiaCCS, 2023)

Towards Rehosting Embedded Applications as Linux Applications. - Jayashree Srinivasan; Sai Ritvik Tanksalkar; Paschal C. Amusuo; James C. Davis 001; Aravind Machiry (DSN-S, 2023)

Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks. - Paschal C. Amusuo; Ricardo Andrés Calvo Méndez; Zhongwei Xu; Aravind Machiry; James C. Davis 001 (ASE, 2023)

Towards Automated Identification of Layering Violations in Embedded Applications (WIP). - Mingjie Shen; James C. Davis 001; Aravind Machiry (LCTES, 2023)

TEEzz: Fuzzing Trusted Applications on COTS Android Devices. - Marcel Busch; Aravind Machiry; Chad Spensky; Giovanni Vigna; Christopher Kruegel; Mathias Payer (SP, 2023)

ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions. - Siddharth Muralee; Igibek Koishybayev; Aleksandr Nahapetyan; Greg Tystahl; Bradley Reaves; Antonio Bianchi; William Enck; Alexandros Kapravelos; Aravind Machiry (USENIX Security Symposium, 2023)

CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety. - Liyi Li 002; Arunkumar Bhattar; Le Chang; Mingwei Zhu; Aravind Machiry (CoRR, 2023)

An Empirical Study on the Use of Static Analysis Tools in Open Source Embedded Software. - Mingjie Shen; Akul Abhilash Pillai; Brian A. Yuan; James C. Davis 001; Aravind Machiry (CoRR, 2023)

Rust for Embedded Systems: Current State, Challenges and Open Problems. - Ayushi Sharma; Shashank Sharma; Santiago Torres-Arias; Aravind Machiry (CoRR, 2023)

On the Effectiveness of Large Language Models for GitHub Workflows. - Xinyu Zhang; Siddharth Muralee; Sourag Cherupattamoolayil; Aravind Machiry (ARES, 2024)

Fuzzing API Error Handling Behaviors using Coverage Guided Fault Injection. - Shashank Sharma; Sai Ritvik Tanksalkar; Sourag Cherupattamoolayil; Aravind Machiry (AsiaCCS, 2024)

Rust for Embedded Systems: Current State and Open Problems. - Ayushi Sharma; Shashank Sharma; Sai Ritvik Tanksalkar; Santiago Torres-Arias; Aravind Machiry (CCS, 2024)

Precision Guided Approach to Mitigate Data Poisoning Attacks in Federated Learning. - K. Naveen Kumar; C. Krishna Mohan; Aravind Machiry (CODASPY, 2024)

Aunor: Converting Rust crates to [no_std] at scale. - Shashank Sharma; Ayushi Sharma; Aravind Machiry (CODASPY, 2024)

Insights from Running 24 Static Analysis Tools on Open Source Software Repositories. - Fabiha Hashmat; Zeyad Alwaleed Aljaali; Mingjie Shen; Aravind Machiry (ICISS, 2024)

TYGR: Type Inference on Stripped Binaries using Graph Neural Networks. - Chang Zhu; Ziyang Li; Anton Xue; Ati Priya Bajaj; Wil Gibbs; Yibo Liu; Rajeev Alur; Tiffany Bao; Hanjun Dai; Adam Doupé; Mayur Naik; Yan Shoshitaishvili; et al. (USENIX Security Symposium, 2024)

Multi-Device Context-Sensitive Attacks Against Privacy. - Edgardo Alberto Barsallo Yi; Joshua David Oetting Majors; Aditya Vardhan Padala; Darren Wu; Aravind Machiry; Saurabh Bagchi (CODASPY, 2025)

FlexGE: Towards Secure and Flexible Model Partition for Deep Neural Networks. - Xiaolong Wu; Aravind Kumar Machiry; Yung-Hsiang Lu; Dave Jing Tian (DIMVA (2), 2025)

$ZTD_{ text{JAVA}}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies. - Paschal C. Amusuo; Kyle A. Robinson; Tanmay Singla; Huiyun Peng; Aravind Machiry; Santiago Torres-Arias; Laurent Simon; James C. Davis 001 (ICSE, 2025)

FUZZUER: Enabling Fuzzing of UEFI Interfaces on EDK-2. - Connor Glosner; Aravind Machiry (NDSS, 2025)

VeriBin: Adaptive Verification of Patches at the Binary Level. - Hongwei Wu; Jianliang Wu 002; Ruoyu Wu; Ayushi Sharma; Aravind Machiry; Antonio Bianchi (NDSS, 2025)

Detection of Device Triggerable Vulnerabilities in Android Companion Apps through Interactive Triaging. - Aditya Vardhan Padala; Saurabh Bagchi; Aravind Kumar Machiry (SAC, 2025)

Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper). - Sourag Cherupattamoolayil; Arunkumar Bhattar; Connor Glosner; Aravind Machiry (Proc. ACM Softw. Eng., 2025)

Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper). - Mingjie Shen; Akul Abhilash Pillai; Brian A. Yuan; James C. Davis 001; Aravind Machiry (Proc. ACM Softw. Eng., 2025)

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification. - Paschal C. Amusuo; Owen Cochell; Taylor Le Lievre; Parth V. Patil; Aravind Machiry; James C. Davis 001 (CoRR, 2025)

LEMIX: Enabling Testing of Embedded Applications as Linux Applications. - Sai Ritvik Tanksalkar; Siddharth Muralee; Srihari Danduri; Paschal C. Amusuo; Antonio Bianchi; James C. Davis 001; Aravind Machiry (CoRR, 2025)

LM-Scout: Analyzing the Security of Language Model Integration in Android Apps. - Muhammad Ibrahim 004; Güliz Seray Tuncay; Z. Berkay Celik; Aravind Machiry; Antonio Bianchi (CoRR, 2025)