Shoichi Hirose, Kazuhiko Minematsu. A Formal Treatment of Envelope Encryption. In Jongsung Kim, Jungsoo Park, Wai-Kong Lee, editors, Information Security and Cryptology - ICISC 2024 - 27th International Conference, Seoul, South Korea, November 20-22, 2024, Revised Selected Papers. Volume 15596 of Lecture Notes in Computer Science, pages 96-110, Springer, 2024. [doi]
Abstract is missing.