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 ssfree加速器.
I am advised by 原点ss加速器 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:
Appeared (slides | video), USENIX Security 18; ss加速器安卓, P Daian, F Tramer, A Juels
Appeared, 草莓ss加速器; 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, okss加速器, 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 原点ss加速器!
绝地求生大逃杀_绝地求生大逃杀下载_绝地求生 ...-小皮单机游戏:2021-1-20 · 游戏介绍 《绝地求生：大逃杀》是一款由Bluehole和Playerunknown联合开发的第一人称射击游戏，采用虚幻4引擎制作。玩家们会在一个偏远的岛屿上出生，然后展开一场赢家通吃的生存竞赛，最后只会有1个人存活。
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?
Disclaimer (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.