| 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 | 714 | 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 | 157 | 2017 |
| Authenticated data feed for blockchains F Zhang, E Cecchetti, K Croman, A Juels, R Shi US Patent App. 15/615,216, 2017 | 136 | 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 | 73 | 2018 |
| Nonmalleable information flow control E Cecchetti, AC Myers, O Arden Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 63 | 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 | 26 | 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 | 14 | 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 | 10 | 2020 |
| 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 | 6 | 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 | 2 | 2023 |
| 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 | 1 | 2023 |
| Mechanisms for Provable Integrity Protection in Decentralized Systems EB Cecchetti Cornell University, 2021 | 1 | 2021 |
| 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 | 1 | 2020 |
Ari JuelsProfessor, Computer Science, Cornell Tech (Jacobs); Co-Director, IC3Verified email at cornell.edu
