|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
|
|
Results
Found 116 publication records. Showing 115 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 69 | Ian F. Akyildiz, Inwhee Joe, Henry Driver, Yung-Lung Ho |
An adaptive FEC scheme for data traffic in wireless ATM networks.  |
IEEE/ACM Trans. Netw.  |
2001 |
DBLP DOI BibTeX RDF |
Adaptive FEC, LANET, address protection, cell scrambling, Reed-Solomon coding, error control, wireless ATM |
| 36 | Lei Hu, Xun Zhou, Jiachen Ruan, Supeng Li |
ASPP+-LANet: A Multi-Scale Context Extraction Network for Semantic Segmentation of High-Resolution Remote Sensing Images. |
Remote. Sens. |
2024 |
DBLP DOI BibTeX RDF |
|
| 36 | Qiangbin Xie, Xiao Zhao, Lihua Zhang |
LANet: A Single Stage Lane Detector with Lightweight Attention. |
CICAI (1) |
2023 |
DBLP DOI BibTeX RDF |
|
| 36 | Lei Ding 0008, Hao Tang 0005, Lorenzo Bruzzone |
LANet: Local Attention Embedding to Improve the Semantic Segmentation of Remote Sensing Images. |
IEEE Trans. Geosci. Remote. Sens. |
2021 |
DBLP DOI BibTeX RDF |
|
| 36 | Madhumitha Harishankar, Jun Han 0001, Sai Vineeth Kalluru Srinivas, Faisal Alqarni, Shi Su, Shijia Pan, Hae Young Noh, Pei Zhang 0001, Marco Gruteser, Patrick Tague |
LaNet: Real-time Lane Identification by Learning Road SurfaceCharacteristics from Accelerometer Data. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 36 | Nan Cen, Jithin Jagannath, Simone Moretti, Zhangyu Guan, Tommaso Melodia |
LANET: Visible-light ad hoc networks. |
Ad Hoc Networks |
2019 |
DBLP DOI BibTeX RDF |
|
| 36 | Dongli Wang, Bo Wang, Yan Zhou 0003 |
LANet: A Ladder Attention Network for Image Semantic Segmentation. |
IECON |
2019 |
DBLP DOI BibTeX RDF |
|
| 36 | Sahisnu Mazumder |
LANet: An Enriched Knowledgebase for Location-aware Activity Recommendation System. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 29 | 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. |
2022 |
DBLP DOI BibTeX RDF |
|
| 29 | Yassine Lemmou, Jean-Louis Lanet, El Mamoun Souidi |
A behavioural in-depth analysis of ransomware infection. |
IET Inf. Secur. |
2021 |
DBLP DOI BibTeX RDF |
|
| 29 | Yassine Lemmou, Jean-Louis Lanet, El Mamoun Souidi |
In-Depth Analysis of Ransom Note Files. |
Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 29 | Mathieu Escouteloup, Ronan Lashermes, Jacques Fournier, Jean-Louis Lanet |
Under the Dome: Preventing Hardware Timing Information Leakage. |
CARDIS |
2021 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP BibTeX RDF |
|
| 29 | Samiya Hamadouche, Jean-Louis Lanet, Mohamed Mezghiche |
Hiding a fault enabled virus through code construction. |
J. Comput. Virol. Hacking Tech. |
2020 |
DBLP DOI BibTeX RDF |
|
| 29 | Mozhdeh Farhadi, Jean-Louis Lanet, Guillaume Pierre, Daniele Miorandi |
A systematic approach toward security in Fog computing: Assets, vulnerabilities, possible countermeasures. |
Softw. Pract. Exp. |
2020 |
DBLP DOI BibTeX RDF |
|
| 29 | Léopold Ouairy, Hélène Le Bouder, Jean-Louis Lanet |
Confiance: detecting vulnerabilities in Java Card applets. |
ARES |
2020 |
DBLP DOI BibTeX RDF |
|
| 29 | Guillaume Hiet, Frédéric Tronel, Jean-Louis Lanet |
Preface of the 2nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020). |
EuroS&P Workshops |
2020 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | Abdelhak Mesbah, Jean-Louis Lanet, Mohamed Mezghiche |
Reverse engineering Java Card and vulnerability exploitation: a shortcut to ROM. |
Int. J. Inf. Sec. |
2019 |
DBLP DOI BibTeX RDF |
|
| 29 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
Formal methods in dynamic software updating: a survey. |
Int. J. Crit. Comput. Based Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
| 29 | Routa Moussaileb, Charles Berti, Guillaume Deboisdeffre, Nora Cuppens, Jean-Louis Lanet |
Watch Out! Doxware on the Way... |
CRiSIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 29 | Jean-Louis Lanet, Cristian Toma (eds.) |
Innovative Security Solutions for Information Technology and Communications - 11th International Conference, SecITC 2018, Bucharest, Romania, November 8-9, 2018, Revised Selected Papers |
SecITC |
2019 |
DBLP DOI BibTeX RDF |
|
| 29 | Benoît Fournier, Gilles Guette, Valérie Viet Triem Tong, Jean-Louis Lanet |
SEER4US, Secured Energy Efficient Routing for UAV Swarms. |
WiMob |
2019 |
DBLP DOI BibTeX RDF |
|
| 29 | Etienne Boespflug, Romain Gourier, Jean-Louis Lanet |
Predicting the Effect of Hardware Fault Injection. |
IWBIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 29 | Routa Moussaileb, Nora Cuppens, Jean-Louis Lanet, Hélène Le Bouder |
Ransomware Network Traffic Analysis for Pre-encryption Alert. |
FPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 29 | Léopold Ouairy, Hélène Le Bouder, Jean-Louis Lanet |
JavaNeighbors: Improving ChuckyJava's neighborhood discovery algorithm. |
EUSPN/ICTH |
2019 |
DBLP DOI BibTeX RDF |
|
| 29 | 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. |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Jean-Louis Lanet, Hélène Le Bouder, Mohammed Benattou, Axel Legay |
When time meets test. |
Int. J. Inf. Sec. |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Mohamed El Beqqal, Mostafa Azizi, Jean-Louis Lanet |
A Novel Approach for an Interoperable Biometric Verification. |
Int. J. Interact. Mob. Technol. |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquín García-Alfaro (eds.) |
Risks and Security of Internet and Systems - 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers |
CRiSIS |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Léopold Ouairy, Hélène Le Bouder, Jean-Louis Lanet |
Normalization of Java Source Codes. |
SecITC |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Routa Moussaileb, Benjamin Bouget, Aurélien Palisse, Hélène Le Bouder, Nora Cuppens, Jean-Louis Lanet |
Ransomware's Early Mitigation Mechanisms. |
ARES |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | Sébanjila Kevin Bukasa, Ludovic Claudepierre, Ronan Lashermes, Jean-Louis Lanet |
When Fault Injection Collides with Hardware Complexity. |
FPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Léopold Ouairy, Hélène Le Bouder, Jean-Louis Lanet |
Protection of Systems Against Fuzzing Attacks. |
FPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Hélène Le Bouder, Gaël Thomas 0002, Edwin Bourget, Mariem Graa, Nora Cuppens, Jean-Louis Lanet |
Theoretical Security Evaluation of the Human Semantic Authentication Protocol. |
ICETE (2) |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | Noreddine El Janati El Idrissi, Guillaume Bouffard, Jean-Louis Lanet, Said El Hajji 0001 |
Trust can be misplaced. |
J. Cryptogr. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
| 29 | Mozhdeh Farhadi, Jean-Louis Lanet |
Chronicle of a Java Card death. |
J. Comput. Virol. Hacking Tech. |
2017 |
DBLP DOI BibTeX RDF |
|
| 29 | 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. |
2017 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP BibTeX RDF |
|
| 29 | Abdelhak Mesbah, Jean-Louis Lanet, Mohamed Mezghiche |
Reverse engineering a Java Card memory management algorithm. |
Comput. Secur. |
2017 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay (eds.) |
Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers |
CRiSIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | Nisrine Jafri, Axel Legay, Jean-Louis Lanet |
Vulnerability Prediction Against Fault Attacks. |
ERCIM News |
2016 |
DBLP BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | Aurélien Palisse, Hélène Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay |
Ransomware and the Legacy Crypto API. |
CRiSIS |
2016 |
DBLP DOI BibTeX RDF |
|
| 29 | Mozhdeh Farhadi, Jean-Louis Lanet |
Paper Tigers: An Endless Fight. |
SECITC |
2016 |
DBLP DOI BibTeX RDF |
|
| 29 | Abdelhak Mesbah, Leo Regnaud, Jean-Louis Lanet, Mohamed Mezghiche |
The Hell Forgery - Self Modifying Codes Shoot Again. |
CARDIS |
2016 |
DBLP DOI BibTeX RDF |
|
| 29 | Hélène Le Bouder, Thierno Barry, Damien Couroussé, Jean-Louis Lanet, Ronan Lashermes |
A Template Attack Against VERIFY PIN Algorithms. |
SECRYPT |
2016 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | Guillaume Bouffard, Jean-Louis Lanet |
The ultimate control flow transfer in a Java based smart card. |
Comput. Secur. |
2015 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | Noreddine El Janati El Idrissi, Said El Hajji 0001, Jean-Louis Lanet |
Countermeasures Mitigation for Designing Rich Shell Code in Java Card. |
C2SI |
2015 |
DBLP DOI BibTeX RDF |
|
| 29 | Jean-Louis Lanet |
Beyond Cryptanalysis Is Software Security the Next Threat for Smart Cards. |
C2SI |
2015 |
DBLP DOI BibTeX RDF |
|
| 29 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
An Approach for Formal Verification of Updated Java Bytecode Programs. |
VECoS |
2015 |
DBLP BibTeX RDF |
|
| 29 | Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet |
Model-Based Robustness Testing in Event-B Using Mutation. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 29 | 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. |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Guillaume Bouffard, Jean-Louis Lanet |
Reversing the operating system of a Java based smart card. |
J. Comput. Virol. Hacking Tech. |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Guillaume Bouffard, Michael Lackner, Jean-Louis Lanet, Johannes Loinig |
Heap ... Hop! Heap Is Also Vulnerable. |
CARDIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Jean-Louis Lanet, Guillaume Bouffard, Rokia Lamrani Alaoui, Ranim Chakra, Afef Mestiri, Mohammed Monsif, Abdellatif Fandi |
Memory Forensics of a Java Card Dump. |
CARDIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Damien Couroussé, Bruno Robisson, Jean-Louis Lanet, Thierno Barry, Hassan Noura 0001, Philippe Jaillon, Philippe Lalevée |
COGITO: Code Polymorphism to Secure Devices. |
SECRYPT |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Achkar Amine, Mohammed Benattou, Jean-Louis Lanet |
Generating control flow graph from Java card byte code. |
CIST |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Jean Dubreuil, Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet |
Mitigating Type Confusion on Java Card. |
Int. J. Secur. Softw. Eng. |
2013 |
DBLP DOI BibTeX RDF |
|
| 29 | Nassima Kamel, Jean-Louis Lanet |
Risks induced by Web applications on smart cards. |
J. Inf. Secur. Appl. |
2013 |
DBLP DOI BibTeX RDF |
|
| 29 | Samiya Hamadouche, Jean-Louis Lanet |
Virus in a smart card: Myth or reality? |
J. Inf. Secur. Appl. |
2013 |
DBLP DOI BibTeX RDF |
|
| 29 | Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet |
Detecting Laser Fault Injection for Smart Cards Using Security Automata. |
SSCC |
2013 |
DBLP DOI BibTeX RDF |
|
| 29 | Bruno Crispo, Ravi S. Sandhu, Nora Cuppens-Boulahia, Mauro Conti, Jean-Louis Lanet (eds.) |
2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), La Rochelle, France, October 23-25, 2013 |
CRiSIS |
2013 |
DBLP BibTeX RDF |
|
| 29 | Guillaume Bouffard, Tom Khefif, Jean-Louis Lanet, Ismael Kane, Sergio Casanova Salvia |
Accessing secure information using export file fraudulence. |
CRiSIS |
2013 |
DBLP DOI BibTeX RDF |
|
| 29 | Jean-Louis Lanet |
Foreword. |
CRiSIS |
2013 |
DBLP DOI BibTeX RDF |
|
| 29 | Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet |
Vulnerability Analysis on Smart Cards Using Fault Tree. |
SAFECOMP |
2013 |
DBLP DOI BibTeX RDF |
|
| 29 | Aymerick Savary, Marc Frappier, Jean-Louis Lanet |
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 29 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation. |
SCSS |
2012 |
DBLP DOI BibTeX RDF |
|
| 29 | Jean-Louis Lanet |
Attacks against smart cards: Hands on session. |
CRiSIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 29 | Fabio Martinelli, Jean-Louis Lanet, William M. Fitzgerald, Simon N. Foley (eds.) |
7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012, Cork, Ireland, October 10-12, 2012 |
CRiSIS |
2012 |
DBLP BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | Jean Dubreuil, Guillaume Bouffard, Jean-Louis Lanet, Julien Cartigny |
Type Classification against Fault Enabled Mutant in Java Based Smart Card. |
ARES |
2012 |
DBLP DOI BibTeX RDF |
|
| 29 | Guillaume Bouffard, Jean-Louis Lanet |
The Next Smart Card Nightmare - Logical Attacks, Combined Attacks, Mutant Applications and Other Funny Things. |
Cryptography and Security |
2012 |
DBLP DOI BibTeX RDF |
|
| 29 | Tiana Razafindralambo, Guillaume Bouffard, Jean-Louis Lanet |
A Friendly Framework for Hidding fault enabled virus for Java Based Smartcard. |
DBSec |
2012 |
DBLP DOI BibTeX RDF |
|
| 29 | Jean-Louis Lanet |
Bytecode Verification. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
| 29 | Agnes C. Noubissi, Julien Iguchi-Cartigny, Jean-Louis Lanet |
Hot updates for Java based smart cards. |
ICDE Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | Jean-Baptiste Machemie, Clement Mazin, Jean-Louis Lanet, Julien Cartigny |
SmartCM a smart card fault injection simulator. |
WIFS |
2011 |
DBLP DOI BibTeX RDF |
|
| 29 | Guillaume Bouffard, Julien Iguchi-Cartigny, Jean-Louis Lanet |
Combined Software and Hardware Attacks on the Java Card Control Flow. |
CARDIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | Amaury Gauthier, Clement Mazin, Julien Iguchi-Cartigny, Jean-Louis Lanet |
Enhancing Fuzzing Technique for OKL4 Syscalls Testing. |
ARES |
2011 |
DBLP DOI BibTeX RDF |
|
| 29 | Julien Iguchi-Cartigny, Jean-Louis Lanet |
Developing a Trojan applets in a smart card. |
J. Comput. Virol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 29 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 29 | Pierre Girard, Karine Villegas, Jean-Louis Lanet, Aude Plateaux |
A new payment protocol over the Internet. |
CRiSIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 29 | Dieter Gollmann, Jean-Louis Lanet, Julien Iguchi-Cartigny (eds.) |
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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 29 | Ahmadou Al Khary Séré, Julien Iguchi-Cartigny, Jean-Louis Lanet |
Checking the Paths to Identify Mutant Application on Embedded Systems. |
FGIT |
2010 |
DBLP DOI BibTeX RDF |
|
| 29 | Ahmadou Al Khary Séré, Julien Iguchi-Cartigny, Jean-Louis Lanet |
Automatic detection of fault attack and countermeasures. |
WESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 29 | 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 |
DBLP DOI BibTeX RDF |
|
| 29 | Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.) |
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 |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 115 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license