| Town crier: An authenticated data feed for smart contracts F Zhang, E Cecchetti, K Croman, A Juels, E Shi Proceedings of the 2016 ACM SIGSAC conference on computer and communications …, 2016 | 961 | 2016 |
| Solidus: Confidential distributed ledger transactions via PVORM E Cecchetti, F Zhang, Y Ji, A Kosba, A Juels, E Shi Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 191 | 2017 |
| Authenticated data feed for blockchains F Zhang, E Cecchetti, K Croman, A Juels, R Shi US Patent 11,829,998, 2023 | 180 | 2023 |
| Obladi: Oblivious serializable transactions in the cloud N Crooks, M Burke, E Cecchetti, S Harel, R Agarwal, L Alvisi 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2018 | 109 | 2018 |
| Nonmalleable information flow control E Cecchetti, AC Myers, O Arden Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 81 | 2017 |
| Compositional Security for Reentrant Applications E Cecchetti, S Yao, H Ni, AC Myers Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021 | 57 | 2021 |
| System-level defense against indirect prompt injection attacks: An information flow control perspective F Wu, E Cecchetti, C Xiao arXiv preprint arXiv:2409.19091, 2024 | 36 | 2024 |
| Pies: Public incompressible encodings for decentralized storage E Cecchetti, B Fisch, I Miers, A Juels Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 20 | 2019 |
| Securing Smart Contracts with Information Flow E Cecchetti, S Yao, H Ni, AC Myers 3rd International Symposium on Foundations and Applications of Blockchain 2020, 2020 | 15 | 2020 |
| Semantics for noninterference with interaction trees L Silver, P He, E Cecchetti, AK Hirsch, S Zdancewic 37th European Conference on Object-Oriented Programming (ECOOP 2023), 29: 1 …, 2023 | 13 | 2023 |
| One File for the Price of Three: Catching Cheating Servers in Decentralized Storage Networks E Cecchetti Hacking Distributed blog, 2018 | 11 | 2018 |
| Giving semantics to program-counter labels via secure effects AK Hirsch, E Cecchetti Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021 | 10 | 2021 |
| Universal composability is robust compilation M Patrignani, R Künnemann, RS Wahby, E Cecchetti ACM Transactions on Programming Languages and Systems 46 (4), 1-64, 2024 | 7 | 2024 |
| First-Order Logic for Flow-Limited Authorization AK Hirsch, PHA de Amorim, E Cecchetti, R Tate, O Arden 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 123-138, 2020 | 7 | 2020 |
| A Language for Smart Contracts with Secure Control Flow (Technical Report) S Yao, H Ni, S Ma, N Schiff, AC Myers, E Cecchetti arXiv preprint arXiv:2407.01204, 2024 | 3* | 2024 |
| Choreographic Quick Changes: First-Class Location (Set) Polymorphism A Samuelson, AK Hirsch, E Cecchetti Proceedings of the ACM on Programming Languages 9 (OOPSLA2), 1783-1808, 2025 | 2 | 2025 |
| Semantics for Noninterference with Interaction Trees (Artifact) L Silver, P He, E Cecchetti, AK Hirsch, S Zdancewic Dagstuhl Artifacts Series 9 (2), 6: 1-6: 2, 2023 | 2 | 2023 |
| Generating Compilers for Qubit Mapping and Routing A Molavi, A Xu, E Cecchetti, S Tannu, A Albarghouthi Proceedings of the ACM on Programming Languages 10 (POPL), 2265-2294, 2026 | 1 | 2026 |
| Computationally Bounded Robust Compilation and Universally Composable Security R Künnemann, M Patrignani, E Cecchetti 2024 IEEE 37th Computer Security Foundations Symposium (CSF), 265-278, 2024 | 1 | 2024 |
| Mechanisms for Provable Integrity Protection in Decentralized Systems EB Cecchetti Cornell University, 2021 | 1 | 2021 |
Ari JuelsProfessor, Computer Science, Cornell Tech; Co-Director, IC3; Chief Scientist, Chainlink LabsVerified email at cornell.edu
