Túlio de Souza MSc

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

Stats

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)