Progress in Cryptology -- AFRICACRYPT 2013 nidottuEnglanti, 2013