Sotabase

Career

· Assistant Professor, University of Wisconsin - Madison

Publications (19)

Town Crier: An Authenticated Data Feed for Smart Contracts
Conference on Computer and Communications Security · 2016
655
cited
Solidus: Confidential Distributed Ledger Transactions via PVORM
Conference on Computer and Communications Security · 2017
126
cited
Obladi: Oblivious Serializable Transactions in the Cloud
USENIX Symposium on Operating Systems Design and Implementation · 2018
90
cited
Nonmalleable Information Flow Control
Conference on Computer and Communications Security · 2017
48
cited
Compositional Security for Reentrant Applications
IEEE Symposium on Security and Privacy · 2021
38
cited
PIEs: Public Incompressible Encodings for Decentralized Storage
IACR Cryptology ePrint Archive · 2019
18
cited
Securing Smart Contracts with Information Flow
2020
11
cited
Semantics for Noninterference with Interaction Trees (Artifact)
Dagstuhl Artifacts Ser. · 2023
6
cited
First-Order Logic for Flow-Limited Authorization
IEEE Computer Security Foundations Symposium · 2020
5
cited
Giving semantics to program-counter labels via secure effects
Proc. ACM Program. Lang. · 2020
5
cited
Nonmalleable Information Flow: Technical Report
arXiv.org · 2017
1
cited
A Language for Smart Contracts with Secure Control Flow (Technical Report)
2024
Choreographic Quick Changes: First-Class Location (Set) Polymorphism
Proceedings of the ACM on Programming Languages · 2025
Computationally Bounded Robust Compilation and Universally Composable Security
IEEE Computer Security Foundations Symposium · 2024
Generating Compilers for Qubit Mapping and Routing
Proc. ACM Program. Lang. · 2025
Mechanisms for Provable Integrity Protection in Decentralized Systems
2021
Nonmalleable Progress Leakage
IEEE Computer Security Foundations Symposium · 2025
zkStruDul: Programming zkSNARKs with Structural Duality
arXiv.org · 2025
Sotabase
Ethan Cecchetti | Researcher Profile | Sotabase | Sotabase