Before starting my PhD, as part of the Computer Security Lab, I mainly worked in the reference implementation and technical specifications of the Brazilian Digital Signature Standard.

• [Jan/2020–Feb/2024] Technical lead and researcher

  Supervised research and development efforts to add support for quantum-safe cryptography, JAdES and trusted lists to current standards, as well as further development of desktop, web and mobile tools used in the Brazilian Public-Key Infrastructure (ICP-Brasil) to generate and validate digital signatures.
• [Jan/2018–Dec/2019] Software developer and systems administrator

  Led a major development effort towards modernizing the official digital signature validation tool of ICP-Brasil, that resulted in a responsive new web interface, an API that enables headless/batch signature validation, enforced automated unit testing and continuous deployment practices.
• [Nov/2016–Dec/2017] Junior software developer

  Developed a proof-of-concept signature validation module for PDF.js and a small library able to easily customize and instantiate most artifacts in a public-key infrastructure.
• [May/2016–Oct/2016] Junior software developer

  Implemented support for CMS signatures (attached, detached or embedded in PDFs) in the official digital signature validation tool of ICP-Brasil.

Some details about my consulting work are given below.

• [Apr/2024–Today] Consultant on digital signatures

  In partnership with the National Operator of the Civil Registry of Brazil. I design and develop solutions to enhance digital signature adoption in civil registration and notary public processes.
• [Sep/2022–Mar/2023] Consultant on trusted lists

  In partnership with the Electronic Government Network of Latin America and the Caribbean (Red Gealc). Developed tools to assist the usage of digital signatures in cross-border operations via trusted lists, pursuant to ETSI standards. 🔗 🔗 🔗
• [Jan/2022–Mar/2022] Consultant on digital signature standards

  In partnership with private companies. Developed a tool to validate digital diplomas, and accompanying files, according to the standards maintained by the Ministry of Education of Brazil.
• [Dec/2020–Mar/2021] Computer forensic examiner

  In partnership with an intelligent transportation systems company. Processed a complex dataset with native GNU/Linux tools and used statistical techniques to verify the accuracy of the classification of pictures taken by speed enforcement cameras.
• [Oct/2018–Nov/2020] Security ceremony agent

  In partnership with several Brazilian public institutions. Provisioned secure servers to run online elections through the end-to-end verifiable voting system Helios, with reduced need for human-computer interaction.
• [Sep/2018–Mar/2019] Researcher of quantum-safe blockchain protocols

  In partnership with a novel blockchain platform. Co-developed a protocol to quantum-proof a blockchain, with secure substitution of wallets, replacement of cryptographic algorithms and zero downtime for the platform.
• [Sep/2017–Apr/2018] Computer forensic examiner

  In partnership with an intelligent transportation systems company. Built a time series from various evidence sources forming a complex dataset, used to ascertain the authenticity and accuracy of pictures taken by speed enforcement cameras.