About

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.

Full CV

Publications

  • First-Order Logic for Flow-Limited Authorization (In Submission)
    A.K. Hirsch, P.H.A. de Amorim, E. Cecchetti, R. Tate, O. Arden
  • PIEs: Public Incompressible Encodings for Decentralized Storage (In Submission)
    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.

Service

Teaching

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