Αποτελέσματα αναζήτησης - Lepoint, Tancrède

Verifying the Fisher-Yates Shuffle Algorithm in Dafny από Zetzsche, Stefan, Tristan, Jean-Baptiste, Lepoint, Tancrede, Mayer, Mikael

Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου

Verified Foundations for Differential Privacy από de Medeiros, Markus, Naveed, Muhammad, Lepoint, Tancrède, Kahsai, Temesghen, Ravitch, Tristan, Zetzsche, Stefan, Joshi, Anjali, Tassarotti, Joseph, Albarghouthi, Aws, Tristan, Jean-Baptiste

Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου

Advances and Open Problems in Federated Learning από Kairouz, Peter, McMahan, H. Brendan, Avent, Brendan, Bellet, Aurélien, Bennis, Mehdi, Bhagoji, Arjun Nitin, Bonawitz, Kallista, Charles, Zachary, Cormode, Graham, Cummings, Rachel, D'Oliveira, Rafael G. L., Eichner, Hubert, Rouayheb, Salim El, Evans, David, Gardner, Josh, Garrett, Zachary, Gascón, Adrià, Ghazi, Badih, Gibbons, Phillip B., Gruteser, Marco, Harchaoui, Zaid, He, Chaoyang, He, Lie, Huo, Zhouyuan, Hutchinson, Ben, Hsu, Justin, Jaggi, Martin, Javidi, Tara, Joshi, Gauri, Khodak, Mikhail, Konečný, Jakub, Korolova, Aleksandra, Koushanfar, Farinaz, Koyejo, Sanmi, Lepoint, Tancrède, Liu, Yang, Mittal, Prateek, Mohri, Mehryar, Nock, Richard, Özgür, Ayfer, Pagh, Rasmus, Raykova, Mariana, Qi, Hang, Ramage, Daniel, Raskar, Ramesh, Song, Dawn, Song, Weikang, Stich, Sebastian U., Sun, Ziteng, Suresh, Ananda Theertha, Tramèr, Florian, Vepakomma, Praneeth, Wang, Jianyu, Xiong, Li, Xu, Zheng, Yang, Qiang, Yu, Felix X., Yu, Han, Zhao, Sen

Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου