63 404

• 
  Corentin Larroche. Network-wide intrusion detection through statistical analysis of event logs : an interaction-centric approach. Applications [stat.AP]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT041⟩. ⟨tel-03455127⟩
• 
  Nicolas Brantut, Alexandre Shubnel, Christian David, Eva Héripré, Yves Gueguen, et al.. Dehydration-induced damage and deformation in gypsum and implications for subduction zone processes. Journal of Geophysical Research, American Geophysical Union, 2012, 117 (B3), ⟨10.1029/2011JB008730⟩. ⟨hal-00870373⟩
• 
  Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling. So near and yet so far - Symbolic verification of distance-bounding protocols. [Research Report] Univ Rennes, CNRS, IRISA, France. 2020. ⟨hal-02965322v2⟩
• 
  Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, et al.. A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking. ACNS, Jun 2022, Rome, Italy. ⟨hal-03450625⟩
• 
  Nathalie Grangeon, Raïssa Mbiadou Saleu, Laurent Deroussi, Dominique Feillet, Alain Quilliot. The parallel drone scheduling problem with multiple drones and vehicles. European Journal of Operational Research, Elsevier, 2021, ⟨10.1016/j.ejor.2021.08.014⟩. ⟨hal-03448521⟩