Concepedia

Philip Daian

PD

Statistics

Publications

9

Citations

1.4K

H-Index

9

Active since

2017

Affiliations

Cornell University(Current)

University of Illinois Urbana-Champaign

Runtime Verification (United States)

Philip Daian is an author at Cornell University specializing in computing, computer science, and smart contracts.

Publications per year

2017–2023

9

Publications

9

Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability

Philip Daian, Steven Goldfeder, Tyler Kell et al. · 2020 · 442 citations · Full text

Business, Economics, Auction Theory +14

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues et al. · 2018 · 410 citations

Computing, Computer Engineering, Computer Science +13

Iddo Bentov, Yan Ji, Fan Zhang et al. · 2019 · 173 citations · Full text

Computing, Computer Science, Cybersecurity +14

A formal verification tool for Ethereum VM bytecode

Daejun Park, Yi Zhang, Manasvi Saxena et al. · 2018 · 108 citations · Full text

Computing, Computer Science, Cybersecurity +13

KEVM: A Complete Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Xiaoran Zhu et al. · IDEALS (University of Illinois Urbana-Champaign) · 2017 · 96 citations · Full text

Computing, Computer Engineering, Computer Science +9

1–5 of 9