Túlio Cicero Salvaro de Souza

According to our database, Túlio Cicero Salvaro de Souza authored at least 3 papers between 2007 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Ceremonies Formal Analysis in PKI's Context.

Jean Everson Martina, Túlio Cicero Salvaro de Souza, Ricardo Felipe Custódio

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008

Audit and backup procedures for hardware security modules.

Túlio Cicero Salvaro de Souza, Jean Everson Martina, Ricardo Felipe Custódio

Proceedings of the IDtrust 2008, 2008

2007

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

Proceedings of the Public Key Infrastructure, 2007