Philip Daian

Orcid: 0000-0002-6152-2713

Affiliations:
  • Cornell University, Department of Computer Science, Ithaca, NY, USA
  • Runtime Verification Inc., Champaign, IL, USA


According to our database1, Philip Daian authored at least 19 papers between 2015 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets.
IACR Cryptol. ePrint Arch., 2023

2021
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts.
IACR Cryptol. ePrint Arch., 2021

Unity is Strength: A Formalization of Cross-Domain Maximal Extractable Value.
CoRR, 2021

SquirRL: Automating Attack Analysis on Blockchain Incentive Mechanisms with Deep Reinforcement Learning.
Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2020
Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019
The Hydra Framework for Principled, Automated Bug Bounties.
IEEE Secur. Priv., 2019

SquirRL: Automating Attack Discovery on Blockchain Incentive Mechanisms with Deep Reinforcement Learning.
CoRR, 2019

Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges.
CoRR, 2019

Snow White: Robustly Reconfigurable Consensus and Applications to Provably Secure Proof of Stake.
Proceedings of the Financial Cryptography and Data Security, 2019

Tesseract: Real-Time Cryptocurrency Exchange Using Trusted Hardware.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

Paralysis Proofs: Secure Dynamic Access Structures for Cryptocurrency Custody and More.
Proceedings of the 1st ACM Conference on Advances in Financial Technologies, 2019

2018
Paralysis Proofs: Safe Access-Structure Updates for Cryptocurrencies and More.
IACR Cryptol. ePrint Arch., 2018

A formal verification tool for Ethereum VM bytecode.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine.
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017
Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts.
IACR Cryptol. ePrint Arch., 2017

Tesseract: Real-Time Cryptocurrency Exchange using Trusted Hardware.
IACR Cryptol. ePrint Arch., 2017

(Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work.
Proceedings of the Financial Cryptography and Data Security, 2017

2016
Runtime Verification at Work: A Tutorial.
Proceedings of the Runtime Verification - 16th International Conference, 2016

2015
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.
Proceedings of the Runtime Verification - 6th International Conference, 2015


  Loading...