○ 기술명 : 신뢰연산환경(Trusted Execution Environment)를 위한 하드웨어 모듈  

○ 기술 설명 

하드웨어 기반의 신뢰연산환경이 상용화 되어 사용되고 있음. 대표적인 예로 Intel SGX, ARM TrustZone, AMD SEV가 있음. 기존 상용 기술들은 신뢰연산환경이 제공하는 속성에 대한 명확한 수학적 정의가 없고 실제 사용을 위해서는 소프트웨어를 많이 수정해야하는 문제가 있음. Verifiable Computation의 개념을 적용하여 completeness와 soundness를 보장하고 MMU를 이용하여 기존 소프트웨어의 수정 없이 신뢰연산환경에서 실행 될 수 있도록 구현함. 오픈 소스 프로세서 RISC-V를 수정하여 구현되었고 FPGA에서 동작 검증 됨

○ 담당연구실 : 하드웨어보안연구실 (02-3290-4998)  

○ 담당자 :  이중희 교수(j_lee@korea.ac.kr), 이대현 연구원(msms1009@korea.ac.kr)