Jean-Louis Lanet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
21
Active years
1996–2021
Best venue rank
A*
Where they publish
- CCARDIS8 papers
- CCRiSIS8 papers
- CWISTP2 papers
- CSECRYPT2 papers
- UnrankedEUSPN1 paper
- BWiMob1 paper
- NationalICISS1 paper
- CPST1 paper
- BTrustCom1 paper
- UnrankedSEC1 paper
- CICISSP1 paper
- BSEFM1 paper
- CVECoS1 paper
- BIFM1 paper
- BSAFECOMP1 paper
- BDBSEC1 paper
- A*ICDE1 paper
- Journal PublishedCASES1 paper
- BFM1 paper
- AESORICS1 paper
- BEuroPar1 paper
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CARDIS | Under the Dome: Preventing Hardware Timing Information Leakage. | Mathieu Escouteloup, Ronan Lashermes, Jacques Fournier, Jean-Louis Lanet |
| 2019 | CRiSIS | Watch Out! Doxware on the Way... | Routa Moussaileb, Charles Berti, Guillaume Deboisdeffre, Nora Cuppens, Jean-Louis Lanet |
| 2019 | EUSPN | Untitled record | Lopold Ouairy, Hlne Le Bouder, Jean-Louis Lanet |
| 2019 | WiMob | SEER4US, Secured Energy Efficient Routing for UAV Swarms. | Benot Fournier, Gilles Guette, Valrie Viet Triem Tong, Jean-Louis Lanet |
| 2017 | ICISS | Experimenting Similarity-Based Hijacking Attacks Detection and Response in Android Systems. | Anis Bkakria, Mariem Graa, Nora Cuppens-Boulahia, Frdric Cuppens, Jean-Louis Lanet |
| 2017 | PST | Real-Time Detection and Reaction to Activity Hijacking Attacks in Android Smartphones (Short Paper). | Anis Bkakria, Mariem Graa, Nora Cuppens-Boulahia, Frdric Cuppens, Jean-Louis Lanet |
| 2017 | TrustCom | An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. | Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay |
| 2017 | SEC | Detection of Side Channel Attacks Based on Data Tainting in Android Systems. | Mariem Graa, Nora Cuppens-Boulahia, Frdric Cuppens, Jean-Louis Lanet, Routa Moussaileb |
| 2017 | WISTP | How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip. | Sbanjila Kevin Bukasa, Ronan Lashermes, Hlne Le Bouder, Jean-Louis Lanet, Axel Legay |
| 2016 | CARDIS | The Hell Forgery - Self Modifying Codes Shoot Again. | Abdelhak Mesbah, Leo Regnaud, Jean-Louis Lanet, Mohamed Mezghiche |
| 2016 | CRiSIS | A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. | Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet |
| 2016 | CRiSIS | Ransomware and the Legacy Crypto API. | Aurlien Palisse, Hlne Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay |
| 2016 | ICISSP | Tracking Explicit and Control Flows in Java and Native Android Apps Code. | Mariem Graa, Nora Cuppens-Boulahia, Frdric Cuppens, Jean-Louis Lanet |
| 2016 | SECRYPT | A Template Attack Against VERIFY PIN Algorithms. | Hlne Le Bouder, Thierno Barry, Damien Courouss, Jean-Louis Lanet, Ronan Lashermes |
| 2016 | WISTP | Runtime Code Polymorphism as a Protection Against Side Channel Attacks. | Damien Courouss, Thierno Barry, Bruno Robisson, Philippe Jaillon, Olivier Potin, Jean-Louis Lanet |
| 2015 | SEFM | Model-Based Robustness Testing in Event-B Using Mutation. | Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet |
| 2015 | VECoS | An Approach for Formal Verification of Updated Java Bytecode Programs. | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
| 2014 | CARDIS | Heap ... Hop! Heap Is Also Vulnerable. | Guillaume Bouffard, Michael Lackner, Jean-Louis Lanet, Johannes Loinig |
| 2014 | CARDIS | Memory Forensics of a Java Card Dump. | Jean-Louis Lanet, Guillaume Bouffard, Rokia Lamrani Alaoui, Ranim Chakra, Afef Mestiri, Mohammed Monsif, Abdellatif Fandi |
| 2014 | SECRYPT | COGITO: Code Polymorphism to Secure Devices. | Damien Courouss, Bruno Robisson, Jean-Louis Lanet, Thierno Barry, Hassan Noura, Philippe Jaillon, Philippe Laleve |
| 2013 | CRiSIS | Accessing secure information using export file fraudulence. | Guillaume Bouffard, Tom Khefif, Jean-Louis Lanet, Ismael Kane, Sergio Casanova Salvia |
| 2013 | CRiSIS | Foreword. | Jean-Louis Lanet |
| 2013 | IFM | Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. | Aymerick Savary, Marc Frappier, Jean-Louis Lanet |
| 2013 | SAFECOMP | Vulnerability Analysis on Smart Cards Using Fault Tree. | Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet |
| 2012 | CRiSIS | Attacks against smart cards: Hands on session. | Jean-Louis Lanet |
| 2012 | DBSEC | A Friendly Framework for Hidding fault enabled virus for Java Based Smartcard. | Tiana Razafindralambo, Guillaume Bouffard, Jean-Louis Lanet |
| 2011 | CARDIS | Combined Software and Hardware Attacks on the Java Card Control Flow. | Guillaume Bouffard, Julien Iguchi-Cartigny, Jean-Louis Lanet |
| 2011 | CARDIS | Evaluation of the Ability to Transform SIM Applications into Hostile Applications. | Guillaume Bouffard, Jean-Louis Lanet, Jean-Baptiste Machemie, Jean-Yves Poichotte, Jean-Philippe Wary |
| 2011 | CRiSIS | A Security Mechanism to Increase Confidence in M-Transactions. | David Pequegnot, Laurent Cart-Lamy, Aurlien Thomas, Thibault Tigeon, Julien Iguchi-Cartigny, Jean-Louis Lanet |
| 2011 | ICDE | Hot updates for Java based smart cards. | Agnes C. Noubissi, Julien Iguchi-Cartigny, Jean-Louis Lanet |
| 2010 | CRiSIS | A new payment protocol over the Internet. | Pierre Girard, Karine Villegas, Jean-Louis Lanet, Aude Plateaux |
| 2009 | CASES | Automatic detection of fault attack and countermeasures. | Ahmadou Al Khary Sr, Julien Iguchi-Cartigny, Jean-Louis Lanet |
| 2004 | CARDIS | Enforcing High-Level Security Properties for Applets. | Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet |
| 2003 | FM | Java Applet Correctness: A Developer-Oriented Approach. | Lilian Burdy, Antoine Requet, Jean-Louis Lanet |
| 2000 | ESORICS | Checking Secure Interactions of Smart Card Applets. | Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon |
| 1998 | CARDIS | Formal Proof of Smart Card Applets Correctness. | Jean-Louis Lanet, Antoine Requet |
| 1996 | EuroPar | A Load Balancing Task Allocation Scheme in a Hard Real Time System. | Jean-Louis Lanet |