Experience
Education
Bio
My research interest is system security, trusted execution environment, computer architecture, and formal verification.