Ethan Cecchetti

Orcid: 0000-0001-7900-8328

According to our database1, Ethan Cecchetti authored at least 15 papers between 2016 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Computationally Bounded Robust Compilation and Universally Composable Security.
CoRR, 2024

2023
Semantics for Noninterference with Interaction Trees (Artifact).
Dagstuhl Artifacts Ser., 2023

Semantics for Noninterference with Interaction Trees.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2021
Mechanisms for Provable Integrity Protection in Decentralized Systems.
PhD thesis, 2021

Giving semantics to program-counter labels via secure effects.
Proc. ACM Program. Lang., 2021

A Calculus for Flow-Limited Authorization.
CoRR, 2021

Compositional Security for Reentrant Applications.
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020
First-Order Logic for Flow-Limited Authorization.
Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019
PIEs: Public Incompressible Encodings for Decentralized Storage.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018
PIEs: Public Incompressible Encodings for Decentralized Storage.
IACR Cryptol. ePrint Arch., 2018

Obladi: Oblivious Serializable Transactions in the Cloud.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017
Solidus: Confidential Distributed Ledger Transactions via PVORM.
IACR Cryptol. ePrint Arch., 2017

Nonmalleable Information Flow: Technical Report.
CoRR, 2017

Nonmalleable Information Flow Control.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
Town Crier: An Authenticated Data Feed for Smart Contracts.
IACR Cryptol. ePrint Arch., 2016


  Loading...