Registered user since Mon 23 Sep 2024
Name:Aravind Machiry
Bio:
I am interested in designing principled yet practical solutions to system security problems. I work on the problems of vulnerability detection, prevention, and mechanisms for developing secure systems. My solutions have a flavor of static/dynamic program analysis, fuzzing, type systems, language-based techniques, machine learning, or a combination of the above.
Country:United States
Affiliation:Purdue University
Personal website: https://machiry.github.io/
X (Twitter): https://x.com/machiry_msidc
GitHub: https://github.com/machiry
Research interests:Software Security, Embedded Systems, Program Analysis, Fuzzing
Contributions
Using general profile