The research projects in CSSLAB spans from software and hardware system design problems through automatic program analysis and transformation techniques, aiming at securing a variety of computer systems. Being a research group newly establishes very recently, we work on state-of-the-art problems such as secure remote executions or automatic vulnerability finding together. You will deepen your understandings of computer systems once you join us to find and fix interesting and critical security problems.