Jean-Louis Lanet

105 papers A* 1A 1B 9C 29Misc 2Journal 27Unranked 32

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