| Java applet correctness: A developer-oriented approach L Burdy, A Requet, JL Lanet FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003 | 174 | 2003 |
| Combined software and hardware attacks on the java card control flow G Bouffard, J Iguchi-Cartigny, JL Lanet Smart Card Research and Advanced Applications: 10th IFIP WG 8.8/11.2 …, 2011 | 93 | 2011 |
| Developing a Trojan applets in a smart card J Iguchi-Cartigny, JL Lanet Journal in computer virology 6 (4), 343-351, 2010 | 70 | 2010 |
| JACK—a tool for validation of security and behaviour of Java applications G Barthe, L Burdy, J Charles, B Grégoire, M Huisman, JL Lanet, ... Formal Methods for Components and Objects: 5th International Symposium, FMCO …, 2007 | 69 | 2007 |
| Ransomware and the legacy crypto API A Palisse, H Le Bouder, JL Lanet, C Le Guernic, A Legay Risks and Security of Internet and Systems: 11th International Conference …, 2017 | 67 | 2017 |
| Checking secure interactions of smart card applets: Extended version P Bieber, J Cazin, P Girard, JL Lanet, V Wiels, G Zanon Journal of Computer Security 10 (4), 369-398, 2002 | 60 | 2002 |
| Ransomware's early mitigation mechanisms R Moussaileb, B Bouget, A Palisse, H Le Bouder, N Cuppens, JL Lanet Proceedings of the 13th international conference on availability …, 2018 | 56 | 2018 |
| A survey on windows-based ransomware taxonomy and detection mechanisms R Moussaileb, N Cuppens, JL Lanet, HL Bouder ACM Computing Surveys (CSUR) 54 (6), 1-36, 2021 | 55 | 2021 |
| Enforcing high-level security properties for applets M Pavlova, G Barthe, L Burdy, M Huisman, JL Lanet Smart Card Research and Advanced Applications VI: IFIP 18th World Computer …, 2004 | 55 | 2004 |
| Formal proof of smart card applets correctness JL Lanet, A Requet Smart Card Research and Applications: Third International Conference, CARDIS …, 2000 | 50 | 2000 |
| Evaluation of countermeasures against fault J Iguchi-Cartigny, JL Lanet International Journal of Security and Its Applications 5 (2), 49-60, 2011 | 42 | 2011 |
| A case study in JML-based software validation L du Bousquet, Y Ledru, O Maury, C Oriat, JL Lanet Proceedings. 19th International Conference on Automated Software Engineering …, 2004 | 42 | 2004 |
| Data aware defense (DaD): towards a generic and practical ransomware countermeasure A Palisse, A Durand, H Le Bouder, C Le Guernic, JL Lanet Secure IT Systems: 22nd Nordic Conference, NordSec 2017, Tartu, Estonia …, 2017 | 41 | 2017 |
| Automatic detection of fault attack and countermeasures AA Sere, J Iguchi-Cartigny, JL Lanet Proceedings of the 4th Workshop on Embedded Systems Security, 1-7, 2009 | 40 | 2009 |
| SmartCM a smart card fault injection simulator JB Machemie, C Mazin, JL Lanet, J Cartigny 2011 IEEE International Workshop on Information Forensics and Security, 1-6, 2011 | 37 | 2011 |
| FACADE: a typed intermediate language dedicated to smart cards G Grimaud, JL Lanet, JJ Vandewalle ACM SIGSOFT Software Engineering Notes 24 (6), 476-493, 1999 | 35 | 1999 |
| How TrustZone could be bypassed: Side-channel attacks on a modern system-on-chip SK Bukasa, R Lashermes, H Le Bouder, JL Lanet, A Legay Information Security Theory and Practice: 11th IFIP WG 11.2 International …, 2018 | 34 | 2018 |
| The PACAP prototype: a tool for detecting Java Card illegal flow P Bieber, J Cazin, V Wiels, G Zanon, E Marouan, P Girard, JL Lanet International Java Card Workshop, 25-37, 2000 | 32 | 2000 |
| Hot updates for java based smart cards AC Noubissi, J Iguchi-Cartigny, JL Lanet 2011 IEEE 27th International Conference on Data Engineering Workshops, 168-173, 2011 | 31 | 2011 |
| An automated formal process for detecting fault injection vulnerabilities in binaries and case study on PRESENT T Given-Wilson, N Jafri, JL Lanet, A Legay 2017 IEEE Trustcom/BigDataSE/ICESS, 293-300, 2017 | 30 | 2017 |
Julien CartignyAssociate Professor, CRIStAL / IRCICA Labs, University of Lille 1, FranceVerified email at univ-lille.fr
