Ethan Cecchetti – Computer Science

About

I have recently completed my PhD 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 a Bachelor's 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

Publications

Mechanisms for Provable Integrity Protection in Decentralized Systems
PhD Dissertation

E. Cecchetti

PDF
Compositional Security for Reentrant Applications
IEEE S&P '21

E. Cecchetti, S. Yao, H. Ni, and A. C. Myers
Best Paper Award
PDF Official Version () Tech Report Talk
Giving Semantics to Program-Counter Labels via Secure Effects
POPL '21

A. K. Hirsch and E. Cecchetti

Paper Tech Report Talk^†
First-Order Logic for Flow-Limited Authorization
CSF '20

A. K. Hirsch, P. H. A. de Amorim, E. Cecchetti, R. Tate, and O. Arden

PDF Official Version Tech Report Talk
Securing Smart Contracts with Information Flow
FAB '20

E. Cecchetti, S. Yao, H. Ni, and A. C. Myers

PDF Talk
PIEs: Public Incompressible Encodings for Decentralized Storage
CCS '19

E. Cecchetti, B. Fisch, I. Miers, and A. Juels

Paper Tech Report Talk
Obladi: Oblivious Serializable Transactions in the Cloud
OSDI '18

N. Crooks, M. Burke, E. Cecchetti, S. Harel, R. Agarwal, and L. Alvisi

Paper and Talk Tech Report
Nonmalleable Information Flow Control
CCS '17

E. Cecchetti, A. C. Myers, and O. Arden
Finalist for Best Paper Award
PDF^‡ Official Version Tech Report Talk
Solidus: Confidential Distributed Ledger Transactions via PVORM
CCS '17

E. Cecchetti, F. Zhang, Y. Ji, A. Kosba, A. Juels, and E. Shi

Paper Tech Report Talk
Town Crier: An Authenticated Data Feed for Smart Contracts
CCS '16

F. Zhang, E. Cecchetti, K. Croman, A. Juels, and E. Shi

Paper Tech Report Talk

All linked talks given by paper's first author.

^† Talk given jointly by both authors.

^‡ This PDF corrects typographical errors present in the published version of the paper.

Service

Professional Service

PLAS '20 Program Committee
FAB '20 Program Committee
TOPLAS Referee
Sub-reviewer for OOPSLA '21, CCS '20, FC '20, PLDI '19, and OOPSLA '19.

Department and University Service

Cornell Graduate and Professional Student Leadership Council.
(2019 – 2020)
Cornell Graduate and Professional Student Mental Health Council.
(2018 – 2020)
Organized Cornell's Security and Privacy Discussion Group (SecDG).
(2016 – 2019)
President of Cornell's Computer Science Graduate Organization.
(2017 – 2019)
Representative in Cornell's Graduate and Professional Student Assembly.
(2016 – 2018)
Co-coordinated Cornell's CS PhD Visit Day (2016 and 2017).

Outreach

Teach 7th – 9th grade girls computer science with Expanding Your Horizons.
(2016 – 2019)
Taught 6th – 8th graders math and programming with Bootstrap. (2013)

Teaching

Cornell University

Spring 2018 – Grad TA for CS 5430/5431: Systems Security
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