Aravind Machiry
Purdue University
H-index: 18
North America-United States
Top articles of Aravind Machiry
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Fuzzing API Error Handling Behaviors using Coverage Guided Fault Injection | Shashank Sharma Sai Ritvik Tanksalkar Sourag Cherupattamoolayil Aravind Machiry | 2024 | |
Precision Guided Approach to Mitigate Data Poisoning Attacks in Federated Learning | arXiv preprint arXiv:2404.04139 | K Naveen Kumar C Krishna Mohan Aravind Machiry | 2024/4/5 |
On the effectiveness of Large Language Models for GitHub Workflows | arXiv preprint arXiv:2403.12446 | Xinyu Zhang Siddharth Muralee Sourag Cherupattamoolayil Aravind Machiry | 2024/3/19 |
Towards rehosting embedded applications as linux applications | Jayashree Srinivasan Sai Ritvik Tanksalkar Paschal C Amusuo James C Davis Aravind Machiry | 2023/6/27 | |
Rust for Embedded Systems: Current State, Challenges and Open Problems | arXiv preprint arXiv:2311.05063 | Ayushi Sharma Shashank Sharma Santiago Torres-Arias Aravind Machiry | 2023/11/8 |
Towards automated identification of layering violations in embedded applications (wip) | Mingjie Shen James C Davis Aravind Machiry | 2023/6/13 | |
An Empirical Study on the Use of Static Analysis Tools in Open Source Embedded Software | arXiv preprint arXiv:2310.00205 | Mingjie Shen Akul Pillai Brian A Yuan James C Davis Aravind Machiry | 2023/9/30 |
Teezz: Fuzzing trusted applications on cots android devices | Marcel Busch Aravind Machiry Chad Spensky Giovanni Vigna Christopher Kruegel | 2023/5/21 | |
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 | 2023/9/11 | |
Checkedcbox: Type directed program partitioning with checked c for incremental spatial memory safety | arXiv preprint arXiv:2302.01811 | Liyi Li Arunkumar Bhattar Le Chang Mingwei Zhu Aravind Machiry | 2023/2/3 |
{ARGUS}: A Framework for Staged Static Taint Analysis of {GitHub} Workflows and Actions | Siddharth Muralee Igibek Koishybayev Aleksandr Nahapetyan Greg Tystahl Brad Reaves | 2023 | |
Security properties of virtual remotes and SPOOKing their violations | Joshua David Oetting Majors Edgardo Barsallo Yi Amiya Maji Darren Wu Saurabh Bagchi | 2023/7/10 | |
Cornucopia: A Framework for Feedback Guided Generation of Binaries | Vidush Singhal Akul Abhilash Pillai Charitha Saumya Milind Kulkarni Aravind Machiry | 2022/10/10 | |
Hybrid pruning: Towards precise pointer and taint analysis | Dipanjan Das Priyanka Bose Aravind Machiry Sebastiano Mariani Yan Shoshitaishvili | 2022/6/24 | |
Pacjam: Securing dependencies continuously via package-oriented debloating | Pardis Pashakhanloo Aravind Machiry Hyonyoung Choi Anthony Canino Kihong Heo | 2022/5/30 | |
C to Checked C by 3C | Proceedings of the ACM on Programming Languages | Aravind Machiry John Kastner Matt McCutchen Aaron Eline Kyle Headley | 2022/4/29 |
Characterizing the security of github {CI} workflows | Igibek Koishybayev Aleksandr Nahapetyan Raima Zachariah Siddharth Muralee Bradley Reaves | 2022 | |
Bran: Reduce vulnerability search space in large open source repositories by learning bug symptoms | Dongyu Meng Michele Guerriero Aravind Machiry Hojjat Aghakhani Priyanka Bose | 2021/5/24 | |
Tarnhelm: Isolated, Transparent & Confidential Execution of Arbitrary Code in ARM's TrustZone | Davide Quarta Michele Ianni Aravind Machiry Yanick Fratantonio Eric Gustafson | 2021/11/19 | |
Arbitrar: User-guided api misuse detection | Ziyang Li Aravind Machiry Binghong Chen Mayur Naik Ke Wang | 2021/5/24 |