Túlio de Souza

  • MSc
  • Other
  • University of Oxford
  • Computer Science

Research Interests

PKI cryptography voting schemes federation HSM ceremonies security protocols

Followers (9)

  • Lucas Martins

    Lucas Martins LabSEC - Laboratório de Segurança em Computação - INE/UFSC

  • Roberto Gallo

    Roberto Gallo

  • Ricardo Custodio

    Ricardo Custodio

  • Jean Martina

    Jean Martina University of Hertfordshire

  • Jeandré Sutil

    Jeandré Sutil

Explore network

Following (9)

Explore network

Publications

Ceremonies Design for PKI’s Hardware Security Modules

Martina J, De Souza T, Custódio R

9th Brazilian Symposium on Information and Computer System Security (2009)

  • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.

Ceremonies Formal Analysis in PKI’s Context

Martina J, De Souza T, Custódio R

Computational Science and Engineering, IEEE International Conference on (2009)

  • Get full text at journal
  • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.

Audit and backup procedures for hardware security modules

De Souza T, Martina J, Custódio R

Proceedings of the 7th symposium on Identity and trust on the Internet - IDtrust '08 (2008)

  • Get full text at journal
  • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.

OpenHSM: An Open key life cycle protocol for Public Key Infrastructure’s Hardware Security Modules

Martina J, De Souza T, Custódio R

Fourth European PKI Workshop: Theory and Practice (EuroPKI´07) (2007)

  • Get full text at journal
  • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.

Professional experience

Software Engineer

Avanti Communications Ltd

May 2007 - January 2010 (2 years 8 months)

Education history

University of Oxford

D.Phil in Computer Science

January 2010 - Present

Federal University of Santa Catarina

MSc in Computer Science

March 2006 - August 2008 (2 years 5 months)

Federal University of Santa Catarina

BSc in Information Systems

March 2001 - August 2005 (4 years 5 months)