• 
  Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling. A Symbolic Framework to Analyse Physical Proximity in Security Protocols. Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Dec 2018, Ahmedabad, India. ⟨10.4230/LIPIcs.FSTTCS.2018.29⟩. ⟨hal-02390222⟩
• 
  Mohamad Muhieddine, Edouard Canot, Ramiro March. Various Approaches for Solving Problems in Heat Conduction with Phase Change. International Journal on Finite Volumes, 2009, pp.19. ⟨hal-01120384v2⟩
• 
  Yann Busnel. Le modèle de pair à pair profite aux réseaux de capteurs très étendus. Interstices, 2007. ⟨inria-00153901⟩
• 
  Anthony Beaudoin, Jean-Raynald de Dreuzy, Jocelyne Erhel, Géraldine Pichot. Convergence analysis of macrospreading in 3D heterogeneous porous media. ESAIM: Proceedings, 2013, 41, pp.59-76. ⟨10.1051/proc/201341003⟩. ⟨hal-00904436⟩
• 
  Ghada Arfaoui, Olivier Blazy, Xavier Bultel, Pierre-Alain Fouque, Thibaut Jacques, et al.. How to (Legally) Keep Secrets from Mobile Operators. Computer Security - ESORICS 2021 - 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4-8, 2021, Proceedings, Part I, 2021, Online, Unknown Region. pp.23--43, ⟨10.1007/978-3-030-88418-5\_2⟩. ⟨hal-03478246⟩

896

579