 |
Ethan Cecchetti(pronouns: he/him)
Office: Morgridge Hall 7649
|
Manuscripts
-
zkStruDul: Programming zkSNARKs with Structural Duality
-
Step in Tine: Forking Processes in Functional Choreographies
-
Bellerophon: Non-Interactive Verifier-Free Remote Attestation
-
A Language for Smart Contracts with Secure Control Flow
-
System-Level Defense against Indirect Prompt Injection Attacks:An Information Flow Control Perspective
Conference & Journal Publications
-
Generating Compilers for Qubit Mapping and Routing
-
Choreographic Quick Changes: First-Class Location (Set) Polymorphism
-
Nonmalleable Progress Leakage
-
Universal Composability is Robust Compilation
-
Computationally Bounded Robust Compilation and UC Security
-
Semantics for Noninterference with Interaction Trees
-
Compositional Security for Reentrant Applications
-
Giving Semantics to Program-Counter Labels via Secure Effects
-
First-Order Logic for Flow-Limited Authorization
-
PIEs: Public Incompressible Encodings for Decentralized Storage
-
Obladi: Oblivious Serializable Transactions in the Cloud
-
Nonmalleable Information Flow Control
-
Solidus: Confidential Distributed Ledger Transactions via PVORM
-
Town Crier: An Authenticated Data Feed for Smart Contracts
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.
Dissertation
-
Mechanisms for Provable Integrity Protection in Decentralized Systems