OpenHSM: An Open Key Life Cycle Protocol for Public Key Infrastructure's Hardware Security Modules. - Jean Everson Martina; Túlio Cicero Salvaro de Souza; Ricardo Felipe Custódio (EuroPKI, 2007)

Audit and backup procedures for hardware security modules. - Túlio Cicero Salvaro de Souza; Jean Everson Martina; Ricardo Felipe Custódio (IDtrust, 2008)

Ceremonies Formal Analysis in PKI's Context. - Jean Everson Martina; Túlio Cicero Salvaro de Souza; Ricardo Felipe Custódio (CSE (3), 2009)

Economics Applied to Information Security: The Brazilian Electronic Bill of Sale Case. - Thiago Souza Araujo; Jean Everson Martina (Web Intelligence/IAT Workshops, 2009)

Verification of security protocols based on multicast communication. - Jean Everson Martina (2011)

A Proposed Framework for Analysing Security Ceremonies. - Marcelo Carlomagno Carlos; Jean Everson Martina; Geraint Price; Ricardo Felipe Custódio (SECRYPT, 2012)

Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers. - Eduardo dos Santos; Jean Everson Martina; Ricardo Felipe Custódio (TrustCom, 2012)

A cross-layer approach to trustfulness in the Internet of Things. - Antônio Augusto Fröhlich; Alexandre Massayuki Okazaki; Rodrigo Vieira Steiner; Peterson Oliveira; Jean Everson Martina (ISORC, 2013)

An updated threat model for security ceremonies. - Marcelo Carlomagno Carlos; Jean Everson Martina; Geraint Price; Ricardo Felipe Custódio (SAC, 2013)

Verifying multicast-based security protocols using the inductive method. - Jean Everson Martina; Lawrence C. Paulson (SAC, 2013)

The Ever Changing Threat Model: A Social-Technical Perspective. - Jean Everson Martina (STAST, 2013)

A Proposal for a Unified Identity Card for Use in an Academic Federation Environment. - Felipe Coral Sasso; Ricardo Alexandre Reinaldo De Moraes; Jean Everson Martina (ARES, 2014)

Modelling User Devices in Security Ceremonies. - Taciane Martimiano; Jean Everson Martina; Maina M. Olembo; Marcelo Carlomagno Carlos (STAST, 2014)

An adaptive threat model for security ceremonies. - Jean Everson Martina; Eduardo dos Santos; Marcelo Carlomagno Carlos; Geraint Price; Ricardo Felipe Custódio (Int. J. Inf. Sec., 2015)

Automated Issuance of Digital Certificates through the Use of Federations. - Thaís Bardini Idalino; Marina Coelho; Jean Everson Martina (ARES, 2016)

Threat Modelling Service Security as a Security Ceremony. - Taciane Martimiano; Jean Everson Martina (ARES, 2016)

Formal Verification of a Cross-Layer, Trustful Space-Time Protocol for Wireless Sensor Networks. - Douglas Simões Silva; Davi Resner; Rick Lopes de Souza; Jean Everson Martina (ICISS, 2016)

SORTIA 2.0:Um jogo de ordenação para o ensino de Estrutura de Dados [SORTIA 2.0: A sorting game for data structure teaching]. - Paulo Eduardo Battistella; Giani Petri; Christiane Gresse von Wangenheim; Aldo von Wangenheim; Jean Everson Martina (SBSI, 2016)

Private Verification of Access on Medical Data: An Initial Study. - Thaís Bardini Idalino; Dayana Spagnuelo; Jean Everson Martina (DPM/CBT@ESORICS, 2017)

Design and Large-scale Evaluation of Educational Games for Teaching Sorting Algorithms. - Paulo Eduardo Battistella; Christiane Gresse von Wangenheim; Jean Everson Martina (Informatics Educ., 2017)

Tuning the Winternitz hash-based digital signature scheme. - Lucas Pandolfo Perin; Gustavo Zambonin; Douglas Marcelino Beppler Martins; Ricardo Felipe Custódio; Jean Everson Martina (ISCC, 2018)

Privacy Preserving on Trajectories Created by Wi-Fi Connections in a University Campus. - Fernanda Oliveira Gomes; Douglas Simões Silva; Bruno Machado Agostinho; Jean Everson Martina (ISI, 2018)

Daemones Non Operantur Nisi Per Artem - Daemons Do Not Operate Save Through Trickery: Human Tailored Threat Models for Formal Verification of Fail-Safe Security Ceremonies. - Taciane Martimiano; Jean Everson Martina (Security Protocols Workshop, 2018)

