Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Daian, Philip"'
Autor:
Obadia, Alexandre, Salles, Alejo, Sankar, Lakshman, Chitra, Tarun, Chellani, Vaibhav, Daian, Philip
The multi-chain future is upon us. Modular architectures are coming to maturity across the ecosystem to scale bandwidth and throughput of cryptocurrency. One example of such is the Ethereum modular architecture, with its beacon chain, its execution c
Externí odkaz:
http://arxiv.org/abs/2112.01472
Publikováno v:
in 2023 IEEE Symposium on Security and Privacy (SP) (SP), San Francisco, CA, US, 2023 pp. 622-639
We introduce the Clockwork Finance Framework (CFF), a general purpose, formal verification framework for mechanized reasoning about the economic security properties of composed decentralized-finance (DeFi) smart contracts. CFF features three key prop
Externí odkaz:
http://arxiv.org/abs/2109.04347
Autor:
Daian, Philip, Goldfeder, Steven, Kell, Tyler, Li, Yunqi, Zhao, Xueyuan, Bentov, Iddo, Breidenbach, Lorenz, Juels, Ari
Blockchains, and specifically smart contracts, have promised to create fair and transparent trading ecosystems. Unfortunately, we show that this promise has not been met. We document and quantify the widespread and rising deployment of arbitrage bots
Externí odkaz:
http://arxiv.org/abs/1904.05234
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Daian, Philip, Guth, Dwight, Hathhorn, Chris, Li, Yilong, Pek, Edgar, Saxena, Manasvi, Şerbănuţă, Traian Florin, Roșu, Grigore
Publikováno v:
Runtime Verification (9783319469812); 2016, p46-67, 22p
Autor:
Daian, Philip, Falcone, Yliès, Meredith, Patrick, Şerbănuţă, Traian Florin, Shiriashi, Shin'ichi, Iwai, Akihito, Rosu, Grigore
Publikováno v:
Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings; 2015, p342-357, 16p