Julien Cartigny

Maître de conférences
CNU : SECTION 27 - INFORMATIQUE
no image

Julien Cartigny

Maître de conférences

Publications

Article dans des revues

  • Ahmadou Al Khary Sere, Julien Iguchi-Cartigny, Jean-Louis Lanet. Evaluation of Countermeasures Against Fault Attacks on Smart Cards. International Journal of Security and Its Applications, 2011, 5 (2), pp.49-60. ⟨hal-00685237⟩
  • Julien Iguchi-Cartigny, Jean-Louis Lanet. Developing a trojan applet in a Smart Card. Journal in Computer Virology, Springer Verlag, 2010, 6 (4), pp.343-351. ⟨10.1007/s11416-009-0135-3⟩. ⟨hal-00463287⟩

Communication dans un congrès

  • Quentin Bergougnoux, Gilles Grimaud, Julien Iguchi-Cartigny. Porting the Pip proto-kernel's model to multi-core environments. 16th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (IEEE-DASC'2018)., Aug 2018, Athens, Greece. ⟨hal-01819676⟩
  • Mahieddine Yaker, Chrystel Gaber, Gilles Grimaud, Jean-Philippe Wary, Vicente Sanchez-Leighton, et al.. Ensuring IoT security with an architecture based on a separation kernel. FiCloud 2018, Aug 2018, Barcelona, Spain. ⟨hal-01819666⟩
  • Mahieddine Yaker, Gilles Grimaud, Julien Iguchi-Cartigny. Utilisation d'un proto-noyau d'isolation mémoire pour maintenir les propriétés temps-réel d'un système à criticité mixte. Compas 2018, Jul 2018, Toulouse, France. ⟨hal-01823572⟩
  • Quentin Bergougnoux, Gilles Grimaud, Julien Iguchi-Cartigny. Evolution du modèle du proto-noyau PIP vers les architectures SMP. Compas 2018, Jul 2018, Toulouse, France. ⟨hal-01820482⟩
  • Nicolas Echallier, Gilles Grimaud, Julien Iguchi-Cartigny, Jean-Marie Place, Jean-Philippe Wary. Virtual Keyboard Logging Counter-measures using Common Fate's Law. SAM'17 - International Conference on Security and Management, Jul 2017, Las Vegas, United States. ⟨hal-01820025⟩
  • Valentin Lefils, Gilles Grimaud, Julien Iguchi-Cartigny. EE-CFI: Externalized Control Flow Integrity for Embedded Devices. IMIS 2017: Innovative Mobile and Internet Services in Ubiquitous Computing , Jul 2017, Torino, Italy. ⟨hal-01820001⟩
  • Quentin Bergougnoux, Julien Iguchi-Cartigny, Gilles Grimaud. Pip, un proto-noyau fait pour renforcer la sécurité dans les objets connectés. Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Université Sophia Antipolis, Jun 2017, Sophia Antipolis, France. ⟨hal-01556564⟩
  • Christophe Bacara, Valentin Lefils, Julien Iguchi-Cartigny, Gilles Grimaud, Jean-Philippe Wary. Virtual Keyboard Logging Counter-Measures Using Human Vision Properties. 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⟩. ⟨hal-01249877⟩
  • Pierrick Buret, Julien Iguchi-Cartigny, Gilles Grimaud. Contexte d’exécution dans la recherche de pire temps d’exécution d’un système complexe. Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS'15), Jun 2015, Villeneuve d'Ascq, France. ⟨hal-01232261⟩
  • Narjes Jomaa, David Nowak, Gilles Grimaud, Julien Iguchi-Cartigny. Preuve formelle d'isolation mémoire dynamique à base de MMU. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. pp.297-300. ⟨hal-01122780⟩
  • Julien Iguchi-Cartigny, Pierrick Buret, Gilles Grimaud. Genetic Algorithm for DWCET Evaluation on Complex Platform. 9th IEEE International Symposium on Industrial Embedded Systems, Jun 2014, Pisa, Italy. ⟨hal-01131239⟩
  • Jean Dubreuil, Guillaume Bouffard, Jean-Louis Lanet, Julien Iguchi-Cartigny. Type classification against Fault Enabled Mutant in Java based Smart Card. 2012 Seventh International Conference on Availability, Reliability and Security, Aug 2012, Prague, Czech Republic. pp.551-556, ⟨10.1109/ARES.2012.24⟩. ⟨hal-00937292⟩
  • Jean-Baptiste Machemie, Clément Mazin, Jean-Louis Lanet, Julien Iguchi-Cartigny. SmartCM A Smart Card Fault Injection Simulator. International Workshop on Information Forensics and Security (WIFS), 2011, Nov 2011, Foz do Iguaçu, Portugal. pp.1-6, ⟨10.1109/WIFS.2011.6123124⟩. ⟨hal-00685220⟩
  • David Pequegnot, Laurent Cart-Lamy, Aurélien Thomas, Thibault Tigeon, Julien Iguchi-Cartigny, et al.. A security mechanism to increase confidence in m-transactions. 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⟩. ⟨hal-00683714⟩
  • Anis Bkakria, Guillaume Bouffard, Julien Iguchi-Cartigny, Jean-Louis Lanet. OPAL: an open-source global platform Java Library which includes the remote application management over HTTP,. e-Smart 2011, Sep 2011, Sophia-Antipolis, France. ⟨hal-00684652⟩
  • Guillaume Bouffard, Julien Iguchi-Cartigny, Jean-Louis Lanet. Combined Software and Hardware Attacks on the Java Card Control Flow. 10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.283-296, ⟨10.1007/978-3-642-27257-8_18⟩. ⟨hal-00684616⟩
  • Ahmadou Al Khary Sere, Jean-Louis Lanet, Julien Iguchi-Cartigny. Checking the Paths to Identify Mutant Application on Embedded Systems. Conference on Security Technology, Dec 2010, Jeju Island Korea, North Korea. pp.459-468, ⟨10.1007/978-3-642-17569-5_45⟩. ⟨hal-00587118⟩
  • Nassima Kamel, Jean-Louis Lanet, Julien Iguchi-Cartigny, Matthieu Barreaud. Perspectives d'utilisation du serveur web embarqué dans la carte à puce Java Card 3. Majecstic 2010, Oct 2010, Bordeaux, France. ⟨hal-00587180⟩
  • Agnès Cristèle Noubissi, Julien Iguchi-Cartigny, Jean-Louis Lanet. Convergence OSGI-JAVACARD: Fine-grained dynamic update. E-smart10, Sep 2010, Sophia Antipolis, France. ⟨hal-00587193⟩
  • Ahmadou Al Khary Sere, Julien Iguchi-Cartigny, Jean-Louis Lanet. A secure virtual machine for Java Card Platform. E-smart10, Sep 2010, Sophia Antipolis, France. ⟨hal-00587190⟩
  • Nassima Kamel, Julien Iguchi-Cartigny, Jean-Louis Lanet. Development Methodologies of Java Card Web Applications. E-smart10, Sep 2010, Sophia Antipolis, France. ⟨hal-00587195⟩
  • Agnès Cristèle Noubissi, Julien Iguchi-Cartigny, Jean-Louis Lanet. Incremental Dynamic Update for Java-Based Smart Cards. ICONS, 2010, Apr 2010, Les Menuires, France. pp.110-113, ⟨10.1109/ICONS.2010.27⟩. ⟨hal-00587177⟩
  • Carlos Aguilar Melchor, Yves Deswarte, Julien Iguchi-Cartigny. Closed-Circuit Unobservable Voice Over IP. 23rd Annual Computer Security Applications Conference (ACSAC'07), Dec 2008, Miami, United States. pp.119-128. ⟨hal-00335236⟩

Ouvrage (y compris édition critique et traduction)

  • Dieter Gollmann, Jean-Louis Lanet, Julien Iguchi-Cartigny. Smart Card Research and Advanced Applications: 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010, Proceedings. Springer, LNCS-6035, 2010, Lecture Notes in Computer Science, 978-3-642-12509-6. ⟨10.1007/978-3-642-12510-2⟩. ⟨hal-01550563⟩

Chapitre d'ouvrage

  • Guillaume Barbu, Guillaume Bouffard, Julien Iguchi-Cartigny. La Sécurité Logique. Les cartes à puce, Hermes, pp.171-201, 2013, 9782746239135. ⟨hal-00966334⟩

Direction d'ouvrage, Proceedings

  • Dieter Gollmann, Jean-Louis Lanet, Julien Iguchi-Cartigny. 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. Springer, 239 p., 2010. ⟨hal-00587185⟩

Autre publication

  • Matthieu Barreaud, Guillaume Bouffard, Julien Iguchi-Cartigny, Jean-Louis Lanet. Fuzzing du protocole HTTP sur carte à puce. 2011. ⟨hal-03138863⟩

HDR

  • Julien Iguchi-Cartigny. Contributions à la sécurité des Java Card. Cryptographie et sécurité [cs.CR]. Université de Limoges, 2014. ⟨tel-01249879⟩