Jean Everson Martina

46 papers B 5C 6Misc 4Journal 12Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Assessing Trustworthiness in Digital Health: Insights from the Brazilian Case of "Meu SUS Digital". BIOSTEC (4) Giovana Nunes Inocêncio, Liverson Paulo Furtado Severo, Jean Everson Martina
2026	J	`jnl`	Partial integrity, authenticity and belongingness using modification-tolerant signature schemes. J. Braz. Comput. Soc. Anthony Bernardo Kamers, Gustavo Zambonin, Thaís Bardini Idalino, Paola de Oliveira Abel, Jean Everson Martina
2025	—	`conf`	Digital Medication Prescription System with JSON. BIOSTEC (2): HEALTHINF Liverson Paulo Furtado Severo, Jean Everson Martina
2025	—	`conf`	Digital Prescription and Dispensation of Medications. SBSI Liverson Paulo Furtado Severo, Jean Everson Martina
2025	—	`conf`	Enhanced SIM Swap Security Practices via Ceremony Modeling. AINA (5) Larissa Gremelmaier Rosa, Gustavo Zambonin, Jean Everson Martina
2025	J	`jnl`	Forwarding Metrology with an IoT and Blockchain Approach: The Gas Pumps Use Case. J. Internet Serv. Appl. Gabriel Estevam, Pedro Henrique de Sena Trombini Taglialenha, Luis Felipe Fabiane, Thaís Bardini Idalino, Martín A. Gagliotti Vigil, Jean Everson Martina
2024	—	`conf`	SovereignRx: An Electronic Prescription System Based on High Privacy, Blockchain, and Self-Sovereign Identity. AINA (4) Maurício de Vasconcelos Barros, Jean Everson Martina
2024	J	`jnl`	The Digital Degree Certification Revolution in Brazil and Beyond. Commun. ACM Antônio Carlos Mariani, Lucas Machado da Palma, Jean Everson Martina
2024	J	`jnl`	TrajectGuard: A Comprehensive Privacy-Risk Framework for Multiple-Aspects Trajectories. IEEE Access Fernanda Oliveira Gomes, Roberto Pellungrini, Anna Monreale, Chiara Renso, Jean Everson Martina
2023	J	`jnl`	A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. Sensors Wesley dos Reis Bezerra, Jean Everson Martina, Carlos Becker Westphall
2022	J	`jnl`	Blockchain Privacy and Scalability in a Decentralized Validated Energy Trading Context with Hyperledger Fabric. Sensors Johann Westphall, Jean Everson Martina
2021	J	`jnl`	Accurate and decentralized timestamping using smart contracts on the Ethereum blockchain. Inf. Process. Manag. Gabriel Estevam, Lucas M. Palma, Luan R. Silva, Jean Everson Martina, Martín Vigil
2021	J	`jnl`	Steganographic Analysis of Blockchains. Sensors Alexandre Augusto Giron, Jean Everson Martina, Ricardo Felipe Custódio
2020	—	`conf`	Bitcoin Blockchain Steganographic Analysis. ACNS Workshops Alexandre Augusto Giron, Jean Everson Martina, Ricardo Felipe Custódio
2020	—	`conf`	Document Validation using Blockchain: A validation scheme for natural persons documents. SBRC Companion João Vicente Meyer, Lucas Machado da Palma, Jean Everson Martina
2020	C	`conf`	F2MH Cryptosystem: Preliminary analysis of an original attempt to revive Knapsack-based public-key encryption schemes. PDP Yuri da Silva Villas Boas, Daniel Santana Rocha, Charles F. de Barros, Jean Everson Martina
2020	C	`conf`	Fraud Prevention Within the Brazilian Governmental Public-Key Infrastructure. ISI Fernanda Oliveira Gomes, Bruno Machado Agostinho, Jean Everson Martina
2020	—	`conf`	SRVB cryptosystem: another attempt to revive Knapsack-based public-key encryption schemes. ICT Yuri da Silva Villas Boas, Daniel Santana Rocha, Charles F. de Barros, Jean Everson Martina
2019	Misc	`conf`	A Transparent and Privacy-Aware Approach Using Smart Contracts for Car Insurance Reward Programs. ICISS Lucas M. Palma, Fernanda Oliveira Gomes, Martín A. Gagliotti Vigil, Jean Everson Martina
2019	J	`jnl`	Blockchain and smart contracts for higher education registry in Brazil. Int. J. Netw. Manag. Lucas M. Palma, Martín A. Gagliotti Vigil, Fernando Lauro Pereira, Jean Everson Martina
2019	B	`conf`	Digital Degree Certificates for Higher Education in Brazil: A Technical Policy Specification. DocEng Cristiane Dias Lepiane, Fernando Lauro Pereira, Giovani Pieri, Douglas Marcelino Beppler Martins, Jean Everson Martina, Mauro Luiz Rabelo
2018	—	`conf`	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 Jean Everson Martina
2018	—	`conf`	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 Taciane Martimiano, Jean Everson Martina
2018	C	`conf`	Privacy Preserving on Trajectories Created by Wi-Fi Connections in a University Campus. ISI Fernanda Oliveira Gomes, Douglas Simões Silva, Bruno Machado Agostinho, Jean Everson Martina
2018	C	`conf`	Tuning the Winternitz hash-based digital signature scheme. ISCC Lucas Pandolfo Perin, Gustavo Zambonin, Douglas Marcelino Beppler Martins, Ricardo Felipe Custódio, Jean Everson Martina
2017	J	`jnl`	Design and Large-scale Evaluation of Educational Games for Teaching Sorting Algorithms. Informatics Educ. Paulo Eduardo Battistella, Christiane Gresse von Wangenheim, Jean Everson Martina
2017	—	`conf`	Private Verification of Access on Medical Data: An Initial Study. DPM/CBT@ESORICS Thaís Bardini Idalino, Dayana Spagnuelo, Jean Everson Martina
2016	B	`conf`	Automated Issuance of Digital Certificates through the Use of Federations. ARES Thaís Bardini Idalino, Marina Coelho, Jean Everson Martina
2016	Misc	`conf`	Formal Verification of a Cross-Layer, Trustful Space-Time Protocol for Wireless Sensor Networks. ICISS Douglas Simões Silva, Davi Resner, Rick Lopes de Souza, Jean Everson Martina
2016	—	`conf`	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 Paulo Eduardo Battistella, Giani Petri, Christiane Gresse von Wangenheim, Aldo von Wangenheim, Jean Everson Martina
2016	B	`conf`	Threat Modelling Service Security as a Security Ceremony. ARES Taciane Martimiano, Jean Everson Martina
2015	J	`jnl`	An adaptive threat model for security ceremonies. Int. J. Inf. Sec. Jean Everson Martina, Eduardo dos Santos, Marcelo Carlomagno Carlos, Geraint Price, Ricardo Felipe Custódio
2015	J	`jnl`	Verifying multicast-based security protocols using the inductive method. Int. J. Inf. Sec. Jean Everson Martina, Lawrence C. Paulson
2014	B	`conf`	A Proposal for a Unified Identity Card for Use in an Academic Federation Environment. ARES Felipe Coral Sasso, Ricardo Alexandre Reinaldo De Moraes, Jean Everson Martina
2014	—	`conf`	Modelling User Devices in Security Ceremonies. STAST Taciane Martimiano, Jean Everson Martina, Maina M. Olembo, Marcelo Carlomagno Carlos
2013	C	`conf`	A cross-layer approach to trustfulness in the Internet of Things. ISORC Antônio Augusto Fröhlich, Alexandre Massayuki Okazaki, Rodrigo Vieira Steiner, Peterson Oliveira, Jean Everson Martina
2013	Misc	`conf`	An updated threat model for security ceremonies. SAC Marcelo Carlomagno Carlos, Jean Everson Martina, Geraint Price, Ricardo Felipe Custódio
2013	—	`conf`	The Ever Changing Threat Model: A Social-Technical Perspective. STAST Jean Everson Martina
2013	Misc	`conf`	Verifying multicast-based security protocols using the inductive method. SAC Jean Everson Martina, Lawrence C. Paulson
2012	C	`conf`	A Proposed Framework for Analysing Security Ceremonies. SECRYPT Marcelo Carlomagno Carlos, Jean Everson Martina, Geraint Price, Ricardo Felipe Custódio
2012	B	`conf`	Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers. TrustCom Eduardo dos Santos, Jean Everson Martina, Ricardo Felipe Custódio
2011	—	`—`	Verification of security protocols based on multicast communication. Jean Everson Martina
2009	—	`conf`	Ceremonies Formal Analysis in PKI's Context. CSE (3) Jean Everson Martina, Túlio Cicero Salvaro de Souza, Ricardo Felipe Custódio
2009	—	`conf`	Economics Applied to Information Security: The Brazilian Electronic Bill of Sale Case. Web Intelligence/IAT Workshops Thiago Souza Araujo, Jean Everson Martina
2008	—	`conf`	Audit and backup procedures for hardware security modules. IDtrust Túlio Cicero Salvaro de Souza, Jean Everson Martina, Ricardo Felipe Custódio
2007	—	`conf`	OpenHSM: An Open Key Life Cycle Protocol for Public Key Infrastructure's Hardware Security Modules. EuroPKI Jean Everson Martina, Túlio Cicero Salvaro de Souza, Ricardo Felipe Custódio