Jean-Francois Lalande

jean-francois.lalande [at] centralesupelec.fr

Résumé :

  • Since sept. 2017, I moved to CentraleSupelec Rennes. I am currently professor at CentraleSupélec, in the Inria project CIDRE of the IRISA laboratory. From 2005 to 2017, I was associate professor at INSA Centre Val de Loire (LIFO laboratory).
  • My areas of interest are the security of operating systems, the security of C embedded software (e.g. smart cards) and the security of Android applications. I work on malware analysis, access control policies, intrusion detection tools and software code analysis.
  • I defended my Habilitation to supervize research (HDR) the 30th of november of 2016.

Publications :

  • POSTER - 3 documents
    • Manuel Poisson, Sébastien Kilian, Valérie Viet Triem Tong, Jean-François Lalande, Gilles Guette, Frédéric Ghihéry, Damien Crémilleux. Digital twin for security evaluation using an attack agent, 2024-08-14. (https://inria.hal.science/hal-04708718v1)
    • Mourad Leslous, Jean-François Lalande, Valérie Viet Triem Tong. Using Implicit Calls to Improve Malware Dynamic Execution, 2016-05-23. (https://hal.science/hal-01304326v1)
    • Adrien Abraham, Radoniaina Andriatsimandefitra Ratsisahanana, Nicolas Kiss, Jean-François Lalande, Valérie Viet Triem Tong. Towards Automatic Triggering of Android Malware, 2015-07-09. (https://inria.hal.science/hal-01168354v1)
  • Communication on a congress - 60 documents
  • Article in a review - 15 documents
    • Pierre Graux, Jean-François Lalande, Valérie Viet Triem Tong, Pierre Wilke. OATs’inside : Retrieving Object Behaviors From Native-based Obfuscated Android Applications, 2023-08-10. (https://centralesupelec.hal.science/hal-04279351v1)
    • Tomás Concepción Miranda, Pierre-Francois Gimenez, Jean-François Lalande, Valérie Viet Triem Tong, Pierre Wilke. Debiasing Android Malware Datasets: How Can I Trust Your Results If Your Dataset Is Biased?, 2022-06-03. (https://inria.hal.science/hal-03700082v1)
    • Steffen Wendzel, Luca Caviglione, Aleksandra Mileva, Jean-François Lalande, Wojciech Mazurczyk. Guest editorial: Information security methodology and replication studies, 2022-04-05. (https://inria.hal.science/hal-03629524v1)
    • Karine Heydemann, Jean-François Lalande, Pascal Berthomé. Formally verified software countermeasures for control-flow integrity of smart card C code, 2019-08. (https://hal.sorbonne-universite.fr/hal-02123836v1)
    • Steffen Wendzel, Luca Caviglione, Wojciech Mazurczyk, Jean-François Lalande. Network Information Hiding and Science 2.0: Can it be a Match?, 2017-04. (https://hal.science/hal-01451475v1)
    • Marcin Urbanski, Wojciech Mazurczyk, Jean-François Lalande, Luca Caviglione. Detecting Local Covert Channels Using Process Activity Correlation on Android Smartphones, 2017. (https://hal.science/hal-01302828v1)
    • Valérie Viet Triem Tong, Jean-François Lalande, Mourad Leslous. Challenges in Android Malware Analysis, 2016-07. (https://centralesupelec.hal.science/hal-01355122v1)
    • Luca Caviglione, Mauro Gaggero, Jean-François Lalande, Wojciech Mazurczyk, Marcin Urbanski. Seeing the Unseen: Revealing Mobile Malware Hidden Communications via Energy Consumption and Artificial Intelligence, 2016-04. (https://hal.science/hal-01247495v1)
    • Pascal Berthomé, Saïd Gharout, Ghada Arfaoui, Jean-François Lalande, Jacques Traoré, Nicolas Desmoulins. A Practical Set-Membership Proof for Privacy-Preserving NFC Mobile Ticketing, 2015-06-22. (https://inria.hal.science/hal-01192867v1)
    • Ghada Arfaoui, Guillaume Dabosville, Sébastien Gambs, Patrick Lacharme, Jean-François Lalande. A Privacy-Preserving NFC Mobile Pass for Transport Systems, 2014-12-28. (https://inria.hal.science/hal-01091576v1)
    • Waleed W. Smari, Patrice Clemente, Jean-François Lalande. An extended attribute based access control model with trust and privacy: Application to a collaborative crisis management system, 2014-02. (https://hal.science/hal-00835887v1)
    • Mathieu Blanc, Jean-François Lalande. Improving Mandatory Access Control for HPC clusters, 2013-03. (https://hal.science/hal-00691844v1)
    • Jérémy Briffaut, Jean-François Lalande, Christian Toinard. Formalization of security properties: enforcement for MAC operating systems and verification of dynamic MAC policies, 2009-12. (https://hal.science/hal-00464773v1)
    • Jean-François Lalande, David Rodriguez, Christian Toinard. Security properties in an open peer-to-peer network, 2009-10. (https://hal.science/hal-00451807v1)
    • Jérémy Briffaut, Jean-François Lalande, Christian Toinard. Security and results of a large-scale high-interaction honeypot, 2009-05. (https://hal.science/hal-00451810v1)
  • ISSUE - 1 document
    • Steffen Wendzel, Luca Caviglione, Alessandro Checco, Aleksandra Mileva, Jean-François Lalande, Wojciech Mazurczyk. Information Security Methodology, Replication Studies and Information Security Education, 2020-07-28. (https://centralesupelec.hal.science/hal-02988140v1)
  • Work chapter - 3 documents
    • Luca Caviglione, Mauro Gaggero, Jean-François Lalande, Wojciech Mazurczyk. Understanding Information Hiding to Secure Communications and to Prevent Exfiltration of Mobile Data, 2017-08-15. (https://hal.science/hal-01430804v1)
    • Jérémy Briffaut, Patrice Clemente, Jean-François Lalande, Jonathan Rouzaud-Cornabas. Honeypot forensics for system and network SIEM design, 2013-01. (https://hal.science/hal-00677340v1)
    • Sara Alouf, Eitan Altman, Jérôme Galtier, Jean-François Lalande, Corinne Touati. Quasi-Optimal Resource Allocation in Multi-Spot MFTDMA Satellite Networks, 2006. (https://inria.hal.science/inria-00000005v1)
  • HDR - 1 document
  • Pre-submission / Working document - 1 document
    • Ghada Arfaoui, Jean-François Lalande, Jacques Traoré, Nicolas Desmoulins, Pascal Berthomé, Saïd Gharout. A Practical Set-Membership Proof for Privacy-Preserving NFC Mobile Ticketing, 2015-05-11. (https://inria.hal.science/hal-01150321v1)
  • PROCEEDINGS - 1 document
    • Sébastien Gambs, Brigitte Juanals, Jean-François Lalande, Jean-Luc Minel, Mathilde de Saint Léger. Privacy and Mobile Technologies: the Need to Build a Digital Culture, 2014-09-17. (https://shs.hal.science/halshs-01065840v1)
  • Report - 4 documents
    • Pascal Berthomé, Jean-François Lalande, Vincent Levorato. Implementation of exponential and parametrized algorithms in the AGAPE project, 2012-01-27. (https://hal.science/hal-00663866v1)
    • Jérémy Briffaut, Patrice Clemente, Jean-François Lalande, Jonathan Rouzaud-Cornabas. From Manual Cyber Attacks Forensic to Automatic Characterization of Attackers' Profiles J. Briffaut, P. Clemente, J.-F. Lalande, J. Rouzaud-Cornabas, 2011. (https://hal.science/hal-00995211v1)
    • Sara Alouf, Eitan Altman, Jérôme Galtier, Jean-François Lalande, Corinne Touati. Un algorithme d'allocation de bande passante satellitaire, 2004-04. (https://inria.hal.science/inria-00071416v1)
    • Jean-François Lalande, Michel Syska, Yann Verhoeven. Mascopt - A Network Optimization Library: Graph Manipulation, 2004. (https://inria.hal.science/inria-00069887v1)
  • Dissertation - 1 document