About

http://hackingdistributed.com/2018/07/02/on-chain-vote-buying/
https://pdaian.com/blog/vote-buying-on-chain-governance-and-quadratic-plutocracy/
https://www.ideals.illinois.edu/handle/2142/97207
https://github.com/pdaian
https://eprint.iacr.org/2017/1153.pdf
https://eprint.iacr.org/2016/919.pdf
http://www.initc3.org/files/PieceWork.pdf

Interests

Google Presence

Philip Daian - Cryptocurrency and Smart Contract Researcher
Philip Daian - Cryptocurrency and Smart Contract Researcher
Phil Daian ... Appeared, FC/BITCOIN18; F Zhang, P Daian, I Bentov, and A Juels. 2017 .... Researcher and PhD student in all things blockchain at Cornell Tech."
Philip Daian (@phildaian) | Twitter
Philip Daian (@phildaian) | Twitter
Great visit to @rv_inc's new Bucharest office inside Regus Roseetti. We open shop October 1st with an eye on building a smart contract verification / blockchain ..."
Philip Daian on Twitter:
Philip Daian on Twitter: "Actually it's proven that you need to be slow if ...
23 avr. 2018 - The tradeoff the "nobody is trusted" blockchain model makes, is that it literally trades trust for time. It's slow ... Philip Daian @phildaian Apr 23."
Information for Phil Daian :: Hacking, Distributed
Information for Phil Daian :: Hacking, Distributed
Phil Daian is a third year Ph.D. student at Cornell University. He did his undergraduate studies at UIUC. His research interests span cryptocurrencies and smart ..."
pdaian (Philip Daian) · GitHub
pdaian (Philip Daian) · GitHub
Philip Daian pdaian. Software Engineer. Formal Verification and ... Blockchain graph analysis tools for Bitcoin. In collaboration w. Aurora Guo. Python 4 1 ..."
Phil Daian of IC3 joins Swap as Technical Advisor – AirSwap Blog
Phil Daian of IC3 joins Swap as Technical Advisor – AirSwap Blog
10 juil. 2017 - Swap is proud to announce that Phil Daian, a highly respected blockchain expert, will be joining the team as a technical advisor. Phil is a ..."
The Initiative For Cryptocurrencies & Contracts: IC3
The Initiative For Cryptocurrencies & Contracts: IC3
Paralysis Proofs: How to Prevent Your Bitcoin From Vanishing. by Fan Zhang, Phil Daian, Iddo Bentov, and Ari Juels on January 18, 2018 at 09:30 AM. Suppose ..."
Phil Daian of IC3 joins Swap as Technical Advisor | ethereum ...
Phil Daian of IC3 joins Swap as Technical Advisor | ethereum ...
Swap is proud to announce that Phil Daian, a highly respected blockchain expert, will be joining the team as a technical advisor.. Phil is a researcher focusing ..."

Projects

Papers

