Read (2024-11) Impossibility Results for Post-Compromise Security in Real-World Communication Systems. Good paper overall, proving an intuitive result, using model-checking in Tamarin. I would have preferred a direct proof over this method.
Read (2024-11) Impossibility Results for Post-Compromise Security in Real-World Communication Systems. Good paper overall, proving an intuitive result, using model-checking in Tamarin. I would have preferred a direct proof over this method.