Baojian HuaUSTC-Yale joint research center for high confidence software (HCS)email: bjhua - ustc.edu.cn ResearchMy research topics center around the interactions between programming language technology and computer security. Recently, I'm studying two specific problems:
Recent PapersSome are available on the HCS publication page. |