Aravind Machiry

According to our database, Aravind Machiry authored at least 46 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, Ruoyu Wang, Aravind Machiry

Proceedings of the 33rd USENIX Security Symposium, 2024

Aunor: Converting Rust crates to [no_std] at scale.

Shashank Sharma, Ayushi Sharma, Aravind Machiry

Proceedings of the Fourteenth ACM Conference on Data and Application Security and Privacy, 2024

Precision Guided Approach to Mitigate Data Poisoning Attacks in Federated Learning.

K. Naveen Kumar, C. Krishna Mohan, Aravind Machiry

Proceedings of the Fourteenth ACM Conference on Data and Application Security and Privacy, 2024

Rust for Embedded Systems: Current State and Open Problems.

Ayushi Sharma, Shashank Sharma, Sai Ritvik Tanksalkar, Santiago Torres-Arias, Aravind Machiry

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

Fuzzing API Error Handling Behaviors using Coverage Guided Fault Injection.

Shashank Sharma, Sai Ritvik Tanksalkar, Sourag Cherupattamoolayil, Aravind Machiry

Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024

On the Effectiveness of Large Language Models for GitHub Workflows.

Xinyu Zhang, Siddharth Muralee, Sourag Cherupattamoolayil, Aravind Machiry

Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

2023

Rust for Embedded Systems: Current State, Challenges and Open Problems.

Ayushi Sharma, Shashank Sharma, Santiago Torres-Arias, 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, Aravind Machiry

CoRR, 2023

CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety.

Liyi Li, Arunkumar Bhattar, Le Chang, Mingwei Zhu, Aravind Machiry

CoRR, 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

Proceedings of the 32nd USENIX Security Symposium, 2023

TEEzz: Fuzzing Trusted Applications on COTS Android Devices.

Marcel Busch, Aravind Machiry, Chad Spensky, Giovanni Vigna, Christopher Kruegel, Mathias Payer

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Towards Automated Identification of Layering Violations in Embedded Applications (WIP).

Mingjie Shen, James C. Davis, Aravind Machiry

Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, 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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Towards Rehosting Embedded Applications as Linux Applications.

Jayashree Srinivasan, Sai Ritvik Tanksalkar, Paschal C. Amusuo, James C. Davis, Aravind Machiry

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Security Properties of Virtual Remotes and SPOOKing their violations.

Joshua David Oetting Majors, Edgardo Barsallo Yi, Amiya Maji, Darren Wu, Saurabh Bagchi, Aravind Machiry

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

2022

C to checked C by 3c.

Aravind Machiry, John H. Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks

Proc. ACM Program. Lang., 2022

Characterizing the Security of Github CI Workflows.

Igibek Koishybayev, Aleksandr Nahapetyan, Raima Zachariah, Siddharth Muralee, Bradley Reaves, Alexandros Kapravelos, Aravind Machiry

Proceedings of the 31st USENIX Security Symposium, 2022

Cornucopia : A Framework for Feedback Guided Generation of Binaries.

Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya, Milind Kulkarni, Aravind Machiry

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Hybrid Pruning: Towards Precise Pointer and Taint Analysis.

Dipanjan Das, Priyanka Bose, Aravind Machiry, Sebastiano Mariani, Yan Shoshitaishvili, Giovanni Vigna, Christopher Kruegel

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2022

PacJam: Securing Dependencies Continuously via Package-Oriented Debloating.

Pardis Pashakhanloo, Aravind Machiry, Hyon-Young Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik

Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022

2021

Toward a secure crowdsourced location tracking system.

Chinmay Garg, Aravind Machiry, Andrea Continella, Christopher Kruegel, Giovanni Vigna

Proceedings of the WiSec '21: 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Abu Dhabi, United Arab Emirates, 28 June, 2021

Diane: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices.

Nilo Redini, Andrea Continella, Dipanjan Das, Giulio De Pasquale, Noah Spahn, Aravind Machiry, Antonio Bianchi, Christopher Kruegel, Giovanni Vigna

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

