Ethan Cecchetti – Computer Science – University of Maryland – Research

I have moved!

I am now an Assistant Professor at Wisconsin – Madison.

Please find my new website at: cecchetti.sites.cs.wisc.edu

Research

Conference Papers

Semantics for Noninterference with Interaction Trees
ECOOP '23

L. Silver, P. He, E. Cecchetti, A. K. Hirsch, and S. Zdancewic
Distinguished Paper Award
Paper
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
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
Best Paper Award Finalist
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 were given by the paper's first author unless otherwise noted.

^† Talk given jointly by both authors.

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

Workshop Papers

Securing Smart Contracts with Information Flow
FAB '20

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

PDF Talk

Dissertation

Mechanisms for Provable Integrity Protection in Decentralized Systems

E. Cecchetti

PDF