Paul Andrew Crocker

According to our database, Paul Andrew Crocker authored at least 13 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Nero: A Deterministic Leaderless Consensus Algorithm for DAG-Based Cryptocurrencies.

Rui Morais, Paul Andrew Crocker, Valderi R. Q. Leithardt

Algorithms, January, 2023

ID-Care: A Model for Sharing Wide Healthcare Data.

Humberto Jorge De Moura Costa, Cristiano André da Costa, Rodolfo Stoffel Antunes, Rodrigo da Rosa Righi, Paul Andrew Crocker, Valderi Reis Quietinho Leithardt

IEEE Access, 2023

Echidna: A New Consensus Algorithm for Efficient State Machine Replication.

Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa

Proceedings of the Fifth International Conference on Blockchain Computing and Applications, 2023

2022

Sparsity-Promoting Approach to Polarization Analysis of Seismic Signals in the Time-Frequency Domain.

Hamzeh Mohammadigheymasi, Paul Andrew Crocker, Maryam Fathi, Eduardo Almeida, Graca Silveira, Ali Gholami, Martin Schimmel

IEEE Trans. Geosci. Remote. Sens., 2022

PADRES: Tool for PrivAcy, Data REgulation and Security.

Fábio Pereira, Paul Andrew Crocker, Valderi R. Q. Leithardt

SoftwareX, 2022

An Empirical Comparison of Portuguese and Multilingual BERT Models for Auto-Classification of NCM Codes in International Trade.

Roberta Rodrigues de Lima, Anita M. R. Fernandes, James Roberto Bombasar, Bruno Alves da Silva, Paul Andrew Crocker, Valderi Reis Quietinho Leithardt

Big Data Cogn. Comput., 2022

2020

Delegated RingCT: faster anonymous transactions.

Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa

IACR Cryptol. ePrint Arch., 2020

A tool for implementing privacy in Nano.

Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa

Proceedings of the 2nd IEEE International Conference on Decentralized Applications and Infrastructures, 2020

Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts.

João Santos Reis, Paul Andrew Crocker, Simão Melo de Sousa

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2019

PRISEC: Comparison of Symmetric Key Algorithms for IoT Devices.

Daniel A. F. Saraiva, Valderi Reis Quietinho Leithardt, Diandre de Paula, André Sales Mendes, Gabriel Villarrubia-González, Paul Andrew Crocker

Sensors, 2019

2015

Two Factor Encryption in Cloud Storage Providers Using Hardware Tokens.

Paul Andrew Crocker, Pedro Querido

Proceedings of the 2015 IEEE Globecom Workshops, San Diego, CA, USA, December 6-10, 2015, 2015

2013

E-Id Authentication and Uniform Access to Cloud Storage Service Providers.

João Gouveia, Paul Andrew Crocker, Simão Melo de Sousa, Ricardo Azevedo

Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

2012

Learning Stochastic Timed Automata from Sample Executions.

André de Matos Pedro, Paul Andrew Crocker, Simão Melo de Sousa

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012