안전한 동형 분석을 위한 검증 가능한 인코딩

동형 암호를 이용한 계산 결과의 무결성을 검증할 수 있는 두 가지 새로운 인코딩 기법을 제안한다. 이를 통해 기존 동형 암호 기반 애플리케이션의 계산 무결성을 보장할 수 있다.