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

Projects

Papers

2019
The Hydra Framework for Principled, Automated Bug Bounties
The Hydra Framework for Principled, Automated Bug Bounties
L Breidenbach, PA Daian, F Tramer, A Juels
IEEE Security & Privacy
0
2019
2019
Real-time cryptocurrency exchange using trusted hardware
Real-time cryptocurrency exchange using trusted hardware
I Bentov, A Juels, F Zhang, P Daian, L Breidenbach
US Patent App. 16/198,223
0
2019
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
3
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 …
13
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
39
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
2
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
IACR ePrint 96, 2018
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
2
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
11
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
45
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
7
2017
2017
19
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
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
22
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
5
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
5
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

Naval Ravikant
Naval Ravikant Entrepreneur | Investor @ AngelList | Bitwise Asset Management
Craig Steven Wright
Craig Steven Wright Programmer | Entrepreneur @ nChain | DeMorgan
Benedikt Bünz
Benedikt Bünz Scholar @ Stanford University | Applied Crypto Group
Meltem Demirors
Meltem Demirors Investor | Entrepreneur @ CoinShares | Shiny Pony Ventures | Digital Currency Group
Browse all people