Introduction Passive Soundness Adaptive Soundness Selective Decryption Conclusion

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