Paul Crocker

Identifiers

• name variant Paul Crocker 0.60 · backfill

Papers (1)

1. Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts cs.PL · 2020 · author #2

Mentions

• 2005.11839 #2 · arxiv_oai · confidence 0.70 Paul Crocker

Frequent Coauthors

• Jo\~ao Santos Reis 1 shared papers
• Sim\~ao Melo de Sousa 1 shared papers