KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Hildenbrandt, Everett, Saxena, Manasvi, Rodrigues, Nishant, Zhu, Xiaoran, Daian, Philip, Guth, Dwight, Moore, Brandon, Park, Daejun, Zhang, Yi, Stefanescu, Andrei, Rosu, Grigore
Published in 2018 IEEE 31st Computer Security Foundations Symposium (CSF) (01.07.2018)
Published in 2018 IEEE 31st Computer Security Foundations Symposium (CSF) (01.07.2018)
Get full text
Conference Proceeding
Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability
Daian, Philip, Goldfeder, Steven, Kell, Tyler, Li, Yunqi, Zhao, Xueyuan, Bentov, Iddo, Breidenbach, Lorenz, Juels, Ari
Published in 2020 IEEE Symposium on Security and Privacy (SP) (01.05.2020)
Published in 2020 IEEE Symposium on Security and Privacy (SP) (01.05.2020)
Get full text
Conference Proceeding
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
Babel, Kushal, Daian, Philip, Kelkar, Mahimna, Juels, Ari
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Get full text
Conference Proceeding
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
Get full text
Paper
Journal Article
Unity is Strength: A Formalization of Cross-Domain Maximal Extractable Value
Obadia, Alexandre, Salles, Alejo, Sankar, Lakshman, Chitra, Tarun, Chellani, Vaibhav, Daian, Philip
Year of Publication 02.12.2021
Year of Publication 02.12.2021
Get full text
Journal Article
Real-time cryptocurrency exchange using trusted hardware
Bentov, Iddo, Breidenbach, Lorenz, Zhang, Fan, Juels, Ari, Daian, Philip
Year of Publication 08.02.2022
Get full text
Year of Publication 08.02.2022
Patent
Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges
Daian, Philip, Goldfeder, Steven, Kell, Tyler, Li, Yunqi, Zhao, Xueyuan, Bentov, Iddo, Breidenbach, Lorenz, Juels, Ari
Year of Publication 10.04.2019
Year of Publication 10.04.2019
Get full text
Journal Article
REAL-TIME CRYPTOCURRENCY EXCHANGE USING TRUSTED HARDWARE
Bentov, Iddo, Breidenbach, Lorenz, Zhang, Fan, Juels, Ari, Daian, Philip
Year of Publication 23.05.2019
Get full text
Year of Publication 23.05.2019
Patent
Efficient Over-the-Air Software Update for a Connected Vehicle
Shiraishi Shinichi, Iwai Akihito, Daian Philip, Rosu Grigore, Mae Yuki
Year of Publication 08.02.2018
Get full text
Year of Publication 08.02.2018
Patent
Fleet-Wide Monitoring System for Vehicles
Shiraishi Shinichi, Iwai Akihito, Daian Philip, Rosu Grigore, Mae Yuki
Year of Publication 08.02.2018
Get full text
Year of Publication 08.02.2018
Patent
APPLICATION ASSURANCE FOR OPEN PLATFORM IN-VEHICLE INFOTAINMENT SYSTEM
IWAI, Akihito, SHIRAISHI, Shinichi, ROSU, Grigore, KUWAJIMA, Hiroshi, DAIAN, Philip
Year of Publication 14.06.2017
Get full text
Year of Publication 14.06.2017
Patent
Application Assurance for Open Platform In-Vehicle Infotainment System
Shiraishi Shinichi, Iwai Akihito, Daian Philip, Rosu Grigore, Kuwajima Hiroshi
Year of Publication 18.05.2017
Get full text
Year of Publication 18.05.2017
Patent
The Hydra Framework for Principled, Automated Bug Bounties
Breidenbach, Lorenz, Daian, Philip, Tramer, Florian, Juels, Ari
Published in IEEE security & privacy (01.07.2019)
Published in IEEE security & privacy (01.07.2019)
Get full text
Magazine Article