Jean Everson Martina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
12
Active years
2012–2025
Best venue rank
B
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AINA | Enhanced SIM Swap Security Practices via Ceremony Modeling. | Larissa Gremelmaier Rosa, Gustavo Zambonin, Jean Everson Martina |
| 2024 | AINA | SovereignRx: An Electronic Prescription System Based on High Privacy, Blockchain, and Self-Sovereign Identity. | Maurcio de Vasconcelos Barros, Jean Everson Martina |
| 2020 | ACNS | Bitcoin Blockchain Steganographic Analysis. | Alexandre Augusto Giron, Jean Everson Martina, Ricardo Felipe Custdio |
| 2020 | ISI | Fraud Prevention Within the Brazilian Governmental Public-Key Infrastructure. | Fernanda Oliveira Gomes, Bruno Machado Agostinho, Jean Everson Martina |
| 2020 | PDP | 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 |
| 2019 | DocEng | 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 |
| 2019 | ICISS | A Transparent and Privacy-Aware Approach Using Smart Contracts for Car Insurance Reward Programs. | Lucas M. Palma, Fernanda Oliveira Gomes, Martn Augusto Gagliotti Vigil, Jean Everson Martina |
| 2018 | ISCC | Tuning the Winternitz hash-based digital signature scheme. | Lucas Pandolfo Perin, Gustavo Zambonin, Douglas Marcelino Beppler Martins, Ricardo Felipe Custdio, Jean Everson Martina |
| 2018 | ISI | Privacy Preserving on Trajectories Created by Wi-Fi Connections in a University Campus. | Fernanda Oliveira Gomes, Douglas Simes Silva, Bruno Machado Agostinho, Jean Everson Martina |
| 2017 | ESORICS | Private Verification of Access on Medical Data: An Initial Study. | Thas Bardini Idalino, Dayana Spagnuelo, Jean Everson Martina |
| 2016 | ICISS | Formal Verification of a Cross-Layer, Trustful Space-Time Protocol for Wireless Sensor Networks. | Douglas Simes Silva, Davi Resner, Rick Lopes de Souza, Jean Everson Martina |
| 2013 | ISORC | A cross-layer approach to trustfulness in the Internet of Things. | Antnio Augusto Frhlich, Alexandre Massayuki Okazaki, Rodrigo Vieira Steiner, Peterson Oliveira, Jean Everson Martina |
| 2013 | SAC | An updated threat model for security ceremonies. | Marcelo Carlomagno Carlos, Jean Everson Martina, Geraint Price, Ricardo Felipe Custdio |
| 2013 | SAC | Verifying multicast-based security protocols using the inductive method. | Jean Everson Martina, Lawrence C. Paulson |
| 2012 | TrustCom | Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers. | Eduardo dos Santos, Jean Everson Martina, Ricardo Felipe Custdio |
| 2012 | SECRYPT | A Proposed Framework for Analysing Security Ceremonies. | Marcelo Carlomagno Carlos, Jean Everson Martina, Geraint Price, Ricardo Felipe Custdio |