Rufino, Vilc, and Routo Terada. " Correção de Deficiências no Acordo de Chaves de Mandt." Proceedings of the 9th Brazilian Symposium on Information and Computational Systems Security, Campinas, 2009. SBC, 2009, pp.101-114.