Toby Murray

Identifiers

No identifiers captured yet.

Papers (4)

1. Empirically Analyzing Ethereum's Gas Mechanism cs.CR · 2019 · author #2
2. Can We Prove Time Protection? cs.OS · 2019 · author #3
3. VST-Flow: Fine-grained low-level reasoning about real-world C code cs.LO · 2017 · author #2
4. COGENT: Certified Compilation for a Functional Systems Language cs.PL · 2016 · author #10

Mentions

No mention provenance yet.

Frequent Coauthors

• Gerwin Klein 2 shared papers
• Alex Hixon 1 shared papers
• Christine Rizkallah 1 shared papers
• Gabriele Keller 1 shared papers
• Gernot Heiser 1 shared papers
• Japheth Lim 1 shared papers
• Liam O'Connor 1 shared papers
• Paul Rimba 1 shared papers
• Renlord Yang 1 shared papers
• Samuel Gruetter 1 shared papers
• Sidney Amani 1 shared papers
• Thomas Sewell 1 shared papers
• Udaya Parampalli 1 shared papers
• Yutaka Nagashima 1 shared papers
• Zilin Chen 1 shared papers