// Security Researcher · Malware Analyst · PhD Candidate



I am a doctoral student at Columbia University, dabbling in systems security research across two labs, CASTL and IDS.

I am very fortunate to be advised by Simha Sethumadhavan and Salvatore Stolfo.

Apart from doing research, I partake in marathons, wing chun, scuba diving and CTFs.



I am broadly interested in all aspects of systems and software security. Exploring security as a full-system property, my research examines both attack and defensive techniques at the hardware-software interfaces of commodity systems.




18 Sep 2015 - Solving for Hashes in Flare-On #5
. reversing .

Previous post uses concolic testing to explore and discover the path that leads to the correct answer. This post demonstrates the discovery of the correct password by solving symbolic constraints on hashes.

View more posts



Department of Computer Science
Columbia University

atang [at] cs.columbia.edu

PGP key