Ethan Cecchetti

32 papers A* 6A 4Journal 21
YearRankTypeTitle / Venue / Authors
2026 J jnl
Generating Compilers for Qubit Mapping and Routing.
Proc. ACM Program. Lang.
Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi
2025 J jnl
Choreographic Quick Changes: First-Class Location (Set) Polymorphism.
CoRR
Ashley Samuelson, Andrew K. Hirsch, Ethan Cecchetti
2025 J jnl
Choreographic Quick Changes: First-Class Location (Set) Polymorphism.
Proc. ACM Program. Lang.
Ashley Samuelson, Andrew K. Hirsch, Ethan Cecchetti
2025 J jnl
Generating Compilers for Qubit Mapping and Routing.
CoRR
Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi
2025 A conf
Nonmalleable Progress Leakage.
CSF
Ethan Cecchetti
2025 J jnl
Nonmalleable Progress Leakage.
CoRR
Ethan Cecchetti
2025 J jnl
zkStruDul: Programming zkSNARKs with Structural Duality.
CoRR
Rahul Krishnan, Ashley Samuelson, Emily Yao, Ethan Cecchetti
2024 A conf
Computationally Bounded Robust Compilation and Universally Composable Security.
CSF
Robert Künnemann, Marco Patrignani, Ethan Cecchetti
2024 J jnl
Computationally Bounded Robust Compilation and Universally Composable Security.
CoRR
Robert Künnemann, Marco Patrignani, Ethan Cecchetti
2024 J jnl
SCIF: A Language for Compositional Smart Contract Security.
CoRR
Siqiu Yao, Haobin Ni, Andrew C. Myers, Ethan Cecchetti
2024 J jnl
System-Level Defense against Indirect Prompt Injection Attacks: An Information Flow Control Perspective.
CoRR
Fangzhou Wu, Ethan Cecchetti, Chaowei Xiao
2024 J jnl
Universal Composability Is Robust Compilation.
ACM Trans. Program. Lang. Syst.
Marco Patrignani, Robert Künnemann, Riad S. Wahby, Ethan Cecchetti
2023 J jnl
Semantics for Noninterference with Interaction Trees (Artifact).
Dagstuhl Artifacts Ser.
Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic
2023 A conf
Semantics for Noninterference with Interaction Trees.
ECOOP
Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic
2021 J jnl
A Calculus for Flow-Limited Authorization.
CoRR
Owen Arden, Anitha Gollamudi, Ethan Cecchetti, Stephen Chong, Andrew C. Myers
2021 A* conf
Compositional Security for Reentrant Applications.
SP
Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers
2021 J jnl
Compositional Security for Reentrant Applications.
CoRR
Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers
2021 J jnl
Giving semantics to program-counter labels via secure effects.
Proc. ACM Program. Lang.
Andrew K. Hirsch, Ethan Cecchetti
2021 — —
Mechanisms for Provable Integrity Protection in Decentralized Systems.
Ethan Cecchetti
2020 A conf
First-Order Logic for Flow-Limited Authorization.
CSF
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
2020 J jnl
First-Order Logic for Flow-Limited Authorization.
CoRR
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
2020 J jnl
Giving Semantics to Program-Counter Labels via Secure Effects.
CoRR
Andrew K. Hirsch, Ethan Cecchetti
2019 A* conf
PIEs: Public Incompressible Encodings for Decentralized Storage.
CCS
Ethan Cecchetti, Ben Fisch, Ian Miers, Ari Juels
2018 A* conf
Obladi: Oblivious Serializable Transactions in the Cloud.
OSDI
Natacha Crooks, Matthew Burke, Ethan Cecchetti, Sitar Harel, Rachit Agarwal, Lorenzo Alvisi
2018 J jnl
Obladi: Oblivious Serializable Transactions in the Cloud.
CoRR
Natacha Crooks, Matthew Burke, Ethan Cecchetti, Sitar Harel, Rachit Agarwal, Lorenzo Alvisi
2018 J jnl
PIEs: Public Incompressible Encodings for Decentralized Storage.
IACR Cryptol. ePrint Arch.
Ethan Cecchetti, Ian Miers, Ari Juels
2017 A* conf
Nonmalleable Information Flow Control.
CCS
Ethan Cecchetti, Andrew C. Myers, Owen Arden
2017 J jnl
Nonmalleable Information Flow: Technical Report.
CoRR
Ethan Cecchetti, Andrew C. Myers, Owen Arden
2017 A* conf
Solidus: Confidential Distributed Ledger Transactions via PVORM.
CCS
Ethan Cecchetti, Fan Zhang, Yan Ji, Ahmed E. Kosba, Ari Juels, Elaine Shi
2017 J jnl
Solidus: Confidential Distributed Ledger Transactions via PVORM.
IACR Cryptol. ePrint Arch.
Ethan Cecchetti, Fan Zhang, Yan Ji, Ahmed E. Kosba, Ari Juels, Elaine Shi
2016 A* conf
Town Crier: An Authenticated Data Feed for Smart Contracts.
CCS
Fan Zhang, Ethan Cecchetti, Kyle Croman, Ari Juels, Elaine Shi
2016 J jnl
Town Crier: An Authenticated Data Feed for Smart Contracts.
IACR Cryptol. ePrint Arch.
Fan Zhang, Ethan Cecchetti, Kyle Croman, Ari Juels, Elaine Shi