Hello there, I am Chinmay! I am a first second Third year Ph.D. student working with Prof. Michael Franz at the Secure Systems and Software Lab at UC Irvine.
My primary research interests lie broadly in the area of security and compilers. I specifically enjoy working on topics relating to reverse engineering, software exploitation, and program analysis automation.
I am working on improving state-of-the-art in binary lifting, and recompilation using static and dynamic approaches. More recently, I am also exploring the use of statistical approaches to solve problems in binary analysis and thinking of ways to tackle the correctness and safety concerns atttributed to them.
Summer 2021: This summer I interned with the Automated Reasoning Group at Amazon Web Services. I worked with the Kani Verifier (then RMC) team on research and development of a Verification-friendly Vector Stub for the Rust Standard Library. You can find more about the project here.
Summer 2020: I was an intern with the folks over at Vector35 during the Summer of ‘20. I worked on User-Informed Dataflow for BinaryNinja. You can read more about it here. What an amazing experience it was!
2021:
After graduating in 2017 from NITK with a Bachelor’s Degree, I spent a couple of years working as a Security Researcher for ATD, McAfee’s Windows Sandboxing solution.
I grew up in Mumbai, India enjoying (torrential) rains and playing Cricket. I am extremely passionate about music. My interests are varied and range from Classical 80s Bollywood to Melodic Death Metal. I try to (unsuccessfully) play the guitar sometimes. I also love Dota2 and have spent countless hours flaming n00bs and smashing my keyboard in rage. Despite knowing that it is “just a game”, I continue to do so.
My resume can be found here. I am always up for an interesting discussion! Mail me to get in touch.