Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

31 résultats
Image document

Cartes à puce : Attaques et contremesures

Agnès Noubissi , Ahmadou Séré , Julien Iguchi-Cartigny , Jean-Louis Iguchi-Cartigny , Guillaume Bouffard , et al.
MajecSTIC 2009, Nov 2009, Avignon, France
Communication dans un congrès hal-03138841v1
Image document

Combined Software and Hardware Attacks on the Java Card Control Flow

Guillaume Bouffard , Julien Iguchi-Cartigny , Jean-Louis Lanet
10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.283-296, ⟨10.1007/978-3-642-27257-8_18⟩
Communication dans un congrès hal-00684616v1

OPAL: an open-source global platform Java Library which includes the remote application management over HTTP,

Anis Bkakria , Guillaume Bouffard , Julien Iguchi-Cartigny , Jean-Louis Lanet
e-Smart 2011, Sep 2011, Sophia-Antipolis, France
Communication dans un congrès hal-00684652v1

Perspectives d'utilisation du serveur web embarqué dans la carte à puce Java Card 3

Nassima Kamel , Jean-Louis Lanet , Julien Iguchi-Cartigny , Matthieu Barreaud
Majecstic 2010, Oct 2010, Bordeaux, France
Communication dans un congrès hal-00587180v1

Ensuring IoT security with an architecture based on a separation kernel

Mahieddine Yaker , Chrystel Gaber , Gilles Grimaud , Jean-Philippe Wary , Vicente Sanchez-Leighton , et al.
FiCloud 2018, Aug 2018, Barcelona, Spain
Communication dans un congrès hal-01819666v1

Contexte d’exécution dans la recherche de pire temps d’exécution d’un système complexe

Pierrick Buret , Julien Iguchi-Cartigny , Gilles Grimaud
Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS'15), Jun 2015, Villeneuve d'Ascq, France
Communication dans un congrès hal-01232261v1

A secure virtual machine for Java Card Platform

Ahmadou Al Khary Sere , Julien Iguchi-Cartigny , Jean-Louis Lanet
E-smart10, Sep 2010, Sophia Antipolis, France
Communication dans un congrès hal-00587190v1

Smart Card Research and Advanced Applications

Dieter Gollmann , Jean-Louis Lanet , Julien Iguchi-Cartigny
Springer, LNCS-6035, 2010, Lecture Notes in Computer Science, 978-3-642-12509-6. ⟨10.1007/978-3-642-12510-2⟩
Ouvrages hal-01550563v1
Image document

Preuve formelle d'isolation mémoire dynamique à base de MMU

Narjes Jomaa , David Nowak , Gilles Grimaud , Julien Iguchi-Cartigny
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. pp.297-300
Communication dans un congrès hal-01122780v1
Image document

Pip, un proto-noyau fait pour renforcer la sécurité dans les objets connectés

Quentin Bergougnoux , Julien Iguchi-Cartigny , Gilles Grimaud
Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Université Sophia Antipolis, Jun 2017, Sophia Antipolis, France
Communication dans un congrès hal-01556564v1

La Sécurité Logique

Guillaume Barbu , Guillaume Bouffard , Julien Iguchi-Cartigny
Les cartes à puce, Hermes, pp.171-201, 2013, 9782746239135
Chapitre d'ouvrage hal-00966334v1

Fuzzing du protocole HTTP sur carte à puce

Matthieu Barreaud , Guillaume Bouffard , Julien Iguchi-Cartigny , Jean-Louis Lanet
2011
Autre publication scientifique hal-03138863v1

Genetic Algorithm for DWCET Evaluation on Complex Platform

Julien Iguchi-Cartigny , Pierrick Buret , Gilles Grimaud
9th IEEE International Symposium on Industrial Embedded Systems, Jun 2014, Pisa, Italy
Communication dans un congrès hal-01131239v1

Smart Card Research and Advanced Application. 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010, Proceedings Series: Lecture Notes in Computer Science, Vol. 6035 Subseries: Security and Cryptology

Dieter Gollmann , Jean-Louis Lanet , Julien Iguchi-Cartigny
Springer, 239 p., 2010
Ouvrages hal-00587185v1
Image document

Contributions à la sécurité des Java Card

Julien Iguchi-Cartigny
Cryptographie et sécurité [cs.CR]. Université de Limoges, 2014
HDR tel-01249879v1

Evaluation of Countermeasures Against Fault Attacks on Smart Cards

Ahmadou Al Khary Sere , Julien Iguchi-Cartigny , Jean-Louis Lanet
International Journal of Security and Its Applications, 2011, 5 (2), pp.49-60
Article dans une revue hal-00685237v1

Checking the Paths to Identify Mutant Application on Embedded Systems

