Nombre de documents

32

CV de emmanuelle encrenaz


Autre publication1 document

  • Nicolas Moro, Karine Heydemann, Emmanuelle Encrenaz, Bruno Robisson. Formal verification of a software countermeasure against instruction skip attacks. Technical report. 2015. <emse-01233327>

Article dans une revue9 documents

  • Nicolas Moro, Karine Heydemann, Emmanuelle Encrenaz, Bruno Robisson. Formal verification of a software countermeasure against instruction skip attacks. Journal of Cryptographic Engineering, Springer, 2014, 4 (3), pp.145-156. <10.1007/s13389-014-0077-7>. <emse-00951386>
  • Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, et al.. Feasibility Analysis for Robustness Quantification by Symbolic Model Checking. Formal Methods in System Design, Springer Verlag, 2011, 39 (2), pp.165-184. <10.1007/s10703-011-0121-5>. <hal-01176355>
  • Hocine Mokrani, Rabea Ameur-Boulifa, Emmanuelle Encrenaz, Sophie Coudert. Approche pour l'intégration du raffinement formel dans le processus de conception des SOC. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2011, 45 (1-3), pp.221-236. <10.3166/jesa.45.221-236>. <hal-01195919>
  • Vincent Beaudenon, Emmanuelle Encrenaz, Sami Taktak. Data Decision Diagrams for Promela Systems Analysis. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2010, 12 (5), pp.337-352. <10.1007/s10009-010-0135-0>. <hal-01195909>
  • Emmanuelle Encrenaz, Alain Finkel. Automatic Verification of Counter Systems With Ranking Function. Electronic Notes in Theoretical Computer Science, Elsevier, 2009, 239, pp.85-103. <10.1016/j.entcs.2009.05.032>. <hal-01195921>
  • Rémy Chevallier, Emmanuelle Encrenaz, Laurent Fribourg, Weiwen Xu. Timed Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata. Formal Methods in System Design, Springer Verlag, 2009, 34 (1), pp.59-81. <10.1007/s10703-008-0061-x>. <hal-01195912>
  • Étienne André, Emmanuelle Encrenaz, Laurent Fribourg, Thomas Chatain. An Inverse Method for Parametric Timed Automata. International Journal of Foundations of Computer Science, World Scientific Publishing, 2009, 20 (5), pp.819-836. <10.1142/S0129054109006905>. <hal-00772641>
  • Sami Taktak, Jean-Lou Desbarbieux, Emmanuelle Encrenaz. A tool for automatic detection of deadlocks in wormhole networks on chip. Transactions on Design Automation of Electronic Systems, Association for Computing Machinery, 2008, 13 (1), pp.1-8. <10.1145/1297666.1297672>. <hal-01195903>
  • Cécile Braunstein, Emmanuelle Encrenaz. CTL-property Transformations along an Incremental Design Process. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2007, 9 (1), pp.77-88. <10.1007/s10009-006-0007-9>. <hal-01195866>

