research
∙
06/28/2023
Boost: Effective Caching in Differentially-Private Databases
Differentially private (DP) databases can enable privacy-preserving anal...
share
research
∙
12/26/2022
Packing Privacy Budget Efficiently
Machine learning (ML) models can leak information about users, and diffe...
research
∙
06/09/2022
Holistic Verification of Blockchain Consensus
Blockchain has recently attracted the attention of the industry due, in ...
research
∙
06/29/2021
Privacy Budget Scheduling
Machine learning (ML) models trained on personal data have been shown to...
research
∙
07/16/2020
Feasibility of Cross-Chain Payment with Success Guarantees
We consider the problem of cross-chain payment whereby customers of diff...
research
∙
12/10/2019
Cross-Chain Payment Protocols with Success Guarantees
In this paper, we consider the problem of cross-chain payment whereby cu...
research
∙
09/16/2019
Formal Verification of Blockchain Byzantine Fault Tolerance
To implement a blockchain, the trend is now to integrate a non-trivial B...
research
∙
09/16/2019