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

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 …
4
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 Breidenbach, IC Cornell Tech, P Daian, F Tramer, A Juels
27th {USENIX} Security Symposium ({USENIX} Security 18)
4
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
10
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
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
Cryptology ePrint Archive, Report 2018/096
0
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
31
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
2
2017
2017
(Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work
(Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work
P Daian, I Eyal, A Juels, EG Sirer
International Conference on Financial Cryptography and Data Security, 182-190
0
2017
2017
Snow white: Robustly reconfigurable consensus and applications to provably secure proofs of stake
Snow white: Robustly reconfigurable consensus and applications to provably secure proofs of stake
P Daian, R Pass, E Shi
Technical Report. Cryptology ePrint Archive, Report 2016/919
9
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
3
2017
2017
An In-Depth Look at the Parity Multisig Bug
An In-Depth Look at the Parity Multisig Bug
L Breidenbach, P Daian, A Juels, EG Sirer
4
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
8
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
4
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
M Saxena, TF Serbanuta, G Rosu
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …
0
2016
2016
RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring
RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring
P Daian, S Shiraishi, A Iwai, B Manja, G Rosu
SAE Technical Paper
4
2016
2016
Analysis of the dao exploit
Analysis of the dao exploit
P Daian
Hacking, Distributed
11
2016
2016
Analysis of the DAO Exploit. 2016
Analysis of the DAO Exploit. 2016
P Daian
URl: http://hackingdistributed. com/2016/06/18/analysis-of-the-dao-exploit …
5
2016
2016
Snow white: Provably secure proofs of stake
Snow white: Provably secure proofs of stake
P Daian, R Pass, E Shi
Cryptology ePrint Archive, Report 2016/919, 2016. http://eprint. iacr. org …
24
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
Rosario Gennaro
Rosario Gennaro Scholar @ CUNY | Center For Algorithms And Interactive Scientific Software (CAISS) | MIT | City College Of New York | IBM T.J.Watson Research Center
Oded Goldreich
Oded Goldreich Scholar @ The Weizmann Institute Of Science
Aviv Zohar
Aviv Zohar Scholar @ Hebrew University
Browse all people