Hi, I'm Phil! I'm a researcher, second year PhD student, and software engineer with a passion for computer security and applied cryptography. My
research interests span several computer science subfields. My current work primarily covers cryptocurrencies and smart contracts.
I am advised by 国内网络加速器 and based in New York City.
My work is generously supported by the 加速器 award.
I blog extensively on cryptocurrency with a number of co-authors:
Appeared (slides | video), USENIX Security 18; L Breidenbach, P Daian, F Tramer, A Juels
Appeared, CSF18; E Hildenbrandt, M Saxena, X Zhu, N Rodrigues, P Daian, D Guth, G Rosu
Appeared, FC/BITCOIN18; F Zhang, P Daian, I Bentov, and A Juels
Preprint; I Bentov, Y Ji, F Zhang, Y Li, X Zhao, L Breidenbach, P Daian, and A Juels
Preprint; P Daian, R Pass, E Shi
Appeared, BITCOIN17; P Daian, I Eyal, A Juels, EG Sirer
Appeared, RV16; P Daian, D Guth, C Hathhorn, Y Li, E Pek, M Saxena, TF Şerbănuţă, ...
Appeared, SAE16; P Daian, S Shiraishi, A Iwai, B Manja, G Rosu
Patent Application; S Shiraishi, G Rosu, P Daian, A Iwai, H Kuwajima
A few selected projects I currently hack on, often with a number of excellent collaborators:
True utility token allowing users to store and tokenize Ethereum's underlying computation resource, gas. Built on Ethereum as part of Project Chicago.
Framework for economically secure smart contracts, decentralized/trustless bug and security bounties, and avoidance of error/loss. Built on Ethereum.
Playground for white hat smart contract hackers to build their skills with real on-chain challenges.
Formal semantics of the Ethereum Virtual Machine, usable for proving contracts correct.
Provably secure proof of stake protocol (Sleepy model) built on an honest majority assumption.
Lightweight formally rigorous verification tool for the aerospace and automotive domains.
In addition to the above, I provide security consulting services to the for EVM-based contracts, and have advised several token and other
contracts through formal reports. Some of these reports may be published at stableset.com. I'm very proud to say that my audits currently are the primary or only review on over 1B USD of cryptoassets.
I also enjoy amateur lampworking!
Sometimes my work gets noticed:
I love talking about my research (some slides/videos available):
There are many more of these that I'm still gathering, so bear with me please!
Researcher and PhD student in all things blockchain at Cornell Tech.
My work covers a mix of distributed systems, applied security, applied cryptography, and programming languages.
I collaborate with a wide range of faculty and students on a number of diverse projects, and help drive IC3's research agenda with a focus on secure smart contracts.
Previously: software engineer. Currently: head of smart contract strategy.
RV is a small bootstrapped formal methods startup focusing on
high precision, mathematically principled, and practical formal verification tools for a wide range of applications.
My initial roles covered private R&D in the automotive and aerospace domains, and I am currently strategically overseeing RV's expansion
into the smart contract domain; check out our offerings!.
Research programmer.
FSL is a formal methods research group focused on increasing the quality of computing systems
through research into mathematically rigorous programming techniques and tools. While at FSL, I
investigated applications of the K Semantic Framework and developed the
kweb tool.
Cool, you made it to the bottom! I wish there were something cool here :'(. Maybe reach out and say hi?
国内网络加速器 (updated Oct 10 2017): I do everything I can to remain unbiased by conflicts in my research. For full disclosure, I hold nontrivial financial interest in Bitcoin (30%), Ethereum (50%), Ethereum Classic (10%), Bitcoin Cash (10%), and AirSwap token (??). I am a technical advisor for the AirSwap team, and have done paid / hourly consulting for Tether, OmiseGo, and some smaller tokens.