OpenHSM: An Open Key Life Cycle Protocol for Public Key Infrastructure's Hardware Security Modules. - Jean Everson Martina; Túlio Cicero Salvaro de Souza; Ricardo Felipe Custódio (EuroPKI, 2007)

Audit and backup procedures for hardware security modules. - Túlio Cicero Salvaro de Souza; Jean Everson Martina; Ricardo Felipe Custódio (IDtrust, 2008)

Ceremonies Formal Analysis in PKI's Context. - Jean Everson Martina; Túlio Cicero Salvaro de Souza; Ricardo Felipe Custódio (CSE (3), 2009)