Please see Semantic Scholar or Google Scholar for a more up-to-date list with preprints and technical reports.
Peer-reviewed conference proceedings
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. ArXiv preprint.
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), USENIX Association, Jul. 2021, pp. 55–74, isbn: 978-1-939133-22-9. ArXiv preprint.
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, ser. SPAA ’20, New York, NY, USA: Association for Computing Machinery, Jul. 6, 2020, pp. 579–581, isbn: 978-1-4503-6935-0. ArXiv preprint, Extended version.
Peer-reviewed workshop papers
P. Tholoniat and I. Chai, “Bulletproof hosting: Ecosystem and registry-based approaches”, in 2020 Student Symposium in Cybersecurity Policy, Boston, MA, USA: Tufts University, 2020.
P. Tholoniat and V. Gramoli, “Formal verification of blockchain byzantine fault tolerance”, in 6th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA’19), 2019. ArXiv preprint.
Technical reports
N. Bertrand, V. Gramoli, I. Konnov, M. Lazic, P. Tholoniat, and J. Widder, Compositional Verification of Byzantine Consensus, 2021. hal-03158911. HAL preprint.
R. van Glabbeek, V. Gramoli, and P. Tholoniat, Cross-chain payment protocols with success guarantees, 2019. arXiv: 1912.04513[cs.DC]. ArXiv preprint.