Follow
Pierre Tholoniat
Pierre Tholoniat
Verified email at columbia.edu - Homepage
Title
Cited by
Cited by
Year
Formal verification of blockchain Byzantine fault tolerance
P Tholoniat, V Gramoli
arXiv preprint arXiv:1909.07453, 2019
222019
Ariann: Low-interaction privacy-preserving deep learning via function secret sharing
T Ryffel, P Tholoniat, D Pointcheval, F Bach
Proceedings on Privacy Enhancing Technologies 2022 (1), 291-316, 2020
182020
Cross-Chain Payment Protocols with Success Guarantees
R van Glabbeek, V Gramoli, P Tholoniat
arXiv preprint arXiv:1912.04513, 2019
62019
Privacy Budget Scheduling
T Luo, M Pan, P Tholoniat, A Cidon, R Geambasu, M Lécuyer
15th {USENIX} Symposium on Operating Systems Design and Implementation …, 2021
52021
Compositional Verification of Byzantine Consensus
N Bertrand, V Gramoli, I Konnov, M Lazic, P Tholoniat, J Widder
52021
Feasibility of Cross-Chain Payment with Success Guarantees
R van Glabbeek, V Gramoli, P Tholoniat
Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and …, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–6