Túlio Cicero Salvaro de Souza

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Jean Everson Martina, Túlio Cicero Salvaro de Souza, Ricardo Felipe Custódio
Ceremonies Formal Analysis in PKI's Context. CSE (3) (2009)
Túlio Cicero Salvaro de Souza, Jean Everson Martina, Ricardo Felipe Custódio
Audit and backup procedures for hardware security modules. IDtrust (2008)
Jean Everson Martina, Túlio Cicero Salvaro de Souza, Ricardo Felipe Custódio
OpenHSM: An Open Key Life Cycle Protocol for Public Key Infrastructure's Hardware Security Modules. EuroPKI (2007)