Follow
Ethan Cecchetti
Ethan Cecchetti
Assistant Professor of Computer Sciences, University of Wisconsin - Madison
Verified email at wisc.edu - Homepage
Title
Cited by
Cited by
Year
Town crier: An authenticated data feed for smart contracts
F Zhang, E Cecchetti, K Croman, A Juels, E Shi
Proceedings of the 2016 ACM SIGSAC conference on computer and communications …, 2016
7962016
Solidus: Confidential distributed ledger transactions via PVORM
E Cecchetti, F Zhang, Y Ji, A Kosba, A Juels, E Shi
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
1672017
Obladi: Oblivious serializable transactions in the cloud
N Crooks, M Burke, E Cecchetti, S Harel, R Agarwal, L Alvisi
13th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2018
862018
Nonmalleable information flow control
E Cecchetti, AC Myers, O Arden
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
672017
Compositional Security for Reentrant Applications
E Cecchetti, S Yao, H Ni, AC Myers
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021
392021
Pies: Public incompressible encodings for decentralized storage
E Cecchetti, B Fisch, I Miers, A Juels
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
172019
Securing Smart Contracts with Information Flow
E Cecchetti, S Yao, H Ni, AC Myers
3rd International Symposium on Foundations and Applications of Blockchain 2020, 2020
112020
One File for the Price of Three: Catching Cheating Servers in Decentralized Storage Networks
E Cecchetti
Hacking Distributed blog, 2018
112018
Giving semantics to program-counter labels via secure effects
AK Hirsch, E Cecchetti
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
82021
Semantics for Noninterference with Interaction Trees
L Silver, P He, E Cecchetti, AK Hirsch, S Zdancewic
37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023
42023
First-Order Logic for Flow-Limited Authorization
AK Hirsch, PHA de Amorim, E Cecchetti, R Tate, O Arden
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 123-138, 2020
32020
Semantics for Noninterference with Interaction Trees (Artifact)
L Silver, P He, E Cecchetti, AK Hirsch, S Zdancewic
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023
22023
Town crier
F Zhang, E Cecchetti, K Croman, A Juels, E Shi
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2021
22021
Mechanisms for Provable Integrity Protection in Decentralized Systems
EB Cecchetti
Cornell University, 2021
12021
Authenticated data feed for blockchains
F Zhang, E Cecchetti, K Croman, A Juels, R Shi
US Patent App. 18/497,407, 2024
2024
Computationally Bounded Robust Compilation and Universally Composable Security
R Künnemann, M Patrignani, E Cecchetti
arXiv preprint arXiv:2401.15041, 2024
2024
Authenticated data feed for blockchains
F Zhang, E Cecchetti, K Croman, A Juels, R Shi
US Patent 11,829,998, 2023
2023
SCIF: A Language for Compositional Smart Contract Security
S Yao, H Ni, AC Myers, E Cecchetti
The system can't perform the operation now. Try again later.
Articles 1–18