Publications
4
4
Publications
|
|
Shadoks Approach to Low-Makespan Coordinated Motion PlanningACM Journal of Experimental Algorithmics, 2022, 27, pp.1-17. ⟨10.1145/3524133⟩ |
|
|
A Unified Symbolic Analysis of WireGuardUsenix Network and Distributed System Security Symposium, Feb 2024, San Diego (CA), United States. ⟨10.14722/ndss.2024.24364⟩ |
|
|
Generic Blockchain on Generic Human BehaviorSECRYPT 2023, Jul 2023, Rome, Italy |
|
|
Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge)37th International Symposium on Computational Geometry, SoCG 2021, June 7-11, 2021, Buffalo, NY, USA (Virtual Conference), Jun 2021, Buffalo, United States. ⟨10.4230/LIPIcs.SoCG.2021.63⟩ |
Chargement...
Chargement...