2019
Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges
Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges
P Daian, S Goldfeder, T Kell, Y Li, X Zhao, I Bentov, L Breidenbach, ...
arXiv preprint arXiv:1904.05234
0
2019
2019
Efficient over-the-air software update for a connected vehicle
Efficient over-the-air software update for a connected vehicle
S Shiraishi, G Rosu, P Daian, A Iwai, Y Mae
US Patent App. 10/203,947
0
2019
2018
A formal verification tool for Ethereum VM Bytecode
A formal verification tool for Ethereum VM Bytecode
D Park, Y Zhang, M Saxena, P Daian, G Roşu
Proceedings of the 2018 26th ACM Joint Meeting on European Software …
7
2018
2018
KEVM: A complete formal semantics of the ethereum virtual machine
KEVM: A complete formal semantics of the ethereum virtual machine
E Hildenbrandt, M Saxena, N Rodrigues, X Zhu, P Daian, D Guth, ...
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 204-217
25
2018
2018
Efficient Over-the-Air Software Update for a Connected Vehicle
Efficient Over-the-Air Software Update for a Connected Vehicle
S Shiraishi, G Rosu, P Daian, A Iwai, Y Mae
US Patent App. 15/227,413
0
2018
2018
Fleet-Wide Monitoring System for Vehicles
Fleet-Wide Monitoring System for Vehicles
S Shiraishi, G Rosu, P Daian, A Iwai, Y Mae
US Patent App. 15/227,422
0
2018
2018
Chasing the DAO Attackers Wake
Chasing the DAO Attackers Wake
P Daian
URL: https://pdaian. com/blog/chasing-the-daoattackers-wake
1
2018
2018
Paralysis Proofs: Secure Dynamic Access Structures for Cryptocurrencies and More
Paralysis Proofs: Secure Dynamic Access Structures for Cryptocurrencies and More
F Zhang, P Daian, G Kaptchuk, I Bentov, I Miers, A Juels
2
2018
2018
Paralysis Proofs: Safe Access-Structure Updates for Cryptocurrencies and More.
Paralysis Proofs: Safe Access-Structure Updates for Cryptocurrencies and More.
F Zhang, P Daian, I Bentov, A Juels
IACR Cryptology ePrint Archive 2018, 96
1
2018
2018
Enter the hydra: Towards principled bug bounties and exploit-resistant smart contracts
Enter the hydra: Towards principled bug bounties and exploit-resistant smart contracts
L Breindenbach, P Daian, F Tramèr, A Juels
27th {USENIX} Security Symposium ({USENIX} Security 18), 1335-1352
8
2018
2017
Kevm: A complete semantics of the ethereum virtual machine
Kevm: A complete semantics of the ethereum virtual machine
E Hildenbrandt, M Saxena, X Zhu, N Rodrigues, P Daian, D Guth, G Rosu
37
2017
2017
Application Assurance for Open Platform In-Vehicle Infotainment System
Application Assurance for Open Platform In-Vehicle Infotainment System
S Shiraishi, G Rosu, P Daian, A Iwai, H Kuwajima
US Patent App. 14/939,625
6
2017
2017
2017
An In-Depth Look at the Parity Multisig Bug.(2017)
An In-Depth Look at the Parity Multisig Bug.(2017)
L Breidenbach, P Daian, A Juels, EG Sirer
URL: http://hackingdistributed. com/2017/07/22/deepdive-parity-bug
5
2017
2017
KEVM: A Complete Semantics of the Ethereum Virtual Machine (2017)
KEVM: A Complete Semantics of the Ethereum Virtual Machine (2017)
E Hildenbrandt, M Saxena, X Zhu, N Rodrigues, P Daian, D Guth, G Rosu
White paper
5
2017
2017
Tesseract: Real-Time Cryptocurrency Exchange using Trusted Hardware.
Tesseract: Real-Time Cryptocurrency Exchange using Trusted Hardware.
I Bentov, Y Ji, F Zhang, Y Li, X Zhao, L Breidenbach, P Daian, A Juels
IACR Cryptology ePrint Archive 2017, 1153
16
2017
2017
PieceWork: Generalized Outsourcing Control for Proofs of Work
PieceWork: Generalized Outsourcing Control for Proofs of Work
P Daian, EG Sirer, I Eyal, A Juels
BITCOIN'17
0
2017
2016
Runtime verification at work: A tutorial
Runtime verification at work: A tutorial
P Daian, D Guth, C Hathhorn, Y Li, E Pek, M Saxena, TF Şerbănuţă, ...
International Conference on Runtime Verification, 46-67
4
2016
2016
Runtime verification at work: A tutorial
Runtime verification at work: A tutorial
P Daian, D Guth, C Hathhorn, Y Li, E Pek, M Saxena, TF Şerbănuţă, ...
International Conference on Runtime Verification, 46-67
4
2016
2016
Snow White: Provably Secure Proofs of Stake.
Snow White: Provably Secure Proofs of Stake.
I Bentov, R Pass, E Shi
IACR Cryptology ePrint Archive 2016, 919
86
2016
Read more

Google Trends (past one year)

0.0
Learn about Google Trends

Academic Achievement

Twitter Influence

1/100
Learn about weight

Recent Twitter Hashtags

Recent Tweets

Popular People

Alexander Zaidelson
Alexander Zaidelson Entrepreneur @ BEAM
Oded Goldreich
Oded Goldreich Scholar @ The Weizmann Institute Of Science
Meltem Demirors
Meltem Demirors Investor | Entrepreneur @ CoinShares | Shiny Pony Ventures | Digital Currency Group
Benedikt Bünz
Benedikt Bünz Scholar @ Stanford University | Applied Crypto Group
Browse all people