| 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 | 818 | 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 | 171 | 2017 |
| 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 | 89 | 2018 |
| Nonmalleable information flow control E Cecchetti, AC Myers, O Arden Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 68 | 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 | 41 | 2021 |
| 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 | 17 | 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 | 13 | 2020 |
| 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 | 8 | 2021 |
| 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), 2023 | 5 | 2023 |
| 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 | 4 | 2020 |
| Semantics for Noninterference with Interaction Trees (Artifact) L Silver, P He, E Cecchetti, AK Hirsch, S Zdancewic Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023 | 2 | 2023 |
| Mechanisms for Provable Integrity Protection in Decentralized Systems EB Cecchetti Cornell University, 2021 | 1 | 2021 |
| Authenticated data feed for blockchains F Zhang, E Cecchetti, K Croman, A Juels, R Shi US Patent App. 18/497,407, 2024 | | 2024 |
| Computationally Bounded Robust Compilation and Universally Composable Security R Künnemann, M Patrignani, E Cecchetti arXiv preprint arXiv:2401.15041, 2024 | | 2024 |
| Authenticated data feed for blockchains F Zhang, E Cecchetti, K Croman, A Juels, R Shi US Patent 11,829,998, 2023 | | 2023 |
| SCIF: A Language for Compositional Smart Contract Security S Yao, H Ni, AC Myers, E Cecchetti | | |
Ari JuelsProfessor, Computer Science, Cornell Tech (Jacobs); Co-Director, IC3Verified email at cornell.edu
