Town Crier: An Authenticated Data Feed for Smart Contracts. - Fan Zhang 022; Ethan Cecchetti; Kyle Croman; Ari Juels; Elaine Shi (IACR Cryptol. ePrint Arch., 2016)

Nonmalleable Information Flow Control. - Ethan Cecchetti; Andrew C. Myers; Owen Arden (CCS, 2017)

Nonmalleable Information Flow: Technical Report. - Ethan Cecchetti; Andrew C. Myers; Owen Arden (CoRR, 2017)

Solidus: Confidential Distributed Ledger Transactions via PVORM. - Ethan Cecchetti; Fan Zhang 022; Yan Ji 001; Ahmed E. Kosba; Ari Juels; Elaine Shi (IACR Cryptol. ePrint Arch., 2017)

Obladi: Oblivious Serializable Transactions in the Cloud. - Natacha Crooks; Matthew Burke 001; Ethan Cecchetti; Sitar Harel; Rachit Agarwal 001; Lorenzo Alvisi (OSDI, 2018)

PIEs: Public Incompressible Encodings for Decentralized Storage. - Ethan Cecchetti; Ian Miers; Ari Juels (IACR Cryptol. ePrint Arch., 2018)

PIEs: Public Incompressible Encodings for Decentralized Storage. - Ethan Cecchetti; Ben Fisch; Ian Miers; Ari Juels (CCS, 2019)

First-Order Logic for Flow-Limited Authorization. - Andrew K. Hirsch; Pedro H. Azevedo de Amorim; Ethan Cecchetti; Ross Tate; Owen Arden (CSF, 2020)

Compositional Security for Reentrant Applications. - Ethan Cecchetti; Siqiu Yao; Haobin Ni; Andrew C. Myers (SP, 2021)

A Calculus for Flow-Limited Authorization. - Owen Arden; Anitha Gollamudi; Ethan Cecchetti; Stephen Chong; Andrew C. Myers (CoRR, 2021)

Giving semantics to program-counter labels via secure effects. - Andrew K. Hirsch; Ethan Cecchetti (Proc. ACM Program. Lang., 2021)

Mechanisms for Provable Integrity Protection in Decentralized Systems. - Ethan Cecchetti (2021)

Semantics for Noninterference with Interaction Trees. - Lucas Silver; Paul He; Ethan Cecchetti; Andrew K. Hirsch; Steve Zdancewic (ECOOP, 2023)

Semantics for Noninterference with Interaction Trees (Artifact). - Lucas Silver; Paul He; Ethan Cecchetti; Andrew K. Hirsch; Steve Zdancewic (Dagstuhl Artifacts Ser., 2023)

Computationally Bounded Robust Compilation and Universally Composable Security. - Robert Künnemann; Marco Patrignani; Ethan Cecchetti (CSF, 2024)

SCIF: A Language for Compositional Smart Contract Security. - Siqiu Yao; Haobin Ni; Andrew C. Myers; Ethan Cecchetti (CoRR, 2024)

System-Level Defense against Indirect Prompt Injection Attacks: An Information Flow Control Perspective. - Fangzhou Wu; Ethan Cecchetti; Chaowei Xiao (CoRR, 2024)

Universal Composability Is Robust Compilation. - Marco Patrignani; Robert Künnemann; Riad S. Wahby; Ethan Cecchetti (ACM Trans. Program. Lang. Syst., 2024)

Nonmalleable Progress Leakage. - Ethan Cecchetti (CoRR, 2025)

Choreographic Quick Changes: First-Class Location (Set) Polymorphism. - Ashley Samuelson; Andrew K. Hirsch; Ethan Cecchetti (CoRR, 2025)