Skip to content

Túlio de Souza

  • MSc
  • University of Oxford
  • 4PublicationsNumber of items in Túlio's My Publications folder on Mendeley.
  • 10Followers

Research interests

security protocolsceremoniesHSMfederationvoting schemescryptographyPKI

Followers (10)

Explore network

Following (9)

Explore network

Recent publications

  • Ceremonies Design for PKI’s Hardware Security Modules

    • Martina J
    • De Souza T
    • Custódio R
    N/AReaders
    N/ACitations
  • Ceremonies Formal Analysis in PKI’s Context

    • Martina J
    • De Souza T
    • Custódio R
    N/AReaders
    N/ACitations
    Get full text

Professional experience

Software Engineer

Avanti Communications Ltd

May 2007 - January 2010(3 years)

Education

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)