Skip to content

Túlio de Souza

  • MSc
  • University of Oxford
  • 0ReadersNumber of instances of Túlio's publications in Mendeley libraries. Updated daily.
  • 4PublicationsNumber of items in this person’s My Publications folder on Mendeley.

Research interests

security protocolsceremoniesHSMfederationvoting schemescryptographyPKI

Followers (10)

Explore network

Following (9)

Explore network

Publications (4)

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)
  • n/a

    Readers

  • n/a

    Citations

Ceremonies Formal Analysis in PKI’s Context

  • Martina J
  • De Souza T
  • Custódio R
Computational Science and Engineering, IEEE International Conference on (2009)
  • n/a

    Readers

  • n/a

    Citations

Full text

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)
  • n/a

    Readers

  • n/a

    Citations

Full text

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)
  • n/a

    Readers

  • n/a

    Citations

Full text

Professional experience

Software Engineer

Avanti Communications Ltd

May 2007 - January 2010(3 years)

Education history

D.Phil in Computer Science

University of Oxford

January 2010 - Present

MSc in Computer Science

Federal University of Santa Catarina

March 2006 - August 2008(2 years)

BSc in Information Systems

Federal University of Santa Catarina

March 2001 - August 2005(4 years)