Túlio de Souza MSc

Software Engineer

University of Oxford

Location
Oxford, United Kingdom
Discipline
Computer and Information Science
Interests
PKI, cryptography, voting schemes, federation, HSM, ceremonies, security protocols
More... Less...

  • 9 Followers

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)

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

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

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