Please see Semantic Scholar or Google Scholar for a more detailed list with preprints and technical reports.
Peer-reviewed conference proceedings
N. Bertrand, V. Gramoli, M. Lazić, I. Konnov, P. Tholoniat, J. Widder, Holistic Verification of Blockchain Consensus, in 36th International Symposium on Distributed Computing (DISC 22), 2022, doi: 10.4230/LIPIcs.DISC.2022.10. A short version also appeared at PODC'22 (doi: 10.1145/3519270.3538468).
T. Ryffel, P. Tholoniat, D. Pointcheval, and F. Bach, AriaNN: Low-interaction privacy-preserving deep learning via function secret sharing, in Proceedings on Privacy Enhancing Technologies (PETS 22), 2022, doi: 10.2478/popets-2022-0015.
T. Luo, M. Pan, P. Tholoniat, A. Cidon, R. Geambasu, and M. Lécuyer, Privacy budget scheduling, in 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21), 2021, https://www.usenix.org/conference/osdi21/presentation/luo.
R. van Glabbeek, V. Gramoli, and P. Tholoniat, Feasibility of Cross-Chain Payment with Success Guarantees, in Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 20), 2020, doi: 10.1145/3350755.3400264. An extended version is available here.
Peer-reviewed workshop papers
P. Tholoniat and I. Chai, Bulletproof hosting: Ecosystem and registry-based approaches, in 2020 Student Symposium in Cybersecurity Policy, Tufts University, 2020.
Book chapters
P. Tholoniat and V. Gramoli, Formal verification of blockchain byzantine fault tolerance, in Handbook on Blockchain. Springer Optimization and Its Applications, 2022. doi: 10.1007/978-3-031-07535-3_12