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
1272019
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
432021
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
392013
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
322017
A Proposed Framework for Analysing Security Ceremonies.
MC Carlos, JE Martina, G Price, RF Custódio
SECRYPT, 440-445, 2012
252012
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
252008
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
242007
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
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
Why should we analyse security ceremonies
JE Martina, MC Carlos
Proc. of CryptoForma, 2010
162010
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
122018
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
Steganographic analysis of blockchains
AA Giron, JE Martina, R Custódio
Sensors 21 (12), 4078, 2021
112021
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
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
102017
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
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
92019
Projeto de um provedor de serviços criptográficos embarcado para infra-estrutura de chaves públicas e suas aplicações
JE Martina
Florianópolis, SC, 2005
92005
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
T Martimiano, JE Martina
Security Protocols XXVI: 26th International Workshop, Cambridge, UK, March …, 2018
82018
The system can't perform the operation now. Try again later.
Articles 1–20