Cryptology and network security : 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22, 2013, Proceedings (2013)