Aravind Machiry

65 papers A* 20A 9B 4Misc 1Journal 18Unranked 12
YearRankTypeTitle / Venue / Authors
2025 A* conf
$ZTD_{\text{JAVA}}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies.
ICSE
Paschal C. Amusuo, Kyle A. Robinson, Tanmay Singla, Huiyun Peng, Aravind Machiry, Santiago Torres-Arias, Laurent Simon, James C. Davis
2025 J jnl
Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper).
Proc. ACM Softw. Eng.
Sourag Cherupattamoolayil, Arunkumar Bhattar, Connor Glosner, Aravind Machiry
2025 J jnl
Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification.
CoRR
Paschal C. Amusuo, Owen Cochell, Taylor Le Lievre, Parth V. Patil, Aravind Machiry, James C. Davis
2025 A* conf
FUZZUER: Enabling Fuzzing of UEFI Interfaces on EDK-2.
NDSS
Connor Glosner, Aravind Machiry
2025 J jnl
Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper).
Proc. ACM Softw. Eng.
Mingjie Shen, Akul Abhilash Pillai, Brian A. Yuan, James C. Davis, Aravind Machiry
2025 J jnl
LEMIX: Enabling Testing of Embedded Applications as Linux Applications.
CoRR
Sai Ritvik Tanksalkar, Siddharth Muralee, Srihari Danduri, Paschal C. Amusuo, Antonio Bianchi, James C. Davis, Aravind Machiry
2025 J jnl
LM-Scout: Analyzing the Security of Language Model Integration in Android Apps.
CoRR
Muhammad Ibrahim, Güliz Seray Tuncay, Z. Berkay Celik, Aravind Machiry, Antonio Bianchi
2025 — conf
Multi-Device Context-Sensitive Attacks Against Privacy.
CODASPY
Edgardo Alberto Barsallo Yi, Joshua David Oetting Majors, Aditya Vardhan Padala, Darren Wu, Aravind Machiry, Saurabh Bagchi
2025 J jnl
Reactive Bottom-Up Testing.
CoRR
Siddharth Muralee, Sourag Cherupattamoolayil, James C. Davis, Antonio Bianchi, Aravind Machiry
2025 A conf
TypeFlexer: Type Directed Flexible Program Partitioning.
RAID
Arunkumar Bhattar, Liyi Li, Mingwei Zhu, Le Chang, Aravind Machiry
2025 A* conf
VeriBin: Adaptive Verification of Patches at the Binary Level.
NDSS
Hongwei Wu, Jianliang Wu, Ruoyu Wu, Ayushi Sharma, Aravind Machiry, Antonio Bianchi
2024 — conf
Aunor: Converting Rust crates to [no_std] at scale.
CODASPY
Shashank Sharma, Ayushi Sharma, Aravind Machiry
2024 A conf
Fuzzing API Error Handling Behaviors using Coverage Guided Fault Injection.
AsiaCCS
Shashank Sharma, Sai Ritvik Tanksalkar, Sourag Cherupattamoolayil, Aravind Machiry
2024 Misc conf
Insights from Running 24 Static Analysis Tools on Open Source Software Repositories.
ICISS
Fabiha Hashmat, Zeyad Alwaleed Aljaali, Mingjie Shen, Aravind Machiry
2024 B conf
On the Effectiveness of Large Language Models for GitHub Workflows.
ARES
Xinyu Zhang, Siddharth Muralee, Sourag Cherupattamoolayil, Aravind Machiry
2024 J jnl
On the effectiveness of Large Language Models for GitHub Workflows.
CoRR
Xinyu Zhang, Siddharth Muralee, Sourag Cherupattamoolayil, Aravind Machiry
2024 — conf
Precision Guided Approach to Mitigate Data Poisoning Attacks in Federated Learning.
CODASPY
K. Naveen Kumar, C. Krishna Mohan, Aravind Machiry
2024 J jnl
Precision Guided Approach to Mitigate Data Poisoning Attacks in Federated Learning.
CoRR
Kummari Naveen Kumar, C. Krishna Mohan, Aravind Machiry
2024 A* conf
Rust for Embedded Systems: Current State and Open Problems.
CCS
Ayushi Sharma, Shashank Sharma, Sai Ritvik Tanksalkar, Santiago Torres-Arias, Aravind Machiry
2024 A* conf
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks.
USENIX Security Symposium
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, Ruoyu Wang, Aravind Machiry
2023 A* conf
ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions.
USENIX Security Symposium
Siddharth Muralee, Igibek Koishybayev, Aleksandr Nahapetyan, Greg Tystahl, Bradley Reaves, Antonio Bianchi, William Enck, Alexandros Kapravelos, Aravind Machiry
2023 J jnl
An Empirical Study on the Use of Static Analysis Tools in Open Source Embedded Software.
CoRR
Mingjie Shen, Akul Abhilash Pillai, Brian A. Yuan, James C. Davis, Aravind Machiry
2023 J jnl
CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety.
CoRR
Liyi Li, Arunkumar Bhattar, Le Chang, Mingwei Zhu, Aravind Machiry
2023 J jnl
Rust for Embedded Systems: Current State, Challenges and Open Problems.
CoRR
Ayushi Sharma, Shashank Sharma, Santiago Torres-Arias, Aravind Machiry
2023 A conf
Security Properties of Virtual Remotes and SPOOKing their violations.
AsiaCCS
Joshua David Oetting Majors, Edgardo Barsallo Yi, Amiya Maji, Darren Wu, Saurabh Bagchi, Aravind Machiry
2023 A* conf
Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks.
ASE
Paschal C. Amusuo, Ricardo Andrés Calvo Méndez, Zhongwei Xu, Aravind Machiry, James C. Davis
2023 J jnl
Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks.
CoRR
Paschal C. Amusuo, Ricardo Andrés Calvo Méndez, Zhongwei Xu, Aravind Machiry, James C. Davis
2023 A* conf
TEEzz: Fuzzing Trusted Applications on COTS Android Devices.
SP
Marcel Busch, Aravind Machiry, Chad Spensky, Giovanni Vigna, Christopher Kruegel, Mathias Payer
2023 B conf
Towards Automated Identification of Layering Violations in Embedded Applications (WIP).
LCTES
Mingjie Shen, James C. Davis, Aravind Machiry
2023 — conf
Towards Rehosting Embedded Applications as Linux Applications.
DSN-S
Jayashree Srinivasan, Sai Ritvik Tanksalkar, Paschal C. Amusuo, James C. Davis, Aravind Machiry
2022 J jnl
C to Checked C by 3C.
CoRR
Aravind Machiry, John H. Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks
2022 J jnl
C to checked C by 3c.
Proc. ACM Program. Lang.
Aravind Machiry, John H. Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks
2022 A* conf
Characterizing the Security of Github CI Workflows.
USENIX Security Symposium
Igibek Koishybayev, Aleksandr Nahapetyan, Raima Zachariah, Siddharth Muralee, Bradley Reaves, Alexandros Kapravelos, Aravind Machiry
2022 A* conf
Cornucopia : A Framework for Feedback Guided Generation of Binaries.
ASE
Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya, Milind Kulkarni, Aravind Machiry
2022 J jnl
Cornucopia: A Framework for Feedback Guided Generation of Binaries.
CoRR
Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya, Milind Kulkarni, Aravind Machiry
2022 B conf
Hybrid Pruning: Towards Precise Pointer and Taint Analysis.
DIMVA
Dipanjan Das, Priyanka Bose, Aravind Machiry, Sebastiano Mariani, Yan Shoshitaishvili, Giovanni Vigna, Christopher Kruegel
2022 A conf
PacJam: Securing Dependencies Continuously via Package-Oriented Debloating.
AsiaCCS
Pardis Pashakhanloo, Aravind Machiry, Hyon-Young Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik
2021 A* conf
ARBITRAR: User-Guided API Misuse Detection.
SP
Ziyang Li, Aravind Machiry, Binghong Chen, Mayur Naik, Ke Wang, Le Song
2021 A conf
Bran: Reduce Vulnerability Search Space in Large Open Source Repositories by Learning Bug Symptoms.
AsiaCCS
Dongyu Meng, Michele Guerriero, Aravind Machiry, Hojjat Aghakhani, Priyanka Bose, Andrea Continella, Christopher Kruegel, Giovanni Vigna
2021 A conf
Conware: Automated Modeling of Hardware Peripherals.
AsiaCCS
Chad Spensky, Aravind Machiry, Nilo Redini, Colin Unger, Graham Foster, Evan Blasband, Hamed Okhravi, Christopher Kruegel, Giovanni Vigna
2021 A* conf
Diane: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices.
SP
Nilo Redini, Andrea Continella, Dipanjan Das, Giulio De Pasquale, Noah Spahn, Aravind Machiry, Antonio Bianchi, Christopher Kruegel, Giovanni Vigna
2021 A conf
Glitching Demystified: Analyzing Control-flow-based Glitching Attacks and Defenses.
DSN
Chad Spensky, Aravind Machiry, Nathan Burow, Hamed Okhravi, Rick Housley, Zhongshu Gu, Hani Jamjoom, Christopher Kruegel, Giovanni Vigna
2021 — conf
Tarnhelm: Isolated, Transparent & Confidential Execution of Arbitrary Code in ARM's TrustZone.
Checkmate@CCS
Davide Quarta, Michele Ianni, Aravind Machiry, Yanick Fratantonio, Eric Gustafson, Davide Balzarotti, Martina Lindorfer, Giovanni Vigna, Christopher Kruegel
2021 J jnl
Toward a Secure Crowdsourced Location Tracking System.
CoRR
Chinmay Garg, Aravind Machiry, Andrea Continella, Christopher Kruegel, Giovanni Vigna
2021 — conf
Toward a secure crowdsourced location tracking system.
WISEC
Chinmay Garg, Aravind Machiry, Andrea Continella, Christopher Kruegel, Giovanni Vigna
2020 — conf
Exploring Abstraction Functions in Fuzzing.
CNS
Christopher Salls, Aravind Machiry, Adam Doupé, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna
2020 A* conf
Karonte: Detecting Insecure Multi-binary Interactions in Embedded Firmware.
SP
Nilo Redini, Aravind Machiry, Ruoyu Wang, Chad Spensky, Andrea Continella, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna
2020 — —
Protecting Smart Devices from the Bottom-up.
Aravind Machiry
2020 A* conf
SPIDER: Enabling Fast Patch Propagation In Related Software Repositories.
SP
Aravind Machiry, Nilo Redini, Eric Camellini, Christopher Kruegel, Giovanni Vigna
2020 — conf
TRUST.IO: Protecting Physical Interfaces on Cyber-physical Systems.
CNS
Chad Spensky, Aravind Machiry, Marcel Busch, Kevin Leach, Rick Housley, Christopher Kruegel, Giovanni Vigna
2019 B conf
BinTrimmer: Towards Static Binary Debloating Through Abstract Interpretation.
DIMVA
Nilo Redini, Ruoyu Wang, Aravind Machiry, Yan Shoshitaishvili, Giovanni Vigna, Christopher Kruegel
2019 A conf
Toward the Analysis of Embedded Firmware through Automated Re-hosting.
RAID
Eric Gustafson, Marius Muench, Chad Spensky, Nilo Redini, Aravind Machiry, Yanick Fratantonio, Davide Balzarotti, Aurélien Francillon, Yung Ryn Choe, Christopher Kruegel, Giovanni Vigna
2018 A* conf
Broken Fingers: On the Usage of the Fingerprint API in Android.
NDSS
Antonio Bianchi, Yanick Fratantonio, Aravind Machiry, Christopher Kruegel, Giovanni Vigna, Simon Pak Ho Chung, Wenke Lee
2018 — conf
Detecting Deceptive Reviews Using Generative Adversarial Networks.
IEEE Symposium on Security and Privacy Workshops
Hojjat Aghakhani, Aravind Machiry, Shirin Nilizadeh, Christopher Kruegel, Giovanni Vigna
2018 J jnl
Detecting Deceptive Reviews using Generative Adversarial Networks.
CoRR
Hojjat Aghakhani, Aravind Machiry, Shirin Nilizadeh, Christopher Kruegel, Giovanni Vigna
2018 J jnl
Mechanical Phish: Resilient Autonomous Hacking.
IEEE Secur. Priv.
Yan Shoshitaishvili, Antonio Bianchi, Kevin Borgolte, Amat Cama, Jacopo Corbetta, Francesco Disperati, Andrew Dutcher, John Grosen, Paul Grosen, Aravind Machiry, Christopher Salls, Nick Stephens, Ruoyu Wang, Giovanni Vigna
2018 A conf
Using Loops For Malware Classification Resilient to Feature-unaware Perturbations.
ACSAC
Aravind Machiry, Nilo Redini, Eric Gustafson, Yanick Fratantonio, Yung Ryn Choe, Christopher Kruegel, Giovanni Vigna
2017 A* conf
BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments.
NDSS
Aravind Machiry, Eric Gustafson, Chad Spensky, Christopher Salls, Nick Stephens, Ruoyu Wang, Antonio Bianchi, Yung Ryn Choe, Christopher Kruegel, Giovanni Vigna
2017 A* conf
BootStomp: On the Security of Bootloaders in Mobile Devices.
USENIX Security Symposium
Nilo Redini, Aravind Machiry, Dipanjan Das, Yanick Fratantonio, Antonio Bianchi, Eric Gustafson, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna
2017 A* conf
DIFUZE: Interface Aware Fuzzing for Kernel Drivers.
CCS
Jake Corina, Aravind Machiry, Christopher Salls, Yan Shoshitaishvili, Shuang Hao, Christopher Kruegel, Giovanni Vigna
2017 A* conf
DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers.
USENIX Security Symposium
Aravind Machiry, Chad Spensky, Jake Corina, Nick Stephens, Christopher Kruegel, Giovanni Vigna
2017 A* conf
Ramblr: Making Reassembly Great Again.
NDSS
Ruoyu Wang, Yan Shoshitaishvili, Antonio Bianchi, Aravind Machiry, John Grosen, Paul Grosen, Christopher Kruegel, Giovanni Vigna
2015 — conf
CLAPP: characterizing loops in Android applications (invited talk).
DeMobile@SIGSOFT FSE
Yanick Fratantonio, Aravind Machiry, Antonio Bianchi, Christopher Kruegel, Giovanni Vigna
2015 — conf
CLAPP: characterizing loops in Android applications.
ESEC/SIGSOFT FSE
Yanick Fratantonio, Aravind Machiry, Antonio Bianchi, Christopher Kruegel, Giovanni Vigna
2013 — conf
Dynodroid: an input generation system for Android apps.
ESEC/SIGSOFT FSE
Aravind Machiry, Rohan Tahiliani, Mayur Naik