Folgen
Ethan Cecchetti
Ethan Cecchetti
Assistant Professor of Computer Sciences, University of Wisconsin - Madison
Bestätigte E-Mail-Adresse bei wisc.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
7642016
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
1602017
Authenticated data feed for blockchains
F Zhang, E Cecchetti, K Croman, A Juels, R Shi
US Patent 11,829,998, 2023
1412023
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
772018
Nonmalleable information flow control
E Cecchetti, AC Myers, O Arden
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
682017
Compositional Security for Reentrant Applications
E Cecchetti, S Yao, H Ni, AC Myers
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021
302021
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
142019
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
102020
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
72021
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
22023
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
12023
Mechanisms for Provable Integrity Protection in Decentralized Systems
EB Cecchetti
Cornell University, 2021
12021
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
12020
Computationally Bounded Robust Compilation and Universally Composable Security
R Künnemann, M Patrignani, E Cecchetti
arXiv preprint arXiv:2401.15041, 2024
2024
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14