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 (9)

  • Lucas Martins

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

  • Roberto Gallo

    Roberto Gallo

  • Ricardo Custodio

    Ricardo Custodio

  • Jean Martina

    Jean MartinaUniversity of Hertfordshire

  • Jeandré Sutil

    Jeandré Sutil

  • Felipe Carlos Werlang

    Felipe Carlos WerlangLabSEC - Laboratório de Segurança em Computação - INE/UFSC

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)
  • 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)