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 Ari Juels and based in New York City.
My work is generously supported by the NSF GRFP award.
I blog extensively on cryptocurrency with a number of co-authors:
Preprint; E Hildenbrandt, M Saxena, X Zhu, N Rodrigues, P Daian, D Guth, G Rosu
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:
Stealth-mode smart contract security project to create the most secure smart contract ever written.
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.
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?