Joined Tsinghua University as a postdoctoral researcher in the Software System Security Assurance Group.