logo Introduction Passive Soundness Adaptive Soundness Selective Decryption Conclusion Adaptive Security of Symbolic Encryption: the Case of Dynamic Corruptions. Laurent Mazaré Joint work with Bogdan Warinschi LSV - ENS Cachan Formacrypt Metting, January 2007 L. Mazaré Adaptive Security with Dynamic Corruptions 1/20
- symbolic model
- decryption conclusion
- mazaré adaptive
- introduction passive
- computational security
- adaptive adversaries
- soundness selective
- soundness adaptive