Year

Venue

Title

2025

conf/ndss

VeriBin: Adaptive Verification of Patches at the Binary Level.

Hongwei Wu Jianliang Wu Ruoyu Wu Ayushi Sharma Aravind Machiry Antonio Bianchi

2025

conf/ndss

FUZZUER: Enabling Fuzzing of UEFI Interfaces on EDK-2.

Connor Glosner Aravind Machiry

2024

conf/ccs

Rust for Embedded Systems: Current State and Open Problems.

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

2024

conf/uss

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

2024

conf/iciss

Insights from Running 24 Static Analysis Tools on Open Source Software Repositories.

Fabiha Hashmat Zeyad Alwaleed Aljaali Mingjie Shen Aravind Machiry

2024

conf/asiaccs

Fuzzing API Error Handling Behaviors using Coverage Guided Fault Injection.

Shashank Sharma Sai Ritvik Tanksalkar Sourag Cherupattamoolayil Aravind Machiry

2023

conf/uss

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

2023

conf/sp

TEEzz: Fuzzing Trusted Applications on COTS Android Devices.

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

2023

conf/asiaccs

Security Properties of Virtual Remotes and SPOOKing their violations.

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

2023

conf/dsn

Towards Rehosting Embedded Applications as Linux Applications.

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

2022

conf/uss

Characterizing the Security of Github CI Workflows.

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

2022

conf/asiaccs

PacJam: Securing Dependencies Continuously via Package-Oriented Debloating.

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

2021

conf/ccs

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

2021

conf/sp

ARBITRAR: User-Guided API Misuse Detection.

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

2021

conf/sp

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

2021

conf/asiaccs

Conware: Automated Modeling of Hardware Peripherals.

Chad Spensky Aravind Machiry Nilo Redini Colin Unger Graham Foster Evan Blasband Hamed Okhravi Christopher Kruegel Giovanni Vigna

2021

conf/asiaccs

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

2021

conf/dsn

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

2021

conf/wisec

Toward a secure crowdsourced location tracking system.

Chinmay Garg Aravind Machiry Andrea Continella Christopher Kruegel Giovanni Vigna

2020

conf/sp

SPIDER: Enabling Fast Patch Propagation In Related Software Repositories.

Aravind Machiry Nilo Redini Eric Camellini Christopher Kruegel Giovanni Vigna

2020

conf/sp

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

2020

conf/cns

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

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

2020

conf/cns

Exploring Abstraction Functions in Fuzzing.

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

2018

conf/sp

Detecting Deceptive Reviews Using Generative Adversarial Networks.

Hojjat Aghakhani Aravind Machiry Shirin Nilizadeh Christopher Kruegel Giovanni Vigna

2018

conf/ndss

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

2018

conf/acsac

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

2017

conf/ccs

DIFUZE: Interface Aware Fuzzing for Kernel Drivers.

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

2017

conf/uss

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

2017

conf/uss

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

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

2017

conf/ndss

Ramblr: Making Reassembly Great Again.

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

2017

conf/ndss

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