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 | 137 | 2019 |
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 | 47 | 2021 |
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 | 41 | 2013 |
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 | 32 | 2017 |
A Proposed Framework for Analysing Security Ceremonies. MC Carlos, JE Martina, G Price, RF Custódio SECRYPT, 440-445, 2012 | 27 | 2012 |
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 | 25 | 2008 |
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 | 24 | 2007 |
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 | 20 | 2015 |
Why should we analyse security ceremonies JE Martina, MC Carlos Proc. of CryptoForma, 2010 | 16 | 2010 |
Steganography in audio N Jenkins, JE Martina University of Cambridge CST Part II Dissertation, 2009 | 16 | 2009 |
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 | 15 | 2013 |
Steganographic analysis of blockchains AA Giron, JE Martina, R Custódio Sensors 21 (12), 4078, 2021 | 12 | 2021 |
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 | 12 | 2018 |
Ceremonies formal analysis in pki's context JE Martina, TCS de Souza, RF Custodio 2009 International Conference on Computational Science and Engineering 3 …, 2009 | 12 | 2009 |
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 | 10 | 2019 |
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 | 10 | 2019 |
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 | 10 | 2017 |
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 | 10 | 2013 |
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 | 9 | 2015 |
Blockchain privacy and scalability in a decentralized validated energy trading context with hyperledger fabric J Westphall, JE Martina Sensors 22 (12), 4585, 2022 | 8 | 2022 |