Ahmadou Al Khary Sere , Jean-Louis Lanet , Julien Iguchi-Cartigny
Conference on Security Technology, Dec 2010, Jeju Island Korea, North Korea. pp.459-468, ⟨10.1007/978-3-642-17569-5_45⟩
Communication dans un congrès istex hal-00587118v1

Convergence OSGI-JAVACARD: Fine-grained dynamic update

Agnès Cristèle Noubissi , Julien Iguchi-Cartigny , Jean-Louis Lanet
E-smart10, Sep 2010, Sophia Antipolis, France
Communication dans un congrès hal-00587193v1

Porting the Pip proto-kernel's model to multi-core environments

Quentin Bergougnoux , Gilles Grimaud , Julien Iguchi-Cartigny
16th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (IEEE-DASC'2018)., Aug 2018, Athens, Greece
Communication dans un congrès hal-01819676v1

Virtual Keyboard Logging Counter-measures using Common Fate's Law

Nicolas Echallier , Gilles Grimaud , Julien Iguchi-Cartigny , Jean-Marie Place , Jean-Philippe Wary
SAM'17 - International Conference on Security and Management, Jul 2017, Las Vegas, United States
Communication dans un congrès hal-01820025v1

Developing a trojan applet in a Smart Card

Julien Iguchi-Cartigny , Jean-Louis Lanet
Journal in Computer Virology, 2010, 6 (4), pp.343-351. ⟨10.1007/s11416-009-0135-3⟩
Article dans une revue istex hal-00463287v1

EE-CFI: Externalized Control Flow Integrity for Embedded Devices

Valentin Lefils , Gilles Grimaud , Julien Iguchi-Cartigny
IMIS 2017: Innovative Mobile and Internet Services in Ubiquitous Computing , Jul 2017, Torino, Italy
Communication dans un congrès hal-01820001v1

Virtual Keyboard Logging Counter-Measures Using Human Vision Properties

Christophe Bacara , Valentin Lefils , Julien Iguchi-Cartigny , Gilles Grimaud , Jean-Philippe Wary
Cyberspace Safety and Security (CSS), 2015 IEEE 12th International Conferen on, Aug 2015, New York, NY, United States. ⟨10.1109/HPCC-CSS-ICESS.2015.269⟩
Communication dans un congrès hal-01249877v1

Evolution du modèle du proto-noyau PIP vers les architectures SMP

Quentin Bergougnoux , Gilles Grimaud , Julien Iguchi-Cartigny
Compas 2018, Jul 2018, Toulouse, France
Communication dans un congrès hal-01820482v1

Utilisation d'un proto-noyau d'isolation mémoire pour maintenir les propriétés temps-réel d'un système à criticité mixte

Mahieddine Yaker , Gilles Grimaud , Julien Iguchi-Cartigny
Compas 2018, Jul 2018, Toulouse, France
Communication dans un congrès hal-01823572v1

Incremental Dynamic Update for Java-Based Smart Cards

Agnès Cristèle Noubissi , Julien Iguchi-Cartigny , Jean-Louis Lanet
ICONS, 2010, Apr 2010, Les Menuires, France. pp.110-113, ⟨10.1109/ICONS.2010.27⟩
Communication dans un congrès hal-00587177v1

Development Methodologies of Java Card Web Applications

Nassima Kamel , Julien Iguchi-Cartigny , Jean-Louis Lanet
E-smart10, Sep 2010, Sophia Antipolis, France
Communication dans un congrès hal-00587195v1

A security mechanism to increase confidence in m-transactions

David Pequegnot , Laurent Cart-Lamy , Aurélien Thomas , Thibault Tigeon , Julien Iguchi-Cartigny , et al.
6th International Conference on Risk and Security of Internet and Systems (CRiSIS), 2011, Sep 2011, Timisoara, Romania. pp.9-16, ⟨10.1109/CRiSIS.2011.6061836⟩
Communication dans un congrès hal-00683714v1

SmartCM A Smart Card Fault Injection Simulator

Jean-Baptiste Machemie , Clément Mazin , Jean-Louis Lanet , Julien Iguchi-Cartigny
International Workshop on Information Forensics and Security (WIFS), 2011, Nov 2011, Foz do Iguaçu, Portugal. pp.1-6, ⟨10.1109/WIFS.2011.6123124⟩
Communication dans un congrès hal-00685220v1

Closed-Circuit Unobservable Voice Over IP

Carlos Aguilar Melchor , Yves Deswarte , Julien Iguchi-Cartigny
23rd Annual Computer Security Applications Conference (ACSAC'07), Dec 2008, Miami, United States. pp.119-128
Communication dans un congrès hal-00335236v1