Learning Stochastic Timed Automata from Sample Executions. - André de Matos Pedro; Paul Andrew Crocker; Simão Melo de Sousa (ISoLA (1), 2012)

E-Id Authentication and Uniform Access to Cloud Storage Service Providers. - João Gouveia; Paul Andrew Crocker; Simão Melo de Sousa; Ricardo Azevedo (CloudCom (1), 2013)

Two Factor Encryption in Cloud Storage Providers Using Hardware Tokens. - Paul Andrew Crocker; Pedro Querido (GLOBECOM Workshops, 2015)

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)

Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts. - João Santos Reis; Paul Andrew Crocker; Simão Melo de Sousa (FMBC@CAV, 2020)

A tool for implementing privacy in Nano. - Rui Morais; Paul Andrew Crocker; Simão Melo de Sousa (DAPPS, 2020)

Delegated RingCT: faster anonymous transactions. - Rui Morais; Paul Andrew Crocker; Simão Melo de Sousa (IACR Cryptol. ePrint Arch., 2020)

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)

PADRES: Tool for PrivAcy, Data REgulation and Security. - Fábio Pereira; Paul Andrew Crocker; Valderi R. Q. Leithardt (SoftwareX, 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)

Echidna: A New Consensus Algorithm for Efficient State Machine Replication. - Rui Morais; Paul Andrew Crocker; Simão Melo de Sousa (BCCA, 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)

Nero: A Deterministic Leaderless Consensus Algorithm for DAG-Based Cryptocurrencies. - Rui Morais; Paul Andrew Crocker; Valderi R. Q. Leithardt (Algorithms, 2023)