default search action

combined dblp search
author search
venue search
publication search

ask others

Jean Everson Martina

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/GomesPMRM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/GomesPMRM24
Fernanda Oliveira Gomes, Roberto Pellungrini, Anna Monreale, Chiara Renso, Jean Everson Martina:
TrajectGuard: A Comprehensive Privacy-Risk Framework for Multiple-Aspects Trajectories. IEEE Access 12: 136354-136378 (2024)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/MarianiPM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/MarianiPM24
Antônio Carlos Mariani, Lucas Machado da Palma, Jean Everson Martina:
The Digital Degree Certification Revolution in Brazil and Beyond. Commun. ACM 67(8): 88-89 (2024)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/BarrosM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/BarrosM24
Maurício de Vasconcelos Barros, Jean Everson Martina:
SovereignRx: An Electronic Prescription System Based on High Privacy, Blockchain, and Self-Sovereign Identity. AINA (4) 2024: 372-383
2023
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/BezerraMW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/BezerraMW23
Wesley dos Reis Bezerra, Jean Everson Martina, Carlos Becker Westphall:
A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. Sensors 23(15): 6933 (2023)
2022
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/WestphallM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/WestphallM22
Johann Westphall, Jean Everson Martina:
Blockchain Privacy and Scalability in a Decentralized Validated Energy Trading Context with Hyperledger Fabric. Sensors 22(12): 4585 (2022)
2021
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ipm/EstevamPSMV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipm/EstevamPSMV21
Gabriel Estevam, Lucas M. Palma, Luan R. Silva, Jean Everson Martina, Martín Vigil:
Accurate and decentralized timestamping using smart contracts on the Ethereum blockchain. Inf. Process. Manag. 58(3): 102471 (2021)
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/GironMC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/GironMC21
Alexandre Augusto Giron, Jean Everson Martina, Ricardo Felipe Custódio:
Steganographic Analysis of Blockchains. Sensors 21(12): 4078 (2021)
2020
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/acns/GironMC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acns/GironMC20
Alexandre Augusto Giron, Jean Everson Martina, Ricardo Felipe Custódio:
Bitcoin Blockchain Steganographic Analysis. ACNS Workshops 2020: 41-57
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ict/BoasRBM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ict/BoasRBM20
Yuri da Silva Villas Boas, Daniel Santana Rocha, Charles F. de Barros, Jean Everson Martina:
SRVB cryptosystem: another attempt to revive Knapsack-based public-key encryption schemes. ICT 2020: 1-6
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/isi/GomesAM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isi/GomesAM20
Fernanda Oliveira Gomes, Bruno Machado Agostinho, Jean Everson Martina:
Fraud Prevention Within the Brazilian Governmental Public-Key Infrastructure. ISI 2020: 1-6
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/BoasRBM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/BoasRBM20
Yuri da Silva Villas Boas, Daniel Santana Rocha, Charles F. de Barros, Jean Everson Martina:
F2MH Cryptosystem: Preliminary analysis of an original attempt to revive Knapsack-based public-key encryption schemes. PDP 2020: 211-215
[c24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sbrc/MeyerPM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbrc/MeyerPM20
João Vicente Meyer, Lucas Machado da Palma, Jean Everson Martina:
Document Validation using Blockchain: A validation scheme for natural persons documents. SBRC Companion 2020: 249-256

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijnm/PalmaVPM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijnm/PalmaVPM19
Lucas M. Palma, Martín A. Gagliotti Vigil, Fernando Lauro Pereira, Jean Everson Martina:
Blockchain and smart contracts for higher education registry in Brazil. Int. J. Netw. Manag. 29(3) (2019)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/doceng/LepianePPMMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/doceng/LepianePPMMR19
Cristiane Dias Lepiane, Fernando Lauro Pereira, Giovani Pieri, Douglas Marcelino Beppler Martins, Jean Everson Martina, Mauro Luiz Rabelo:
Digital Degree Certificates for Higher Education in Brazil: A Technical Policy Specification. DocEng 2019: 7:1-7:10
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/PalmaGVM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/PalmaGVM19
Lucas M. Palma, Fernanda Oliveira Gomes, Martín A. Gagliotti Vigil, Jean Everson Martina:
A Transparent and Privacy-Aware Approach Using Smart Contracts for Car Insurance Reward Programs. ICISS 2019: 3-20
2018
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/PerinZMCM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/PerinZMCM18
Lucas Pandolfo Perin, Gustavo Zambonin, Douglas Marcelino Beppler Martins, Ricardo Felipe Custódio, Jean Everson Martina:
Tuning the Winternitz hash-based digital signature scheme. ISCC 2018: 537-542
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/isi/GomesSAM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isi/GomesSAM18
Fernanda Oliveira Gomes, Douglas Simões Silva, Bruno Machado Agostinho, Jean Everson Martina:
Privacy Preserving on Trajectories Created by Wi-Fi Connections in a University Campus. ISI 2018: 181-186
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/spw/MartimianoM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spw/MartimianoM18
Taciane Martimiano, Jean Everson Martina:
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. Security Protocols Workshop 2018: 96-105
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/spw/Martina18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spw/Martina18
Jean Everson Martina:
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). Security Protocols Workshop 2018: 106-113
2017
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iie/BattistellaWM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iie/BattistellaWM17
Paulo Eduardo Battistella, Christiane Gresse von Wangenheim, Jean Everson Martina:
Design and Large-scale Evaluation of Educational Games for Teaching Sorting Algorithms. Informatics Educ. 16(2): 141-164 (2017)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/IdalinoSM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/IdalinoSM17
Thaís Bardini Idalino, Dayana Spagnuelo, Jean Everson Martina:
Private Verification of Access on Medical Data: An Initial Study. DPM/CBT@ESORICS 2017: 86-103
2016
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/MartimianoM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/MartimianoM16
Taciane Martimiano, Jean Everson Martina:
Threat Modelling Service Security as a Security Ceremony. ARES 2016: 195-204
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/IdalinoCM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/IdalinoCM16
Thaís Bardini Idalino, Marina Coelho, Jean Everson Martina:
Automated Issuance of Digital Certificates through the Use of Federations. ARES 2016: 725-732
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/SilvaRSM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/SilvaRSM16
Douglas Simões Silva, Davi Resner, Rick Lopes de Souza, Jean Everson Martina:
Formal Verification of a Cross-Layer, Trustful Space-Time Protocol for Wireless Sensor Networks. ICISS 2016: 426-443
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sbsi/BattistellaPWWM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbsi/BattistellaPWWM16
Paulo Eduardo Battistella, Giani Petri, Christiane Gresse von Wangenheim, Aldo von Wangenheim, Jean Everson Martina:
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]. SBSI 2016: 558-565
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijisec/MartinaSCPC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijisec/MartinaSCPC15
Jean Everson Martina, Eduardo dos Santos, Marcelo Carlomagno Carlos, Geraint Price, Ricardo Felipe Custódio:
An adaptive threat model for security ceremonies. Int. J. Inf. Sec. 14(2): 103-121 (2015)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijisec/MartinaP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijisec/MartinaP15
Jean Everson Martina, Lawrence C. Paulson:
Verifying multicast-based security protocols using the inductive method. Int. J. Inf. Sec. 14(2): 187-204 (2015)
2014
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/SassoMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/SassoMM14
Felipe Coral Sasso, Ricardo Alexandre Reinaldo De Moraes, Jean Everson Martina:
A Proposal for a Unified Identity Card for Use in an Academic Federation Environment. ARES 2014: 265-272
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/stast/MartimianoMOC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stast/MartimianoMOC14
Taciane Martimiano, Jean Everson Martina, Maina M. Olembo, Marcelo Carlomagno Carlos:
Modelling User Devices in Security Ceremonies. STAST 2014: 16-23
2013
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/FrohlichOSOM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/FrohlichOSOM13
Antônio Augusto Fröhlich, Alexandre Massayuki Okazaki, Rodrigo Vieira Steiner, Peterson Oliveira, Jean Everson Martina:
A cross-layer approach to trustfulness in the Internet of Things. ISORC 2013: 1-8
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/MartinaP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/MartinaP13
Jean Everson Martina, Lawrence C. Paulson:
Verifying multicast-based security protocols using the inductive method. SAC 2013: 1824-1829
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/CarlosMPC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/CarlosMPC13
Marcelo Carlomagno Carlos, Jean Everson Martina, Geraint Price, Ricardo Felipe Custódio:
An updated threat model for security ceremonies. SAC 2013: 1836-1843
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/stast/Martina13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stast/Martina13
Jean Everson Martina:
The Ever Changing Threat Model: A Social-Technical Perspective. STAST 2013: 1
2012
[c6]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/secrypt/CarlosMPC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/CarlosMPC12
Marcelo Carlomagno Carlos, Jean Everson Martina, Geraint Price, Ricardo Felipe Custódio:
A Proposed Framework for Analysing Security Ceremonies. SECRYPT 2012: 440-445
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/SantosMC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/SantosMC12
Eduardo dos Santos, Jean Everson Martina, Ricardo Felipe Custódio:
Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers. TrustCom 2012: 84-91
2011
[b1]
- view
  - electronic edition @ bl.uk
  - details & citations
- export record
  dblp key:
  - phd/ethos/Martina11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Martina11
Jean Everson Martina:
Verification of security protocols based on multicast communication. University of Cambridge, UK, 2011

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cse/MartinaSC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cse/MartinaSC09
Jean Everson Martina, Túlio Cicero Salvaro de Souza, Ricardo Felipe Custódio:
Ceremonies Formal Analysis in PKI's Context. CSE (3) 2009: 392-398
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/AraujoM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/AraujoM09
Thiago Souza Araujo, Jean Everson Martina:
Economics Applied to Information Security: The Brazilian Electronic Bill of Sale Case. Web Intelligence/IAT Workshops 2009: 307-310
2008
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/idtrust/SouzaMC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idtrust/SouzaMC08
Túlio Cicero Salvaro de Souza, Jean Everson Martina, Ricardo Felipe Custódio:
Audit and backup procedures for hardware security modules. IDtrust 2008: 89-97
2007
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/europki/MartinaSC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europki/MartinaSC07
Jean Everson Martina, Túlio Cicero Salvaro de Souza, Ricardo Felipe Custódio:
OpenHSM: An Open Key Life Cycle Protocol for Public Key Infrastructure's Hardware Security Modules. EuroPKI 2007: 220-235

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.