Communication dans un congrès19 documents

  • Lucien Goubet, Karine Heydemann, Emmanuelle Encrenaz, Ronald De Keulenaer. Efficient Design and Evaluation of Countermeasures against Fault Attack with Formal Verification. 14th International conference Smart Card Research and Advanced Applications (CARDIS), Nov 2015, Bochum, Germany. Springer International Publishing, Smart Card Research and Advanced Applications - 14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015. Revised Selected Paper, 9514, pp.177-192, 2016, Lecture Notes in Computer Science. <10.1007/978-3-319-31271-2_11>. <hal-01220291>
  • Syed-Hussein Syed-Alwi, Emmanuelle Encrenaz. FSM-based properties and abstraction of components. IEEE International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. IEEE, pp.37-43, <10.1109/RSP.2014.6966690>. <hal-01215913>
  • Nicolas Moro, Karine Heydemann, Amine Dehbaoui, Bruno Robisson, Emmanuelle Encrenaz. Fault attacks on two software countermeasures. TRUDEVICE 2014, May 2014, Paderborn, Germany. <emse-00998988>
  • Nicolas Moro, Karine Heydemann, Amine Dehbaoui, Bruno Robisson, Emmanuelle Encrenaz. Experimental evaluation of two software countermeasures against fault attacks. 2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), May 2014, Arlington, United States. pp.112-117, 2014, <10.1109/HST.2014.6855580>. <emse-01032449>
  • Hocine Mokrani, Rabea Ameur-Boulifa, Emmanuelle Encrenaz. Assisting Refinement in System on Chip Design. Forum on Specification and Design Languages, Sep 2013, Paris, France. IEEE, pp.1-6. <hal-01216546>
  • Geoffrey Plouviez, Emmanuelle Encrenaz, Franck Wajsbürt. A formally verified hypervisor with hardware support for a many-core chip. The 1st Workshop on Runtime and Operating Systems for the Many-core Era, ROME 2013, Aug 2013, Aachen, Germany. Springer, 8374, pp.801-811, Lecture Notes in Computer Science. <10.1007/978-3-642-54420-0_78>. <hal-01216550>
  • Karine Heydemann, Nicolas Moro, Emmanuelle Encrenaz, Bruno Robisson. Formal verification of a software countermeasure against instruction skip attacks. PROOFS 2013, Aug 2013, Santa-Barbara, United States. <emse-00869509>
  • Nicolas Moro, Amine Dehbaoui, Karine Heydemann, Bruno Robisson, Emmanuelle Encrenaz. Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller. 10th workshop on Fault Diagnosis and Tolerance in Cryptography - FDTC 2013, Aug 2013, Santa-Barbara, United States. pp.77-88, 2013, <10.1109/FDTC.2013.9>. <emse-00871218v2>
  • Nicolas Moro, Amine Dehbaoui, Karine Heydemann, Bruno Robisson, Emmanuelle Encrenaz. Electromagnetic fault injection on microcontrollers. Chip-to-Cloud Security Forum 2013, Sep 2013, Nice, France. <emse-00871686>
  • Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Tun Li, et al.. Quantifying Robustness by Symbolic Model checking. 1st Hardware Verification Workshop (CAV workshop), Jul 2010, Edinburgh, United Kingdom. 1st Hardware Verification Workshop (CAV workshop), pp.1-12. <hal-01292563>
  • Abdelrezzak Bara, Pirouz Bazargan Sabet, Rémy Chevallier, Emmanuelle Encrenaz, Dominique Le Dû, et al.. Formal Verification of Timed VHDL Programs. Forum on Specification & Design Languages, FDL 2010, Sep 2010, Southampton, United Kingdom. IET, Forum on Specification & Design Languages, FDL 2010, pp.80-85, <10.1049/ic.2010.0133>. <hal-01290704>
  • Sami Taktak, Emmanuelle Encrenaz, Jean-Lou Desbarbieux. A polynomial algorithm to prove deadlock-freeness of wormhole networks. PDP EUROMICRO Conference on Parallel, Distributed and Network-based Computing IEEE Computer Society, Feb 2010, Pisa, Italy. IEEE, PDP EUROMICRO Conference on Parallel, Distributed and Network-based Computing IEEE Computer Society, pp.121-128, <10.1109/PDP.2010.19>. <hal-01290701>
  • Étienne André, Thomas Chatain, Emmanuelle Encrenaz, Laurent Fribourg. An Inverse Method for Parametric Timed Automata. The Second Workshop on Reachability Problems in Computational Models (RP 2008), Sep 2008, Liverpool, United Kingdom. Elsevier, Proceedings of the Second Workshop on Reachability Problems in Computational Models (RP 2008), 223, pp.29-46, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2008.12.029>. <hal-01299163>
  • Cécile Braunstein, Emmanuelle Encrenaz. Using CTL formulae as component abstraction in a design and verification flow. ACSD IEEE International Conference on Application of Concurrency to System Design, Jul 2007, Bratislava, Slovakia. IEEE, ACSD IEEE International Conference on Application of Concurrency to System Design, pp.80-89, <10.1109/ACSD.2007.76>. <hal-01305787>
  • Emmanuelle Encrenaz, Alain Finkel. Automatic Verification of Counter Systems with Ranking Functions. INFINITY International Symposium on Infinite-Space Systems, 2007, Porto, Portugal. INFINITY International Symposium on Infinite-Space Systems. <hal-01334858>
  • Sami Taktak, Emmanuelle Encrenaz, Jean-Lou Desbarbieux. A Tool for Automatic Detection of Deadlock in Wormhole Networks on Chip. HLDVT IEEE International High Level Design Validation and Test Workshop, Nov 2006, Monterey, California, United States. IEEE, HLDVT IEEE International High Level Design Validation and Test Workshop, pp.203-210, <10.1109/HLDVT.2006.319992>. <hal-01338483>
  • Emmanuelle Encrenaz, Laurent Fribourg. Time separation of events, an inverse method. LIX Colloquium on emerging Trends in Concurrency Theory, Nov 2006, Palaiseau, France. LIX Colloquium on emerging Trends in Concurrency Theory. <hal-01338491>
  • Cécile Braunstein, Emmanuelle Encrenaz. Formalizing the incremental design and verification process of a pipelined protocol converter. RSP International Workshop on Rapid System Prototyping, Jun 2006, Chania, Crete, Greece. IEEE, RSP International Workshop on Rapid System Prototyping, pp.103-109, <10.1109/RSP.2006.19>. <hal-01338249>
  • Cécile Braunstein, Emmanuelle Encrenaz. A Further Step in the Incremental Design Process: Incorporation of an Increment Specification. LPAR IEEE International Conference on Logic for Programming Artificial Intelligence and Reasoning, Nov 2006, Phnom Penh, Cambodia. LPAR IEEE International Conference on Logic for Programming Artificial Intelligence and Reasoning, Short paper. <hal-01336653>

Poster1 document

  • Hélène Le Bouder, Nicolas Moro, Bruno Robisson, Emmanuelle Encrenaz, Assia Tria. Un formalisme commun aux attaques par canaux auxiliaires et par injection de fautes. Colloque National GDR SOC-SIP 2012, Jun 2012, Paris, France. <emse-00742546>

Chapitre d'ouvrage2 documents

  • Hocine Mokrani, Rabea Ameur-Boulifa, Emmanuelle Encrenaz. Assisting Refinement in System-on-Chip Design. Languages, Design Methods, and Tools for Electronic System Design, Selected Contributions from FDL 2013, 311, Springer, pp.21-42, 2015, Lecture Notes in Electrical Engineering, <10.1007/978-3-319-06317-1_2>. <hal-01221739>
  • Syed-Hussein Syed-Alwi, Cécile Braunstein, Emmanuelle Encrenaz. Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process. Models, Methods and Tools for Complex Chip Design, selected contributions from FDL 2012, 265, Springer, pp.17-36, 2013, Lecture Notes in Electrical Engineering, <10.1007/978-3-319-01418-0_2>. <hal-01221722>