Paul Andrew Crocker

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 8

Top Topics

Static Analysis

Intermediate Representations

Electronic Transactions

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Rui Morais, Paul Andrew Crocker, Valderi R. Q. Leithardt
Nero: A Deterministic Leaderless Consensus Algorithm for DAG-Based Cryptocurrencies. Algorithms 16 (1) (2023)
Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa
Echidna: A New Consensus Algorithm for Efficient State Machine Replication. BCCA (2023)
Humberto Jorge De Moura Costa, Cristiano André da Costa, Rodolfo Stoffel Antunes, Rodrigo da Rosa Righi, Paul Andrew Crocker, Valderi Reis Quietinho Leithardt
ID-Care: A Model for Sharing Wide Healthcare Data. IEEE Access 11 (2023)
João Santos Reis, Paul Andrew Crocker, Simão Melo de Sousa
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts. CoRR (2020)
Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa
A tool for implementing privacy in Nano. DAPPS (2020)
Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa
Delegated RingCT: faster anonymous transactions. IACR Cryptol. ePrint Arch. 2020 (2020)
Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa
Delegated RingCT: faster anonymous transactions. CoRR (2020)
João Santos Reis, Paul Andrew Crocker, Simão Melo de Sousa
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts. FMBC@CAV (2020)
João Gouveia, Paul Andrew Crocker, Simão Melo de Sousa, Ricardo Azevedo
E-Id Authentication and Uniform Access to Cloud Storage Service Providers. CloudCom (1) (2013)
André de Matos Pedro, Paul Andrew Crocker, Simão Melo de Sousa
Learning Stochastic Timed Automata from Sample Executions. ISoLA (1) (2012)