Ethan Cecchetti

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 21

Top Topics

Information Flow

Correctness Criteria

Declarative Semantics

Top Venues

IACR Cryptol. ePrint Arch.

Proc. ACM Program. Lang.

Publications

Robert Künnemann, Marco Patrignani, Ethan Cecchetti
Computationally Bounded Robust Compilation and Universally Composable Security. CoRR (2024)
Siqiu Yao, Haobin Ni, Andrew C. Myers, Ethan Cecchetti
SCIF: A Language for Compositional Smart Contract Security. CoRR (2024)
Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic
Semantics for Noninterference with Interaction Trees. ECOOP (2023)
Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic
Semantics for Noninterference with Interaction Trees (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers
Compositional Security for Reentrant Applications. CoRR (2021)
Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers
Compositional Security for Reentrant Applications. IEEE Symposium on Security and Privacy (2021)
Andrew K. Hirsch, Ethan Cecchetti
Giving semantics to program-counter labels via secure effects. Proc. ACM Program. Lang. 5 (POPL) (2021)
Owen Arden, Anitha Gollamudi, Ethan Cecchetti, Stephen Chong, Andrew C. Myers
A Calculus for Flow-Limited Authorization. CoRR (2021)
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
First-Order Logic for Flow-Limited Authorization. CoRR (2020)
Andrew K. Hirsch, Ethan Cecchetti
Giving Semantics to Program-Counter Labels via Secure Effects. CoRR (2020)
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
First-Order Logic for Flow-Limited Authorization. CSF (2020)
Ethan Cecchetti, Ben Fisch, Ian Miers, Ari Juels
PIEs: Public Incompressible Encodings for Decentralized Storage. CCS (2019)
Natacha Crooks, Matthew Burke, Ethan Cecchetti, Sitar Harel, Rachit Agarwal, Lorenzo Alvisi
Obladi: Oblivious Serializable Transactions in the Cloud. CoRR (2018)
Natacha Crooks, Matthew Burke, Ethan Cecchetti, Sitar Harel, Rachit Agarwal, Lorenzo Alvisi
Obladi: Oblivious Serializable Transactions in the Cloud. OSDI (2018)
Ethan Cecchetti, Ian Miers, Ari Juels
PIEs: Public Incompressible Encodings for Decentralized Storage. IACR Cryptol. ePrint Arch. 2018 (2018)
Ethan Cecchetti, Andrew C. Myers, Owen Arden
Nonmalleable Information Flow Control. CCS (2017)
Ethan Cecchetti, Andrew C. Myers, Owen Arden
Nonmalleable Information Flow: Technical Report. CoRR (2017)
Ethan Cecchetti, Fan Zhang, Yan Ji, Ahmed E. Kosba, Ari Juels, Elaine Shi
Solidus: Confidential Distributed Ledger Transactions via PVORM. CCS (2017)
Ethan Cecchetti, Fan Zhang, Yan Ji, Ahmed E. Kosba, Ari Juels, Elaine Shi
Solidus: Confidential Distributed Ledger Transactions via PVORM. IACR Cryptol. ePrint Arch. 2017 (2017)
Fan Zhang, Ethan Cecchetti, Kyle Croman, Ari Juels, Elaine Shi
Town Crier: An Authenticated Data Feed for Smart Contracts. CCS (2016)
Fan Zhang, Ethan Cecchetti, Kyle Croman, Ari Juels, Elaine Shi
Town Crier: An Authenticated Data Feed for Smart Contracts. IACR Cryptol. ePrint Arch. 2016 (2016)