Aravind Machiry

Hi, I'm Aravind Machiry (a.k.a donfos) and I want to make Smart devices the most secure entities.


  • Our paper on Analysis of Embedded Firmware through Automated Re-hosting got accepted at RAID 2019.
  • Our paper on Static Binary Debloating through Abstract Interpretation got accepted at DIMVA 2019.
  • Our paper on Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools got accepted at NDSS BAR 2019.
  • Our paper on Using Loops for Malware Classification got accepted at ACSAC 2018.
  • Awarded 2018-19 Graduate Division Dissertation Fellowship. Thank You UCSB.

My advisors Prof. Christopher Kruegel and Prof. Giovanni Vigna guide me towards my goal. I am a Fourth year PhD student at University of California, Santa Barbara. Currently, I am working on applying static/dynamic program analysis and fuzzing to improve the security of various components (Operating system, Trusted Execution Environment, etc) of the Smartphone. I am also interested in identifying and improving the weaknesses of static program analysis.

If you want to know more about my research, discuss problems related to the system security or program analysis, or need a workout partner for your CrossFit WoD, do not hesitate to contact me :)