Aravind Machiry

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 50

Top Topics

Embedded Systems

Top Venues

USENIX Security Symposium

IEEE Symposium on Security and Privacy

Publications

Shashank Sharma, Ayushi Sharma, Aravind Machiry
Aunor: Converting Rust crates to [no_std] at scale. CODASPY (2024)
K. Naveen Kumar, C. Krishna Mohan, Aravind Machiry
Precision Guided Approach to Mitigate Data Poisoning Attacks in Federated Learning. CODASPY (2024)
Xinyu Zhang, Siddharth Muralee, Sourag Cherupattamoolayil, Aravind Machiry
On the Effectiveness of Large Language Models for GitHub Workflows. ARES (2024)
Kummari Naveen Kumar, C. Krishna Mohan, Aravind Machiry
Precision Guided Approach to Mitigate Data Poisoning Attacks in Federated Learning. CoRR (2024)
Xinyu Zhang, Siddharth Muralee, Sourag Cherupattamoolayil, Aravind Machiry
On the effectiveness of Large Language Models for GitHub Workflows. CoRR (2024)
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
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks. USENIX Security Symposium (2024)
Shashank Sharma, Sai Ritvik Tanksalkar, Sourag Cherupattamoolayil, Aravind Machiry
Fuzzing API Error Handling Behaviors using Coverage Guided Fault Injection. AsiaCCS (2024)
Ayushi Sharma, Shashank Sharma, Santiago Torres-Arias, Aravind Machiry
Rust for Embedded Systems: Current State, Challenges and Open Problems. CoRR (2023)
Liyi Li, Arunkumar Bhattar, Le Chang, Mingwei Zhu, Aravind Machiry
CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety. CoRR (2023)
Siddharth Muralee, Igibek Koishybayev, Aleksandr Nahapetyan, Greg Tystahl, Bradley Reaves, Antonio Bianchi, William Enck, Alexandros Kapravelos, Aravind Machiry
ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions. USENIX Security Symposium (2023)
Paschal C. Amusuo, Ricardo Andrés Calvo Méndez, Zhongwei Xu, Aravind Machiry, James C. Davis
Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks. ASE (2023)
Mingjie Shen, Akul Abhilash Pillai, Brian A. Yuan, James C. Davis, Aravind Machiry
An Empirical Study on the Use of Static Analysis Tools in Open Source Embedded Software. CoRR (2023)
Jayashree Srinivasan, Sai Ritvik Tanksalkar, Paschal C. Amusuo, James C. Davis, Aravind Machiry
Towards Rehosting Embedded Applications as Linux Applications. DSN-S (2023)
Marcel Busch, Aravind Machiry, Chad Spensky, Giovanni Vigna, Christopher Kruegel, Mathias Payer
TEEzz: Fuzzing Trusted Applications on COTS Android Devices. SP (2023)
Mingjie Shen, James C. Davis, Aravind Machiry
Towards Automated Identification of Layering Violations in Embedded Applications (WIP). LCTES (2023)
Paschal C. Amusuo, Ricardo Andrés Calvo Méndez, Zhongwei Xu, Aravind Machiry, James C. Davis
Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks. CoRR (2023)
Joshua David Oetting Majors, Edgardo Barsallo Yi, Amiya Maji, Darren Wu, Saurabh Bagchi, Aravind Machiry
Security Properties of Virtual Remotes and SPOOKing their violations. AsiaCCS (2023)
Aravind Machiry, John Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks
C to Checked C by 3C. CoRR (2022)
Aravind Machiry, John Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks
C to checked C by 3c. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Igibek Koishybayev, Aleksandr Nahapetyan, Raima Zachariah, Siddharth Muralee, Bradley Reaves, Alexandros Kapravelos, Aravind Machiry
Characterizing the Security of Github CI Workflows. USENIX Security Symposium (2022)
Pardis Pashakhanloo, Aravind Machiry, Hyon-Young Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik
PacJam: Securing Dependencies Continuously via Package-Oriented Debloating. AsiaCCS (2022)
Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya, Milind Kulkarni, Aravind Machiry
Cornucopia : A Framework for Feedback Guided Generation of Binaries. ASE (2022)
Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya, Milind Kulkarni, Aravind Machiry
Cornucopia: A Framework for Feedback Guided Generation of Binaries. CoRR (2022)
Dipanjan Das, Priyanka Bose, Aravind Machiry, Sebastiano Mariani, Yan Shoshitaishvili, Giovanni Vigna, Christopher Kruegel
Hybrid Pruning: Towards Precise Pointer and Taint Analysis. DIMVA (2022)
Ziyang Li, Aravind Machiry, Binghong Chen, Mayur Naik, Ke Wang, Le Song
ARBITRAR: User-Guided API Misuse Detection. IEEE Symposium on Security and Privacy (2021)
Davide Quarta, Michele Ianni, Aravind Machiry, Yanick Fratantonio, Eric Gustafson, Davide Balzarotti, Martina Lindorfer, Giovanni Vigna, Christopher Kruegel
Tarnhelm: Isolated, Transparent & Confidential Execution of Arbitrary Code in ARM's TrustZone. Checkmate@CCS (2021)
Chinmay Garg, Aravind Machiry, Andrea Continella, Christopher Kruegel, Giovanni Vigna
Toward a secure crowdsourced location tracking system. WISEC (2021)
Nilo Redini, Andrea Continella, Dipanjan Das, Giulio De Pasquale, Noah Spahn, Aravind Machiry, Antonio Bianchi, Christopher Kruegel, Giovanni Vigna
Diane: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices. IEEE Symposium on Security and Privacy (2021)
Chad Spensky, Aravind Machiry, Nathan Burow, Hamed Okhravi, Rick Housley, Zhongshu Gu, Hani Jamjoom, Christopher Kruegel, Giovanni Vigna
Glitching Demystified: Analyzing Control-flow-based Glitching Attacks and Defenses. DSN (2021)
Chinmay Garg, Aravind Machiry, Andrea Continella, Christopher Kruegel, Giovanni Vigna
Toward a Secure Crowdsourced Location Tracking System. CoRR (2021)
Dongyu Meng, Michele Guerriero, Aravind Machiry, Hojjat Aghakhani, Priyanka Bose, Andrea Continella, Christopher Kruegel, Giovanni Vigna
Bran: Reduce Vulnerability Search Space in Large Open Source Repositories by Learning Bug Symptoms. AsiaCCS (2021)
Chad Spensky, Aravind Machiry, Nilo Redini, Colin Unger, Graham Foster, Evan Blasband, Hamed Okhravi, Christopher Kruegel, Giovanni Vigna
Conware: Automated Modeling of Hardware Peripherals. AsiaCCS (2021)
Aravind Machiry, Nilo Redini, Eric Camellini, Christopher Kruegel, Giovanni Vigna
SPIDER: Enabling Fast Patch Propagation In Related Software Repositories. IEEE Symposium on Security and Privacy (2020)
Chad Spensky, Aravind Machiry, Marcel Busch, Kevin Leach, Rick Housley, Christopher Kruegel, Giovanni Vigna
TRUST.IO: Protecting Physical Interfaces on Cyber-physical Systems. CNS (2020)
Christopher Salls, Aravind Machiry, Adam Doupé, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna
Exploring Abstraction Functions in Fuzzing. CNS (2020)
Nilo Redini, Aravind Machiry, Ruoyu Wang, Chad Spensky, Andrea Continella, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna
Karonte: Detecting Insecure Multi-binary Interactions in Embedded Firmware. IEEE Symposium on Security and Privacy (2020)
Eric Gustafson, Marius Muench, Chad Spensky, Nilo Redini, Aravind Machiry, Yanick Fratantonio, Davide Balzarotti, Aurélien Francillon, Yung Ryn Choe, Christopher Kruegel, Giovanni Vigna
Toward the Analysis of Embedded Firmware through Automated Re-hosting. RAID (2019)
Nilo Redini, Ruoyu Wang, Aravind Machiry, Yan Shoshitaishvili, Giovanni Vigna, Christopher Kruegel
BinTrimmer: Towards Static Binary Debloating Through Abstract Interpretation. DIMVA (2019)
Aravind Machiry, Nilo Redini, Eric Gustafson, Yanick Fratantonio, Yung Ryn Choe, Christopher Kruegel, Giovanni Vigna
Using Loops For Malware Classification Resilient to Feature-unaware Perturbations. ACSAC (2018)
Hojjat Aghakhani, Aravind Machiry, Shirin Nilizadeh, Christopher Kruegel, Giovanni Vigna
Detecting Deceptive Reviews Using Generative Adversarial Networks. IEEE Symposium on Security and Privacy Workshops (2018)
Antonio Bianchi, Yanick Fratantonio, Aravind Machiry, Christopher Kruegel, Giovanni Vigna, Simon Pak Ho Chung, Wenke Lee
Broken Fingers: On the Usage of the Fingerprint API in Android. NDSS (2018)
Hojjat Aghakhani, Aravind Machiry, Shirin Nilizadeh, Christopher Kruegel, Giovanni Vigna
Detecting Deceptive Reviews using Generative Adversarial Networks. CoRR (2018)
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
Mechanical Phish: Resilient Autonomous Hacking. IEEE Secur. Priv. 16 (2) (2018)
Aravind Machiry, Eric Gustafson, Chad Spensky, Christopher Salls, Nick Stephens, Ruoyu Wang, Antonio Bianchi, Yung Ryn Choe, Christopher Kruegel, Giovanni Vigna
BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments. NDSS (2017)
Nilo Redini, Aravind Machiry, Dipanjan Das, Yanick Fratantonio, Antonio Bianchi, Eric Gustafson, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna
BootStomp: On the Security of Bootloaders in Mobile Devices. USENIX Security Symposium (2017)
Jake Corina, Aravind Machiry, Christopher Salls, Yan Shoshitaishvili, Shuang Hao, Christopher Kruegel, Giovanni Vigna
DIFUZE: Interface Aware Fuzzing for Kernel Drivers. CCS (2017)
Ruoyu Wang, Yan Shoshitaishvili, Antonio Bianchi, Aravind Machiry, John Grosen, Paul Grosen, Christopher Kruegel, Giovanni Vigna
Ramblr: Making Reassembly Great Again. NDSS (2017)
Aravind Machiry, Chad Spensky, Jake Corina, Nick Stephens, Christopher Kruegel, Giovanni Vigna
DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers. USENIX Security Symposium (2017)
Yanick Fratantonio, Aravind Machiry, Antonio Bianchi, Christopher Kruegel, Giovanni Vigna
CLAPP: characterizing loops in Android applications. ESEC/SIGSOFT FSE (2015)
Yanick Fratantonio, Aravind Machiry, Antonio Bianchi, Christopher Kruegel, Giovanni Vigna
CLAPP: characterizing loops in Android applications (invited talk). DeMobile@SIGSOFT FSE (2015)
Aravind Machiry, Rohan Tahiliani, Mayur Naik
Dynodroid: an input generation system for Android apps. ESEC/SIGSOFT FSE (2013)