Binary lifting, which is to translate a binary executable to a high-level intermediate
representation, is a primary step in binary analysis. Despite its importance, there are only …

Validating the correctness of binary lifters is pivotal to gain trust in binary analysis, especially
when used in scenarios where correctness is important. Existing approaches focus on …

Current binary analysis research focuses mainly on the back-end, but not on the front-end.
However, we note that there are several key design points in the front-end that can greatly …

Approaches for the automatic analysis of security policies on source code level cannot
trivially be applied to binaries. This is due to the lacking high-level semantics of low-level …

Many privilege escalation exploits on Linux abuse vulnerable system calls to threaten the
system's security. Therefore, various static and dynamic analysis based seccomp policy …

는 상황을 생각해보자. 이러한 소안의 위협은 더이상 영화 속 상상이 아닌현실이라 말할 수
있다. 하지만, 소프트웨어 보안에 있어서의 핵심 기 '바이너리 분석” 이라는 것을 인식하고 있는 …

In this work, we explore novel virtualization-assisted techniques to further enhance their
capacity with regard to security. Specifically, we position our research around two main …

Confidential software is an important requirement for the ongoing digitalization. Yet, since
confidentiality is a program-wide property, this requirement is at odds with modern software …