Daemones Non Operantur Nisi Per Artem - Daemons Do Not Operate Save Through Trickery: Human Tailored Threat Models for Formal Verification of Fail-Safe Security Ceremonies (Transcript of Discussion). - Jean Everson Martina (Security Protocols Workshop, 2018)

Digital Degree Certificates for Higher Education in Brazil: A Technical Policy Specification. - Cristiane Dias Lepiane; Fernando Lauro Pereira; Giovani Pieri; Douglas Marcelino Beppler Martins; Jean Everson Martina; Mauro Luiz Rabelo (DocEng, 2019)

A Transparent and Privacy-Aware Approach Using Smart Contracts for Car Insurance Reward Programs. - Lucas M. Palma; Fernanda Oliveira Gomes; Martín A. Gagliotti Vigil; Jean Everson Martina (ICISS, 2019)

Blockchain and smart contracts for higher education registry in Brazil. - Lucas M. Palma; Martín A. Gagliotti Vigil; Fernando Lauro Pereira; Jean Everson Martina (Int. J. Netw. Manag., 2019)

Bitcoin Blockchain Steganographic Analysis. - Alexandre Augusto Giron; Jean Everson Martina; Ricardo Felipe Custódio (ACNS Workshops, 2020)

SRVB cryptosystem: another attempt to revive Knapsack-based public-key encryption schemes. - Yuri da Silva Villas Boas; Daniel Santana Rocha; Charles F. de Barros; Jean Everson Martina (ICT, 2020)

Fraud Prevention Within the Brazilian Governmental Public-Key Infrastructure. - Fernanda Oliveira Gomes; Bruno Machado Agostinho; Jean Everson Martina (ISI, 2020)

F2MH Cryptosystem: Preliminary analysis of an original attempt to revive Knapsack-based public-key encryption schemes. - Yuri da Silva Villas Boas; Daniel Santana Rocha; Charles F. de Barros; Jean Everson Martina (PDP, 2020)

Document Validation using Blockchain: A validation scheme for natural persons documents. - João Vicente Meyer; Lucas Machado da Palma; Jean Everson Martina (SBRC Companion, 2020)

Accurate and decentralized timestamping using smart contracts on the Ethereum blockchain. - Gabriel Estevam; Lucas M. Palma; Luan R. Silva; Jean Everson Martina; Martín Vigil (Inf. Process. Manag., 2021)

Steganographic Analysis of Blockchains. - Alexandre Augusto Giron; Jean Everson Martina; Ricardo Felipe Custódio (Sensors, 2021)

Blockchain Privacy and Scalability in a Decentralized Validated Energy Trading Context with Hyperledger Fabric. - Johann Westphall; Jean Everson Martina (Sensors, 2022)

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. - Wesley dos Reis Bezerra; Jean Everson Martina; Carlos Becker Westphall (Sensors, 2023)

SovereignRx: An Electronic Prescription System Based on High Privacy, Blockchain, and Self-Sovereign Identity. - Maurício de Vasconcelos Barros; Jean Everson Martina (AINA (4), 2024)

TrajectGuard: A Comprehensive Privacy-Risk Framework for Multiple-Aspects Trajectories. - Fernanda Oliveira Gomes; Roberto Pellungrini; Anna Monreale; Chiara Renso; Jean Everson Martina (IEEE Access, 2024)

The Digital Degree Certification Revolution in Brazil and Beyond. - Antônio Carlos Mariani; Lucas Machado da Palma; Jean Everson Martina (Commun. ACM, 2024)

Enhanced SIM Swap Security Practices via Ceremony Modeling. - Larissa Gremelmaier Rosa; Gustavo Zambonin; Jean Everson Martina (AINA (5), 2025)

Digital Medication Prescription System with JSON. - Liverson Paulo Furtado Severo; Jean Everson Martina (BIOSTEC (2): HEALTHINF, 2025)

Digital Prescription and Dispensation of Medications. - Liverson Paulo Furtado Severo; Jean Everson Martina (SBSI, 2025)

Forwarding Metrology with an IoT and Blockchain Approach: The Gas Pumps Use Case. - Gabriel Estevam; Pedro Henrique de Sena Trombini Taglialenha; Luis Felipe Fabiane; Thaís Bardini Idalino; Martín A. Gagliotti Vigil; Jean Everson Martina (J. Internet Serv. Appl., 2025)