I am a PhD candidate at Cornell University in the Department of Computer Science, a member of the Initiative for Cryptocurrencies & Contracts, and the grateful recipient of a 2017 NDSEG Fellowship. My research focuses on designing secure systems and building tools to ease their development. I am advised by Andrew Myers and Ari Juels.

I received my bachelors degree in Mathematics – Computer Science from Brown University in May 2012 where I worked with Shriram Krishnamurthi on WeScheme, a web-based development environment for Racket. After graduating, I spent three years as a software engineer at TripAdvisor working on major backend data import and infrastructure systems.

In my spare time I like to play Ultimate Frisbee, play board, card, and table-top games, and go for hikes and bike rides.

Full CV

Academic Papers

  • First-Order Logic for Flow-Limited Authorization (CSF 2020 – To Appear)
    A.K. Hirsch, P.H.A. de Amorim, E. Cecchetti, R. Tate, O. Arden
  • PIEs: Public Incompressible Encodings for Decentralized Storage (CCS 2019)
    E. Cecchetti, B. Fisch, I. Miers, and A. Juels
  • Obladi: Oblivious Serializable Transactions in the Cloud (OSDI 2018)
    N. Crooks, M. Burke, E. Cecchetti, S. Harel, R. Agarwal, and L. Alvisi
  • Nonmalleable Information Flow Control (CCS 2017)
    E. Cecchetti, A.C. Myers, O. Arden
    Best Paper Award Finalist
  • Solidus: Confidential Distributed Ledger Transactions via PVORM (CCS 2017)
    E. Cecchetti, F. Zhang, Y. Ji, A. Kosba, A. Juels, and E. Shi
  • Town Crier: An Authenticated Data Feed for Smart Contracts (CCS 2016)
    F. Zhang, E. Cecchetti, K. Croman, A. Juels, and E. Shi
All linked talks given by paper's first author.



Cornell University

  • Spring 2018 – Grad TA for CS 5431: Systems Security Practicum
  • Fall 2015 – Grad TA for CS 2110: Object-Oriented Programming and Data Structures

Brown University

  • Fall 2011 – Head TA for CSCI 1510: Introduction to Cryptography and Computer Security
  • Fall 2010 – Head TA for CSCI 0510: Models of Computation
  • Fall 2009 – Head TA for CSCI 0190: Programming with Data Structures and Algorithms