이론적으로는 검증되었으나 실제로는 결함이 있는: 암호화 모델의 가정 격차

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model