Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation

Taypsi는 사용자가 제공한 개인 정보 보호 정책을 정적으로 시행하여 MPC 응용 프로그램의 성능을 획기적으로 향상시키는 새로운 MPC 언어입니다.