ARBITRAR: User-Guided API Misuse Detection.

Ziyang Li, Aravind Machiry, Binghong Chen, Mayur Naik, Ke Wang, Le Song

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 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

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 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

Proceedings of the Checkmate@CCS 2021, 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

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

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

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

2020

Protecting Smart Devices from the Bottom-up.

Aravind Machiry

PhD thesis, 2020

Karonte: Detecting Insecure Multi-binary Interactions in Embedded Firmware.

Nilo Redini, Aravind Machiry, Ruoyu Wang, Chad Spensky, Andrea Continella, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

SPIDER: Enabling Fast Patch Propagation In Related Software Repositories.

Aravind Machiry, Nilo Redini, Eric Camellini, Christopher Kruegel, Giovanni Vigna

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

TRUST.IO: Protecting Physical Interfaces on Cyber-physical Systems.

Chad Spensky, Aravind Machiry, Marcel Busch, Kevin Leach, Rick Housley, Christopher Kruegel, Giovanni Vigna

Proceedings of the 8th IEEE Conference on Communications and Network Security, 2020

Exploring Abstraction Functions in Fuzzing.

Christopher Salls, Aravind Machiry, Adam Doupé, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna

Proceedings of the 8th IEEE Conference on Communications and Network Security, 2020

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

Proceedings of the 22nd International Symposium on Research in Attacks, 2019

BinTrimmer: Towards Static Binary Debloating Through Abstract Interpretation.

Nilo Redini, Ruoyu Wang, Aravind Machiry, Yan Shoshitaishvili, Giovanni Vigna, Christopher Kruegel

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2019

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, Ruoyu Wang, Giovanni Vigna

IEEE Secur. Priv., 2018

Detecting Deceptive Reviews Using Generative Adversarial Networks.

Hojjat Aghakhani, Aravind Machiry, Shirin Nilizadeh, Christopher Kruegel, Giovanni Vigna

Proceedings of the 2018 IEEE Security and Privacy Workshops, 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

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

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

Proceedings of the 34th Annual Computer Security Applications Conference, 2018

2017

BootStomp: On the Security of Bootloaders in Mobile Devices.

Nilo Redini, Aravind Machiry, Dipanjan Das, Yanick Fratantonio, Antonio Bianchi, Eric Gustafson, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna

Proceedings of the 26th USENIX Security Symposium, 2017

DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers.

Aravind Machiry, Chad Spensky, Jake Corina, Nick Stephens, Christopher Kruegel, Giovanni Vigna

Proceedings of the 26th USENIX Security Symposium, 2017

Ramblr: Making Reassembly Great Again.

Ruoyu Wang, Yan Shoshitaishvili, Antonio Bianchi, Aravind Machiry, John Grosen, Paul Grosen, Christopher Kruegel, Giovanni Vigna

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments.

Aravind Machiry, Eric Gustafson, Chad Spensky, Christopher Salls, Nick Stephens, Ruoyu Wang, Antonio Bianchi, Yung Ryn Choe, Christopher Kruegel, Giovanni Vigna

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

DIFUZE: Interface Aware Fuzzing for Kernel Drivers.

Jake Corina, Aravind Machiry, Christopher Salls, Yan Shoshitaishvili, Shuang Hao, Christopher Kruegel, Giovanni Vigna

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2015

CLAPP: characterizing loops in Android applications (invited talk).

Yanick Fratantonio, Aravind Machiry, Antonio Bianchi, Christopher Kruegel, Giovanni Vigna

Proceedings of the 3rd International Workshop on Software Development Lifecycle for Mobile, 2015

CLAPP: characterizing loops in Android applications.

Yanick Fratantonio, Aravind Machiry, Antonio Bianchi, Christopher Kruegel, Giovanni Vigna

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

2013

Dynodroid: an input generation system for Android apps.

Aravind Machiry, Rohan Tahiliani, Mayur Naik

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013