Follow
Jean Everson Martina
Title
Cited by
Cited by
Year
Blockchain and smart contracts for higher education registry in Brazil
LM Palma, MAG Vigil, FL Pereira, JE Martina
International Journal of Network Management 29 (3), e2061, 2019
1482019
Accurate and decentralized timestamping using smart contracts on the Ethereum blockchain
G Estevam, LM Palma, LR Silva, JE Martina, M Vigil
Information Processing & Management 58 (3), 102471, 2021
532021
An updated threat model for security ceremonies
MC Carlos, JE Martina, G Price, RF Custódio
Proceedings of the 28th annual ACM symposium on applied computing, 1836-1843, 2013
432013
Design and large-scale evaluation of educational games for teaching sorting algorithms
PE Battistella, CG WANGENHEIM, A WANGENHEIM, JE Martina
Informatics in Education 16 (2), 141-164, 2017
332017
A Proposed Framework for Analysing Security Ceremonies.
MC Carlos, JE Martina, G Price, RF Custódio
SECRYPT, 440-445, 2012
272012
Audit and backup procedures for hardware security modules
TCS De Souza, JE Martina, RF Custódio
Proceedings of the 7th Symposium on Identity and Trust on the Internet, 89-97, 2008
262008
Openhsm: An open key life cycle protocol for public key infrastructure’s hardware security modules
JE Martina, TCS de Souza, RF Custodio
Public Key Infrastructure: 4th European PKI Workshop: Theory and Practice …, 2007
252007
An adaptive threat model for security ceremonies
JE Martina, E Dos Santos, MC Carlos, G Price, RF Custódio
International Journal of Information Security 14, 103-121, 2015
202015
Why should we analyse security ceremonies
JE Martina, MC Carlos
Proc. of CryptoForma, 2010
172010
A Cross-layer Approach to Trustfulness in the Internet of Things
AA Frohlich, AM Okazaki, RV Steiner, P Oliveira, JE Martina
16th IEEE international symposium on object/component/service-oriented real …, 2013
162013
Steganography in audio
N Jenkins, JE Martina
University of Cambridge CST Part II Dissertation, 2009
162009
Tuning the Winternitz hash-based digital signature scheme
LP Perin, G Zambonin, DMB Martins, R Custódio, JE Martina
2018 IEEE Symposium on Computers and Communications (ISCC), 00537-00542, 2018
152018
Steganographic analysis of blockchains
AA Giron, JE Martina, R Custódio
Sensors 21 (12), 4078, 2021
122021
Ceremonies formal analysis in pki's context
JE Martina, TCS de Souza, RF Custodio
2009 International Conference on Computational Science and Engineering 3 …, 2009
122009
Blockchain privacy and scalability in a decentralized validated energy trading context with hyperledger fabric
J Westphall, JE Martina
Sensors 22 (12), 4585, 2022
112022
Campus regenerative design supported by university Wi-Fi connections
CP Mangrich, LH Pavan, F Gomes, L Oliveira, J Kos, JE Martina
International Journal of Architectural Computing 17 (2), 206-219, 2019
112019
A importância da inovação na gestão de processos administrativos da Universidade Pública, por meio da implementação da Tecnologia de Certificação Digital
FL Pereira, A de Linhares Jacobsen, JE Martina, FR Lengler
Revista da UNIFEBE 1 (21), 1-23, 2017
112017
Digital degree certificates for higher education in brazil: A technical policy specification
CD Lepiane, FL Pereira, G Pieri, D Martins, JE Martina, ML Rabelo
Proceedings of the ACM Symposium on Document Engineering 2019, 1-10, 2019
102019
Verifying multicast-based security protocols using the inductive method
JE Martina, LC Paulson
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1824-1829, 2013
102013
Ceremony analysis meets verifiable voting: Individual verifiability in Helios
T Martimiano, E Dos Santos, M Olembo, JE Martina, RAR de Moraes
SECURWARE 1 (1), 2, 2015
92015
The system can't perform the operation now. Try again later.
Articles 1–20