Jean-Louis Lanet

Publication Activity (10 Years)

Years Active: 1996-2021
Publications (10 Years): 46

Top Topics

Fault Injection

Countermeasures

Top Venues

Publications

Yassine Lemmou, Jean-Louis Lanet, El Mamoun Souidi
A behavioural in-depth analysis of ransomware infection. IET Inf. Secur. 15 (1) (2021)
Routa Moussaileb, Nora Cuppens, Jean-Louis Lanet, Hélène Le Bouder
A Survey on Windows-based Ransomware Taxonomy and Detection Mechanisms. ACM Comput. Surv. 54 (6) (2021)
Mathieu Escouteloup, Ronan Lashermes, Jacques Fournier, Jean-Louis Lanet
Under the Dome: Preventing Hardware Timing Information Leakage. CARDIS (2021)
Yassine Lemmou, Jean-Louis Lanet, El Mamoun Souidi
In-Depth Analysis of Ransom Note Files. Comput. 10 (11) (2021)
Cédric Herzog, Valérie Viet Triem Tong, Pierre Wilke, Arnaud Van Straaten, Jean-Louis Lanet
Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures. CoRR (2020)
Guillaume Hiet, Frédéric Tronel, Jean-Louis Lanet
Workshop on the Security of Software/Hardware Interfaces (SILM 2020). EuroS&P Workshops (2020)
Samiya Hamadouche, Jean-Louis Lanet, Mohamed Mezghiche
Hiding a fault enabled virus through code construction. J. Comput. Virol. Hacking Tech. 16 (2) (2020)
Léopold Ouairy, Hélène Le Bouder, Jean-Louis Lanet
: detecting vulnerabilities in Java Card applets. ARES (2020)
Cédric Herzog, Valérie Viet Triem Tong, Pierre Wilke, Arnaud Van Straaten, Jean-Louis Lanet
Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures. ICETE (2) (2020)
Mozhdeh Farhadi, Jean-Louis Lanet, Guillaume Pierre, Daniele Miorandi
A systematic approach toward security in Fog computing: Assets, vulnerabilities, possible countermeasures. Softw. Pract. Exp. 50 (6) (2020)
Léopold Ouairy, Hélène Le Bouder, Jean-Louis Lanet
's neighborhood discovery algorithm. EUSPN/ICTH (2019)
Benoît Fournier, Gilles Guette, Valérie Viet Triem Tong, Jean-Louis Lanet
SEER4US, Secured Energy Efficient Routing for UAV Swarms. WiMob (2019)
Routa Moussaileb, Nora Cuppens, Jean-Louis Lanet, Hélène Le Bouder
Ransomware Network Traffic Analysis for Pre-encryption Alert. FPS (2019)
Abdelhak Mesbah, Jean-Louis Lanet, Mohamed Mezghiche
Reverse engineering Java Card and vulnerability exploitation: a shortcut to ROM. Int. J. Inf. Sec. 18 (1) (2019)
Routa Moussaileb, Charles Berti, Guillaume Deboisdeffre, Nora Cuppens, Jean-Louis Lanet
Watch Out! Doxware on the Way... CRiSIS (2019)
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
Formal methods in dynamic software updating: a survey. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
Etienne Boespflug, Romain Gourier, Jean-Louis Lanet
Predicting the Effect of Hardware Fault Injection. IWBIS (2019)
Jean-Louis Lanet, Hélène Le Bouder, Mohammed Benattou, Axel Legay
When time meets test. Int. J. Inf. Sec. 17 (4) (2018)
Damien Couroussé, Thierno Barry, Bruno Robisson, Nicolas Belleville, Philippe Jaillon, Olivier Potin, Hélène Le Bouder, Jean-Louis Lanet, Karine Heydemann
All paths lead to Rome: Polymorphic Runtime Code Generation for Embedded Systems. CS2@HiPEAC (2018)
Yahiaoui Chahrazed, Jean-Louis Lanet, Mohamed Mezghiche, Karim Tamine
Machine learning techniques to predict sensitive patterns to fault attack in the Java Card application. J. Exp. Theor. Artif. Intell. 30 (1) (2018)
Sébanjila Kevin Bukasa, Ronan Lashermes, Jean-Louis Lanet, Axel Legay
Let's shock our IoT's heart: ARMv7-M under (fault) attacks. ARES (2018)
Routa Moussaileb, Benjamin Bouget, Aurélien Palisse, Hélène Le Bouder, Nora Cuppens, Jean-Louis Lanet
Ransomware's Early Mitigation Mechanisms. ARES (2018)
Mohamed El Beqqal, Mostafa Azizi, Jean-Louis Lanet
A Novel Approach for an Interoperable Biometric Verification. Int. J. Interact. Mob. Technol. 12 (6) (2018)
Sébanjila Kevin Bukasa, Ludovic Claudepierre, Ronan Lashermes, Jean-Louis Lanet
When Fault Injection Collides with Hardware Complexity. FPS (2018)
Léopold Ouairy, Hélène Le Bouder, Jean-Louis Lanet
Normalization of Java Source Codes. SecITC (2018)
Léopold Ouairy, Hélène Le Bouder, Jean-Louis Lanet
Protection of Systems Against Fuzzing Attacks. FPS (2018)
Hélène Le Bouder, Gaël Thomas, Edwin Bourget, Mariem Graa, Nora Cuppens, Jean-Louis Lanet
Theoretical Security Evaluation of the Human Semantic Authentication Protocol. ICETE (2) (2018)
Damien Couroussé, Thierno Barry, Bruno Robisson, Philippe Jaillon, Olivier Potin, Jean-Louis Lanet
Runtime Code Polymorphism as a Protection Against Side Channel Attacks. IACR Cryptol. ePrint Arch. 2017 (2017)
Anis Bkakria, Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Jean-Louis Lanet
Real-Time Detection and Reaction to Activity Hijacking Attacks in Android Smartphones (Short Paper). PST (2017)
Noreddine El Janati El Idrissi, Guillaume Bouffard, Jean-Louis Lanet, Said El Hajji
Trust can be misplaced. J. Cryptogr. Eng. 7 (1) (2017)
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
A formal verification of dynamic updating in a Java-based embedded system. Int. J. Crit. Comput. Based Syst. 7 (4) (2017)
Mozhdeh Farhadi, Jean-Louis Lanet
Chronicle of a Java Card death. J. Comput. Virol. Hacking Tech. 13 (2) (2017)
Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Jean-Louis Lanet, Routa Moussaileb
Detection of Side Channel Attacks Based on Data Tainting in Android Systems. SEC (2017)
Abdelhak Mesbah, Jean-Louis Lanet, Mohamed Mezghiche
Reverse engineering a Java Card memory management algorithm. Comput. Secur. 66 (2017)
Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. TrustCom/BigDataSE/ICESS (2017)
Aurélien Palisse, Antoine Durand, Hélène Le Bouder, Colas Le Guernic, Jean-Louis Lanet
Data Aware Defense (DaD): Towards a Generic and Practical Ransomware Countermeasure. NordSec (2017)
Sébanjila Kevin Bukasa, Ronan Lashermes, Hélène Le Bouder, Jean-Louis Lanet, Axel Legay
How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip. WISTP (2017)
Anis Bkakria, Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Jean-Louis Lanet
Experimenting Similarity-Based Hijacking Attacks Detection and Response in Android Systems. ICISS (2017)
Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Jean-Louis Lanet
Tracking Explicit and Control Flows in Java and Native Android Apps Code. ICISSP (2016)
Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet
A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. CRiSIS (2016)
Nisrine Jafri, Axel Legay, Jean-Louis Lanet
Vulnerability Prediction Against Fault Attacks. ERCIM News 2016 (106) (2016)
Damien Couroussé, Thierno Barry, Bruno Robisson, Philippe Jaillon, Olivier Potin, Jean-Louis Lanet
Runtime Code Polymorphism as a Protection Against Side Channel Attacks. WISTP (2016)
Abdelhak Mesbah, Leo Regnaud, Jean-Louis Lanet, Mohamed Mezghiche
The Hell Forgery - Self Modifying Codes Shoot Again. CARDIS (2016)
Aurélien Palisse, Hélène Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay
Ransomware and the Legacy Crypto API. CRiSIS (2016)
Hélène Le Bouder, Thierno Barry, Damien Couroussé, Jean-Louis Lanet, Ronan Lashermes
A Template Attack Against VERIFY PIN Algorithms. SECRYPT (2016)
Mozhdeh Farhadi, Jean-Louis Lanet
Paper Tigers: An Endless Fight. SECITC (2016)
Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet
Model-Based Robustness Testing in Event-B Using Mutation. SEFM (2015)
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
An Approach for Formal Verification of Updated Java Bytecode Programs. VECoS (2015)
Noreddine El Janati El Idrissi, Said El Hajji, Jean-Louis Lanet
Countermeasures Mitigation for Designing Rich Shell Code in Java Card. C2SI (2015)
Guillaume Bouffard, Jean-Louis Lanet
The ultimate control flow transfer in a Java based smart card. Comput. Secur. 50 (2015)
Jean-Louis Lanet
Beyond Cryptanalysis Is Software Security the Next Threat for Smart Cards. C2SI (2015)
Mohammed Amine Kasmi, Mostafa Azizi, Jean-Louis Lanet
Side channel analysis techniques towards a methodology for reverse engineering of Java Card byte-code. IAS (2015)
Damien Couroussé, Bruno Robisson, Jean-Louis Lanet, Thierno Barry, Hassan Noura, Philippe Jaillon, Philippe Lalevée
COGITO: Code Polymorphism to Secure Devices. SECRYPT (2014)
Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet
Security automaton to mitigate laser-based fault attacks on smart cards. Int. J. Trust. Manag. Comput. Commun. 2 (2) (2014)
Guillaume Bouffard, Michael Lackner, Jean-Louis Lanet, Johannes Loinig
Heap ... Hop! Heap Is Also Vulnerable. CARDIS (2014)
Jean-Louis Lanet, Guillaume Bouffard, Rokia Lamrani, Ranim Chakra, Afef Mestiri, Mohammed Monsif, Abdellatif Fandi
Memory Forensics of a Java Card Dump. CARDIS (2014)
Achkar Amine, Mohammed Benattou, Jean-Louis Lanet
Generating control flow graph from Java card byte code. CIST (2014)
Guillaume Bouffard, Jean-Louis Lanet
Reversing the operating system of a Java based smart card. J. Comput. Virol. Hacking Tech. 10 (4) (2014)
Jean Dubreuil, Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet
Mitigating Type Confusion on Java Card. Int. J. Secur. Softw. Eng. 4 (2) (2013)
Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet
Detecting Laser Fault Injection for Smart Cards Using Security Automata. SSCC (2013)
Jean-Louis Lanet
Foreword. CRiSIS (2013)
Nassima Kamel, Jean-Louis Lanet
Risks induced by Web applications on smart cards. J. Inf. Secur. Appl. 18 (2-3) (2013)
Samiya Hamadouche, Jean-Louis Lanet
Virus in a smart card: Myth or reality? J. Inf. Secur. Appl. 18 (2-3) (2013)
Guillaume Bouffard, Tom Khefif, Jean-Louis Lanet, Ismael Kane, Sergio Casanova Salvia
Accessing secure information using export file fraudulence. CRiSIS (2013)
Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet
Vulnerability Analysis on Smart Cards Using Fault Tree. SAFECOMP (2013)
Aymerick Savary, Marc Frappier, Jean-Louis Lanet
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. IFM (2013)
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation. SCSS (2012)
Tiana Razafindralambo, Guillaume Bouffard, Jean-Louis Lanet
A Friendly Framework for Hidding fault enabled virus for Java Based Smartcard. DBSec (2012)
Jean Dubreuil, Guillaume Bouffard, Jean-Louis Lanet, Julien Cartigny
Type Classification against Fault Enabled Mutant in Java Based Smart Card. ARES (2012)
Tiana Razafindralambo, Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet
A Dynamic Syntax Interpretation for Java Based Smart Card to Mitigate Logical Attacks. SNDS (2012)
Guillaume Bouffard, Jean-Louis Lanet
The Next Smart Card Nightmare - Logical Attacks, Combined Attacks, Mutant Applications and Other Funny Things. Cryptography and Security (2012)
Jean-Louis Lanet
Attacks against smart cards: Hands on session. CRiSIS (2012)
Agnes C. Noubissi, Julien Iguchi-Cartigny, Jean-Louis Lanet
Hot updates for Java based smart cards. ICDE Workshops (2011)
David Pequegnot, Laurent Cart-Lamy, Aurélien Thomas, Thibault Tigeon, Julien Iguchi-Cartigny, Jean-Louis Lanet
A Security Mechanism to Increase Confidence in M-Transactions. CRiSIS (2011)
Guillaume Bouffard, Jean-Louis Lanet, Jean-Baptiste Machemie, Jean-Yves Poichotte, Jean-Philippe Wary
Evaluation of the Ability to Transform SIM Applications into Hostile Applications. CARDIS (2011)
Amaury Gauthier, Clement Mazin, Julien Iguchi-Cartigny, Jean-Louis Lanet
Enhancing Fuzzing Technique for OKL4 Syscalls Testing. ARES (2011)
Jean-Baptiste Machemie, Clement Mazin, Jean-Louis Lanet, Julien Cartigny
SmartCM a smart card fault injection simulator. WIFS (2011)
Guillaume Bouffard, Julien Iguchi-Cartigny, Jean-Louis Lanet
Combined Software and Hardware Attacks on the Java Card Control Flow. CARDIS (2011)
Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies. J. Autom. Reason. 45 (4) (2010)
Julien Iguchi-Cartigny, Jean-Louis Lanet
Developing a Trojan applets in a smart card. J. Comput. Virol. 6 (4) (2010)
Pierre Girard, Karine Villegas, Jean-Louis Lanet, Aude Plateaux
A new payment protocol over the Internet. CRiSIS (2010)
Ahmadou Al Khary Séré, Julien Iguchi-Cartigny, Jean-Louis Lanet
Checking the Paths to Identify Mutant Application on Embedded Systems. FGIT (2010)
Ahmadou Al Khary Séré, Julien Iguchi-Cartigny, Jean-Louis Lanet
Automatic detection of fault attack and countermeasures. WESS (2009)
Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet
JACK - A Tool for Validation of Security and Behaviour of Java Applications. FMCO (2006)
Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
Case Study in JML-Based Software Validation. ASE (2004)
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet
Enforcing High-Level Security Properties for Applets. CARDIS (2004)
Lilian Burdy, Antoine Requet, Jean-Louis Lanet
Java Applet Correctness: A Developer-Oriented Approach. FME (2003)
Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
Checking Secure Interactions of Smart Card Applets: Extended Version. J. Comput. Secur. 10 (4) (2002)
Ludovic Casset, Jean-Louis Lanet
Increasing smart card dependability. ACM SIGOPS European Workshop (2002)
Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet
Electronic Purse Applet Certification: extended abstract. Electron. Notes Theor. Comput. Sci. 32 (2000)
Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. Java Card Workshop (2000)
Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
Checking Secure Interactions of Smart Card Applets. ESORICS (2000)
Jean-Louis Lanet
Are Smart Cards the Ideal Domain for Applying Formal Methods? ZB (2000)
Gilles Grimaud, Jean-Louis Lanet, Jean-Jacques Vandewalle
FACADE: A Typed Intermediate Language Dedicated to Smart Cards. ESEC / SIGSOFT FSE (1999)
Ludovic Casset, Jean-Louis Lanet
How to Formally Specify the Java Bytecode Semantivs Using the B Method. ECOOP Workshops (1999)
Pierre Girard, Jean-Louis Lanet
New security issues raised by open cards. Inf. Secur. Tech. Rep. 4 (2) (1999)
Jean-Louis Lanet, Antoine Requet
Formal Proof of Smart Card Applets Correctness. CARDIS (1998)
Jean-Louis Lanet
A Load Balancing Task Allocation Scheme in a Hard Real Time System. Euro-Par, Vol. II (1996)