2025.6.16: Online! 2025.1.7 : Hi! =============== Page 213: The semi-honest security is good enough for this kind of adversary (curious party who participates in an interactive algorithm with another party but honestly adheres to its protocol) if rewinding is allowed. Using rewinding, we will know what ic the adversary is going to choose before simulation.