Jean Everson Martina
Titel
Citeras av
Citeras av
År
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
272013
Openhsm: An open key life cycle protocol for public key infrastructure’s hardware security modules
JE Martina, TCS de Souza, RF Custodio
European Public Key Infrastructure Workshop, 220-235, 2007
222007
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
192019
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
182008
Design and Large-scale Evaluation of Educational Games for Teaching Sorting Algorithms.
PE Battistella, CG Von Wangenheim, A Von Wangenheim, JE Martina
Informatics in Education 16 (2), 141-164, 2017
162017
A Proposed Framework for Analysing Security Ceremonies.
MC Carlos, JE Martina, G Price, RF Custódio
SECRYPT, 440-445, 2012
162012
Steganography in audio
N Jenkins, JE Martina
University of Cambridge CST Part II Dissertation, 2009
152009
Why should we analyse security ceremonies
JE Martina, MC Carlos
Proc. of CryptoForma, 2010
142010
A Cross-layer Approach to Trustfulness in the Internet of Things
AA Fröhlich, AM Okazaki, RV Steiner, P Oliveira, JE Martina
16th IEEE International Symposium on Object/component/service-oriented Real …, 2013
132013
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 (2), 103-121, 2015
122015
Verifying multicast-based security protocols using the inductive method
JE Martina, LC Paulson
International Journal of Information Security 14 (2), 187-204, 2015
92015
Ceremonies formal analysis in pki's context
JE Martina, TCS de Souza, RF Custodio
2009 International Conference on Computational Science and Engineering 3 …, 2009
92009
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
82005
Formal verification of a cross-layer, trustful space-time protocol for wireless sensor networks
DS Silva, D Resner, RL de Souza, JE Martina
International Conference on Information Systems Security, 426-443, 2016
52016
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
42018
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
42017
Private verification of access on medical data: An initial study
TB Idalino, D Spagnuelo, JE Martina
Data Privacy Management, Cryptocurrencies and Blockchain Technology, 86-103, 2017
42017
A proposal for a unified identity card for use in an academic federation environment
FC Sasso, RAR De Moraes, JE Martina
2014 Ninth International Conference on Availability, Reliability and …, 2014
42014
Multi-factor authentication in telemedicine systems
DPB Spagnuelo, JE Martina, RF Custódio, R Andrade
The Fifth International Conference on EHealth, Telemedicine, and Social …, 2013
42013
Steganographic message broadcasting using web protocols
R Duncan, JE Martina
proceedings of: Simposio Brasilerio de Seguranca (SBSeg 2010), Fortaleza …, 2010
42010
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20