Ethan Cecchetti

According to our database, Ethan Cecchetti authored at least 22 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Generating Compilers for Qubit Mapping and Routing.

Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi

Proc. ACM Program. Lang., 2026

2025

zkStruDul: Programming zkSNARKs with Structural Duality.

Rahul Krishnan, Ashley Samuelson, Emily Yao, Ethan Cecchetti

CoRR, November, 2025

Choreographic Quick Changes: First-Class Location (Set) Polymorphism.

Ashley Samuelson, Andrew K. Hirsch, Ethan Cecchetti

Proc. ACM Program. Lang., 2025

Nonmalleable Progress Leakage.

Ethan Cecchetti

Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025

2024

Universal Composability Is Robust Compilation.

Marco Patrignani, Robert Künnemann, Riad S. Wahby, Ethan Cecchetti

ACM Trans. Program. Lang. Syst., December, 2024

System-Level Defense against Indirect Prompt Injection Attacks: An Information Flow Control Perspective.

Fangzhou Wu, Ethan Cecchetti, Chaowei Xiao

CoRR, 2024

SCIF: A Language for Compositional Smart Contract Security.

Siqiu Yao, Haobin Ni, Andrew C. Myers, Ethan Cecchetti

CoRR, 2024

Computationally Bounded Robust Compilation and Universally Composable Security.

Robert Künnemann, Marco Patrignani, Ethan Cecchetti

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Semantics for Noninterference with Interaction Trees (Artifact).

Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic

Dagstuhl Artifacts Ser., 2023

Semantics for Noninterference with Interaction Trees.

Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2021

Mechanisms for Provable Integrity Protection in Decentralized Systems.

Ethan Cecchetti

PhD thesis, 2021

Giving semantics to program-counter labels via secure effects.

Andrew K. Hirsch, Ethan Cecchetti

Proc. ACM Program. Lang., 2021

A Calculus for Flow-Limited Authorization.

Owen Arden, Anitha Gollamudi, Ethan Cecchetti, Stephen Chong, Andrew C. Myers

CoRR, 2021

Compositional Security for Reentrant Applications.

Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

First-Order Logic for Flow-Limited Authorization.

Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

PIEs: Public Incompressible Encodings for Decentralized Storage.

Ethan Cecchetti, Ben Fisch, Ian Miers, Ari Juels

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

PIEs: Public Incompressible Encodings for Decentralized Storage.

Ethan Cecchetti, Ian Miers, Ari Juels

IACR Cryptol. ePrint Arch., 2018

Obladi: Oblivious Serializable Transactions in the Cloud.

Natacha Crooks, Matthew Burke, Ethan Cecchetti, Sitar Harel, Rachit Agarwal, Lorenzo Alvisi

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

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, Yan Ji, Ahmed E. Kosba, Ari Juels, Elaine Shi

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

Nonmalleable Information Flow Control.

Ethan Cecchetti, Andrew C. Myers, Owen Arden

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Town Crier: An Authenticated Data Feed for Smart Contracts.

Fan Zhang, Ethan Cecchetti, Kyle Croman, Ari Juels, Elaine Shi

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016