Qian Feng is currently working at Baidu USA as a security researcher. She obtained her PhD degree in Computer Engineering from Syracuse University in 2017. Her research focuses on program analysis, memory forensics, machine learning, and reverse engineering. Her works have been published at mainstream security conferences such as CCS, ACSAC and ASIACCS. She has received the best paper candidates at ACM Asia Conference on Computer and Communications Security in 2016, and the student travel grant for the Annual Computer Security Applications Conference in 2014. Currently, her research topics include practical formal verification, side-channel detection, and vulnerability detection.