양자 메모리 제한 모델에서 정보 이론적 안전성을 가진 비대화형 기능 암호화 체계를 제안하고, 이에 대한 최적성을 증명하였다. 또한 계산적 메모리 제한 모델에서 기능 암호화 및 회색 상자 난독화에 대한 결과를 제시하였다.
