Os códigos da apresentação da Jornada Científica de Criptografia de 2013