受强制性开放获取政策约束的文章 - Philip Daian了解详情
可在其他位置公开访问的文章：11 篇
Flash boys 2.0: Frontrunning in decentralized exchanges, miner extractable value, and consensus instability
P Daian, S Goldfeder, T Kell, Y Li, X Zhao, I Bentov, L Breidenbach, ...
2020 IEEE symposium on security and privacy (SP), 910-927, 2020
强制性开放获取政策： US National Science Foundation, US Department of Defense
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, 2018
强制性开放获取政策： US National Science Foundation
Tesseract: Real-time cryptocurrency exchange using trusted hardware
I Bentov, Y Ji, F Zhang, L Breidenbach, P Daian, A Juels
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense
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 …, 2018
强制性开放获取政策： US National Science Foundation
Enter the hydra: Towards principled bug bounties and {Exploit-Resistant} smart contracts
L Breidenbach, P Daian, F Tramèr, A Juels
27th USENIX Security Symposium (USENIX Security 18), 1335-1352, 2018
强制性开放获取政策： US National Science Foundation
Kevm: A complete semantics of the ethereum virtual machine
E Hildenbrandt, M Saxena, X Zhu, N Rodrigues, P Daian, D Guth, G Roşu
强制性开放获取政策： US National Science Foundation
Clockwork finance: Automated analysis of economic security in smart contracts
K Babel, P Daian, M Kelkar, A Juels
2023 IEEE Symposium on Security and Privacy (SP), 2499-2516, 2023
强制性开放获取政策： US National Science Foundation
Paralysis proofs: Secure dynamic access structures for cryptocurrency custody and more
F Zhang, P Daian, I Bentov, I Miers, A Juels
Proceedings of the 1st ACM Conference on Advances in Financial Technologies …, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense
RV-ECU: Maximum assurance in-vehicle safety monitoring
P Daian, S Shiraishi, A Iwai, B Manja, G Rosu
SAE Technical Paper, 2016
强制性开放获取政策： US National Science Foundation, US National Aeronautics and Space Administration
The Hydra framework for principled, automated bug bounties
L Breidenbach, P Daian, F Tramer, A Juels
IEEE Security & Privacy 17 (4), 53-61, 2019
强制性开放获取政策： US National Science Foundation
Paralysis proofs: secure access-structure updates for cryptocurrencies and more
F Zhang, P Daian, G Kaptchuk, I Bentov, I Miers, A Juels
Cryptology ePrint Archive, 2018
强制性开放获取政策： US National Science Foundation, US Department of Defense
出版信息和资助信息由计算机程序自动确定