Cryptology and Network Security : 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22, 2013, Proceedings - Michel Abdalla, Cristina Nita-Rotaru, Ricardo Dahab ((Lecture Notes in Computer Science))