Les travaux présentés dans ce mémoire concernent la modélisation des comportements erronés du logiciel et la validation des tests. L'absence d'un modèle des fautes logicielles pose le problème de la confiance que l'on peut accorder aux tests par rapport à l'élimination des fautes dans un programme. Cette confiance serait accrue si on pouvait mesurer la capacité de jeux de tests à révéler des fautes injectées dans un programme. Cependant, les méthodes d'injection de fautes, telles que l'analyse de mutation, suscitent des critiques liées à la représentativité des fautes injectées vis-à-vis de fautes réelles (c'est-à-dire effectivement introduites au cours du développement du logiciel). S'il paraît illusoire de démontrer la représentativité des fautes artificielles, étant donné l'absence d'un modèle de fautes complet et parfait, il nous paraît intéressant d'évaluer la représentativité des erreurs générées par des fautes artificielles vis-à-vis des erreurs dues à des fautes réelles. Les études expérimentales que nous avons menées, portent sur deux programmes séquentiels (appelés ETUD et LOCALES), issus d'applications critiques du nucléaire. Elles ont eu pour objet d'analyser les erreurs générées au cours de l'exécution du logiciel. Nous avons ainsi pu comparer, pour chacun de ces deux programmes, les erreurs et les comportements erronés générés, d'une part par des fautes réelles et, d'autre part par des fautes artificielles (de type mutations). Nos résultats expérimentaux permettent de montrer que les erreurs et les comportements erronés produits par des mutations peuvent être représentatifs de ceux générés par de fautes réelles. La première série d'expériences, sur le programme ETUD, a permis de définir un modèle des comportements erronés, à partir d'une représentation de l'état interne d'un programme en cours d'exécution. Ce modèle permet d'expliquer, par l'analyse des dépendances du programme, les mécanismes de création, d'annulation et de masquage d'erreurs. La deuxième série d'expériences, sur le programme LOCALES, permet d'expliquer les similitudes observées entre divers comportements erronés en appliquant le modèle proposé. En conclusion, la bonne représentativité des erreurs générées par les mutations nous permet de réhabiliter l'analyse de mutation en tant que technique de validation des tests du logiciel et d'en proposer des applications à des fins industrielles.

Les blocs cryptographiques utilisés dans les circuits intégrés implémentent des algorithmes prouvés robustes contre la cryptanalyse. Toutefois des manipulations malveillantes contre le circuit lui-même peuvent permettre de retrouver les données secrètes. Entre autres, les attaques dites " en fautes " se sont révélés particulièrement efficaces. Leur principe consiste à injecter une faute dans le circuit (à l'aide d'un faisceau laser par exemple), ce qui produira un résultat erroné et à le comparer à un résultat correct. Il est donc essentiel de pouvoir détecter ces erreurs lors du fonctionnement du circuit. Les travaux de thèse présentées dans ce mémoire ont pour objet la détection concurrente d'erreurs dans les circuits cryptographique, en prenant comme support l'implantation du standard d'encryption symétrique l'Advanced Encryption standard " AES ". Nous analysons donc plusieurs schémas de détection d'erreur basés sur de la redondance d'information (code détecteur), certains issus de la littérature, d'autres originaux utilisant un double code de parité entrée-sortie permettant l'amélioration du taux de détection d'erreur dans ces circuits. Nous présentons aussi une étude montrant que le choix du type du code détecteur le plus approprié dépend, d'une part du type d'erreur exploitable pouvant être produite par un attaquant, et d'autre part du type d'implémentation du circuit à protéger. Les circuits cryptographiques sont également la cible d'autres attaques, et en particulier les attaques par analyse de consommation. Les contre mesures proposés jusqu'à lors pour un type d'attaques, se révèlent la plupart du temps néfastes sur la résistance du circuit face à d'autres types d'attaque. Nous proposons dans cette thèse une contre mesure conjointe qui protège le circuit à la fois contre les attaques en fautes et les attaques par analyse de consommation.

Dans le domaine des cartes à puce, les analyses de vulnérabilité demandent d’être à la pointe de l’art en termes d’attaques et de techniques de protection. Une attaque classique est l’injection de fautes, réalisée au niveau matériel notamment par des techniques laser. Pour anticiper les impacts possibles de ce type d'attaque, certaines analyses sont menées au niveau logiciel. Il est donc fortement d’actualité de pouvoir définir des critères et proposer des outils automatiques permettant d’évaluer la robustesse d’une application à ce type d’attaque, d’autant plus que les techniques d’attaques matérielles permettent maintenant d’enchaîner plusieurs attaques (spatiales ou temporelles) au cours d’une exécution. En effet, des travaux de recherche récents évaluent l'impact des contre-mesures face à ce type d'attaque[1], ou tentent de modéliser les injections de faute au niveau C[2]. Le sujet de thèse proposé s'inscrit dans cette problématique, avec néanmoins la particularité novatrice de s'intéresser au couplage des analyses statique et dynamique dans le cas des injections de fautes effectuées au niveau binaire. Un des objectifs de la thèse est d'offrir un cadre paramétrable permettant de simuler des attaques par faute telles qu'elles peuvent être réalisées par le laboratoire CESTI-LETI au niveau matériel. Il faudra donc proposer un modèle intermédiaire générique permettant de spécifier des contraintes réelles comme par exemple les différents types de mémoires (RAM, EEPROM, ROM), qui peuvent induire des fautes permanentes ou volatiles. Concilier les analyses statiques du code et l'injection de fautes dynamiques devra permettre de maîtriser la combinatoire des exécutions et de guider l'analyse à l'aide de patterns d'attaques. À ce titre, on sera amené à proposer une taxonomie des attaques et de nouvelles modélisations d'attaques. Il faudra également adapter les outils d'analyse statique aux conséquences de l'injection dynamique de fautes, qui peut modifier profondément le code en changeant l'interprétation des instructions, ce qui a un effet similaire à la génération de code à l'exécution. Ce sujet de thèse s'inscrit dans la stratégie d'innovation du CESTI-LETI et pourra aboutir à un vérificateur automatique de code utilisable par les évaluateurs du CESTI-LETI. [1] A. Séré, J-L. Lanet et J. Iguchi-Cartigny. « Evaluation of Countermeasures Against Fault Attacks on Smart Cards ». en. In : International Journal of Security and Its Applications 5.2 (2011). [2] Xavier Kauffmann-Tourkestansky. « Analyses sécuritaires de code de carte à puce sous attaques physiques simulées ». Français. THESE. Université d’Orléans, nov. 2012. url : http://tel.archives-ouvertes.fr/tel-00771273. / Vulnerability detections for smart cards require state of the art methods both to attack and to protect the secure device. A typical type of attack is fault injection, most notably performed by means of laser techniques. To prevent some of the consequences of this kind of attacks, several analyses are conducted at the software level. Being able to define criteria and to propose automated tools that can survey the robustness of an application to fault injection is thus nowadays a hot topic, even more so since the hardware attack techniques allow today an attacker to perform several attacks in a single software execution. Indeed, recent research works evaluate the effectiveness of counter-measures against fault injection[1], or attempt to develop models of fault injection at the C level[2]. This thesis project addresses the issue of multiple faults injection, albeit by adding the distinctive aspect of static and dynamic analysis interaction in a context of binary-level fault injection. An objective of the thesis is to achieve a configurable framework to simulate fault injections in the way they are currently performed by the CESTI-LETI laboratory on the actual hardware. To do so we will develop a generic intermediate model that will allow us to specify hardware constraints, such as the various kinds of memories (RAM, EEPROM, ROM), whose different properties can induce either permanent or volatile faults. Combining the static code analysis with dynamic fault injections should prevent the combinatory explosion of the executiions while attack patterns will guide the analysis. A taxonomy of attacks and new attack modelisations could emerge from this work. An adaption of the tools for static analysis is also required, because dynamic fault injection can deeply change the code by modifying the interpretation of the instructions, in a similar manner to dynamic compilation. This thesis project falls within the CESTI-LETI's innovation strategy, et could lead to an automated code verifier that could be used by the CESTI-LETI evaluation specialists. [1] A. Séré, J-L. Lanet et J. Iguchi-Cartigny. « Evaluation of Countermeasures Against Fault Attacks on Smart Cards ». en. In : International Journal of Security and Its Applications 5.2 (2011). [2] Xavier Kauffmann-Tourkestansky. « Analyses sécuritaires de code de carte à puce sous attaques physiques simulées ». Français. THESE. Université d’Orléans, nov. 2012. url : http://tel.archives-ouvertes.fr/tel-00771273.

La responsabilité de l'État du fait des lois déclarées contraires à la Constitution, parmi les derniers îlots d'irresponsabilité de la puissance, est en passe d'être consacrée en droit français. Le développement d'un régime constitutionnaliste d'expression de la volonté générale, parachevée par l'entrée en vigueur de la question prioritaire constitutionnalité, a conduit le tribunal administratif de Paris à reconnaître une voie de droit permettant l'indemnisation des préjudices consécutifs à l'application d'une loi inconstitutionnelle. En effet, en vertu du principe constitutionnel de responsabilité, que le Conseil constitutionnel a dégagé de l'article 4 de la Déclaration de 1789, l'État a l'obligation de répondre des fautes causées par son organe législatif. Si la faute n'a pas été retenue à propos de la responsabilité de l’État du fait des lois méconnaissant les engagements internationaux de la France, elle devrait l'être concernant les lois inconstitutionnelles. Le principe constitutionnel de responsabilité, en tant que fondement juridique, constitue une habilitation autorisant le juge administratif à qualifier les inconstitutionnalités prononcées par le Conseil constitutionnel de faute de nature à engager la responsabilité de l'État. Par suite, faire entrer la responsabilité de l'État-législateur dans le droit commun de la responsabilité de la puissance publique parachève sa soumission à l'État de droit. La loi n'est plus cet acte incontestable et incontesté. Dorénavant, toute irrégularité d'une disposition législative peut être à l'origine de l'engagement de la responsabilité de l'État. / The responsibility of the State for unconstitutional statutes, which is among the last islets of sovereign immunity, is about to be enshrined in French law. The flourishing of a constitutional mode of parliamentary sovereignty as expression of the general will, completed by the entry into force of an original form of indirect concrete review of parliamentary legislation -the so-called "priority preliminary ruling on the issue of constitutionality" (Question prioritaire de constitutionnalité) -, led the Paris Administrative tribunal to recognize a legal remedy allowing the compensation for damages resulting from the application of an unconstitutional statute. Indeed, by virtue of the constitutional principle of responsibility, which the Constitutional Council has derived from article 4 of the Declaration of 1789, the State is held accountable for the unlawful acts committed by its legislative body. In this kind of situation, if an act cannot be considered "unlawful" on the basis of the State's responsibility because of laws that disregard France's international commitments, it can always be so on the basis of the responsibility of the State for unconstitutional statutes. The constitutional principle of responsibility, as a legal basis, constitutes a norm that confer power to the administrative judge to qualify the unconstitutionalities pronounced by the Constitutional Council as a fault of a nature to engage the responsibility of the State. The parliamentary legislation is no longer this indisputable and uncontested act. From now on, any irregularity in a legislative provision can justify engaging the responsibility of the State.

Le contrat est un acte de prévision et, à ce titre, les prévisions des parties doivent être prises en compte et respectées. A côté des prévisions contractuelles, une notion existe mais est depuis longtemps méconnue : celle de prévisibilité contractuelle. Fondement de nombreux mécanismes bien connus en droit des contrats, comme le dommage prévisible, la force majeure ou encore l'obligation de modérer le dommage, la prévisibilité contractuelle donne naissance à un devoir contractuel : le devoir de prévision, dont la violation constitue une faute de prévision. Outil de moralisation de la relation contractuelle mais également de respect des attentes des parties et de la force obligatoire du contrat, le devoir de prévision a deux conséquences principales : il donne naissance à une obligation d'informer de ce qu'on a pu prévoir, tant lors de la formation que de l'exécution du contrat, et il impose aux parties de mettre en œuvre les mesures raisonnables nécessaires à la bonne exécution du contrat. / The contract is an act of forecasting and, as such, the forecasts of the parties must be taken into account and respected. Besides that, a notion exists but has long been ignored: the notion of contractual predictability. The foundations of many well-known mechanisms in contract law, such as foreseeable damage, force majeure or the mitigation of damages, contractual foreseeability gives rise to a real contractual duty : the duty of forecasting, sanctioned by a fault of forecast. Tools for moralizing the contractual relationship but also for respecting the expectations of the parties and the force of the contract, the duty of forecasting has two main consequences: it gives rise to an obligation to inform what has been foreseen, during training and the performance of the contract, and it requires the parties to implement the necessary reasonable measures for the proper performance of the contract.

L’objectif majeur de ce mémoire est d’étudier la notion de la faute et le degré deculpabilité dans les tragédies inspirées du personnage de Phèdre. Nous allonsanalyser la notion de la faute et ses conséquences dans trois différentes tragédies àsavoir Hippolyte d’Euripide, Phèdre de Sénèque et celle du même titre de JeanRacine. Nous allons faire une étude comparative entre les trois versions enmontrant les ressemblances et les différences dans le traitement de la faute. Enfin,on va voir comment la faute commise volontairement pousse une personne à secondamner elle-même. / The main aim of this thesis is to study the concept of fault and the degree ofculpability in the tragedies inspired of the character Phaedra. We will analyze theconcept of fault and its consequences in the three tragedies namely Hippolytus ofEuripides, Phaedra of Seneca and of the same title by Jean Racine. We will makea comparative study of the three versions by showing the similarities anddifferences in the treatment of the fault. Finally, we will see how the faultcommitted intentionally pushes a person to condemn himself.

Dans l’opinion courante, la sanction est souvent assimilée à sa fonction répressive. Mais sanctionner, c’est aussi amender le fautif, et déduire des implications concrètes aux différentes formes d'engagement, dont les règles. Ces finalités, peu explorées par la littérature gestionnaire, sont pourtant plus en phase avec les préoccupations actuelles. Susciter l’amendement du fautif est une réponse aux difficultés de mobilisation et d'engagement des individus. Déduire des réalités opérationnelles des différentes formes d'engagement est essentiel aux efficacités collectives. On réalise alors que la sanction peut être l'occasion de progrès, en particulier quand la déviance devient un processus (Reynaud, l 997, p. 36). C'est cependant à la condition que les entreprises apprennent à sanctionner, non pour contraindre, mais pour restituer les coopérations. La sanction ne peut plus être réduite à une demande de soumission, elle doit devenir le lieu d'un apprentissage. C'est ce que suggèrent les apports des Théories de la Régulation Sociale (TRS) et des Apprentissages Organisationnels (TAO). Les liens qu'atteste la TRS entre conflit, négociation et règles engagent à renouveler les modalités de sanctionner pour des mesures programmatiques assorties de pratiques probatoires. Quant aux obstacles aux apprentissages organisationnels démontrés par la T.A.O, ils conduisent à envisager la sanction comme un projet, construit à partir des données de l'enquête disciplinaire, des aveux du fautif et des dires des managers. / The common understanding of a sanction is frequently associated with its repressive function. To sanction, however, is also to reform the offender and undermined the real implications of various types of commitment including rules. Yet these ultimate aims, rarely exploited by managerial theory, are more relevant to present-day concerns. Arousing the desire to reform the offender provides a solution to the difficulty individuals experience in taking action and engaging. It is essential for the sake of collective efficiency to draw conclusions from the operational realities of different types of commitment. In doing so, it becomes evident that a sanction can be the opportunity for progress, particularly when deviance becomes a process (Reynaud. 1997. P. 36). It is dependent, nevertheless, on companies learning to sanction, not as a constraint, but as a means of encouraging greater cooperation. A sanction can no longer be considered merely a demand for obedience, it must become a base for learning. The Social Regulation Theories (TRS) and Organisational learning Processes (TAO) make such a case. The links between conflict, negotiation and rules borne out by the TRS encourage the renewal of sanctioning methods in favour of programmed measures in conjunction with probationary practices. As for the barriers to organisational learning processes proven by the TAO, they lead co envisaging a sanction as a project that is built on the results of a disciplinary enquiry, admissions of the offender and managers' statement.

L’étude du contrôle juridictionnel des clauses élusives et limitatives de responsabilité suppose une réflexion approfondie sur les différents fondements du contrôle juridictionnel des clauses élusives et limitatives de responsabilité ainsi que sur les modalités de l’exercice juridictionnel de telles clauses. Cette étude vise à proposer un aménagement équilibré des pouvoirs du juge en la matière. La surabondance des moyens permettant au juge de faire échec à l’application des clauses limitatives nous a conduit à s’interroger sur la possibilité d’une révision judiciaire de telles clauses. La mise en œuvre d’une disposition législative générale qui consacrerait le principe de validité de ces clauses et ses limites et qui autoriserait les juges à intervenir pour réviser une clause limitative de responsabilité semble indispensable. / The study of judicial control over elusive and limiting liability clauses supposes an in-depth reflection on the different foundations of the judicial control over these liability clauses and on the jurisdictional practices in this matter. The purpose of this study is to propose a well-balanced reform on the judge’s powers when it comes to elusive and limiting liability clauses. The overabundance of means that allows the judge to eliminate limiting clauses leads us to question whether or not he has the possibility to propose a judicial review of these clauses. The elaboration of a model legislation that defines the validity and limits of these clauses and authorizes the judges to modify theme sounds inevitable.

Cette thèse se situe à l'intersection de la cryptographie et de l'arithmétique des ordinateurs. Elle traite de l'amélioration de primitives cryptographiques asymétriques en termes d'accélération des calculs et de protection face aux attaques par fautes par le biais particulier de l'utilisation des systèmes de représentation des nombres par les restes (RNS). Afin de contribuer à la sécurisation de la multiplication modulaire, opération centrale en cryptographie asymétrique, un nouvel algorithme de réduction modulaire doté d'une capacité de détection de faute est présenté. Une preuve formelle garantit la détection des fautes sur un ou plusieurs résidus pouvant apparaître au cours d'une réduction. De plus, le principe de cet algorithme est généralisé au cas d'une arithmétique dans un corps fini non premier. Ensuite, les RNS sont exploités dans le domaine de la cryptographie sur les réseaux euclidiens. L'objectif est d'importer dans ce domaine certains avantages des systèmes de représentation par les restes dont l'intérêt a déjà été montré pour une arithmétique sur GF(p) notamment. Le premier résultat obtenu est une version en représentation hybride RNS-MRS de l'algorithme du « round-off » de Babai. Puis une technique d'accélération est introduite, permettant d'aboutir dans certains cas à un algorithme entièrement RNS pour le calcul d'un vecteur proche. / This thesis is at the crossroads between cryptography and computer arithmetic. It deals with enhancement of cryptographic primitives with regard to computation acceleration and protection against fault injections through the use of residue number systems (RNS) and their associated arithmetic. So as to contribute to secure the modular multiplication, which is a core operation for many asymmetric cryptographic primitives, a new modular reduction algorithm supplied with fault detection capability is presented. A formal proof guarantees that faults affecting one or more residues during a modular reduction are well detected. Furthermore, this approach is generalized to an arithmetic dedicated to non-prime finite fields Fps . Afterwards, RNS are used in lattice-based cryptography area. The aim is to exploit acceleration properties enabled by RNS, as it is widely done for finite field arithmetic. As first result, a new version of Babai’s round-off algorithm based on hybrid RNS-MRS representation is presented. Then, a new and specific acceleration technique enables to create a full RNS algorithm computing a close lattice vector.

Dans une séquence d'arrêts rendus à partir de 1996, la Cour suprême du Canada établit que les recours pour « atteinte illicite » prévus à l'article 49 de la Charte des droits et libertés de la personne doivent être soumis au régime de responsabilité civile de droit commun. La Cour suprême indique à cette occasion que, pour qu’il y ait atteinte illicite à un droit, la violation de ce droit devra être qualifiée de fautive. Cette qualification pourra être démontrée par « la transgression d’une norme de conduite jugée raisonnable dans les circonstances selon le droit commun » ou, « comme c’est le cas pour certains droits », lorsqu’un comportement transgresse « […] une norme dictée par la Charte elle-même ». Dans le premier cas, la notion de faute absorbe la notion d’illicéité, alors que dans le deuxième cas elle se dissout dans l’illicite (ce qui en fait une faute objective in abstracto). Or, dans ce dernier cas, la Cour suprême du Canada, en 2008, dans l’arrêt Ciment du Saint-Laurent, a indiqué que la faute constitue une obligation de moyens, qui s’évalue selon le critère de la personne prudente et diligente. Il ne peut donc s’agir d’une obligation de résultats. Il serait donc maintenant difficile de concilier cette caractérisation de la faute avec la politique adoptée par la Cour suprême en matière de Charte. Puisque le texte de la Charte contient lui-même les conditions matérielles et formelles dans lesquelles il sera possible de conclure à l’existence d’une atteinte illicite, il serait souhaitable, aux fins d’assurer la cohérence du droit, que la méthode de convergence des recours entre le Code et la Charte soit délaissée afin de reconnaître la pleine autonomie matérielle des recours prévus à la Charte, ce qui, du même coup, aurait pour effet de ne pas dénaturer la notion de faute. De plus, alors que la Cour suprême établissait dans ces arrêts qu’une atteinte illicite ne comporte pas un préjudice en soi, l’auteure soutien que le dommage causé à un droit comporte toujours un préjudice inhérent, que le droit se doit de sanctionner. / In a sequence of judgments rendered since 1996, the Supreme Court of Canada assimilates liability action for "unlawful interference" under Article 49 of the Charter of Human Rights and Freedoms to civil liability action under the general law. The Supreme Court said on this occasion that for there to be unlawful infringement, violation of the right has to be qualified as faulty. This qualification may be demonstrated if a person’s conduct violates "a standard of conduct considered reasonable in the circumstances under the general law" or if the person violates "in the case of certain protected rights, a standard set out in the Charter itself". In the first case, the notion of fault, as understood by the Supreme Court of Canada, absorbs the notion of "unlawful interference", while in the second case it dissolves in "unlawful interference" (which makes an objective fault in abstracto). However, in the second case, the Supreme Court of Canada’s decision in St. Lawrence Cement, rendered in 2008, said that the fault is an obligation of means, which is assessed according to the criteria of prudent and diligent person. Thus, it is not obligation of result. It would be now difficult to reconcile this characterization of the fault with the policy adopted by the Supreme Court's in the matter of the Charter. Since the text of the Charter itself contains the substantive and formal conditions under which it is possible to determine the existence of an "unlawful interference", it would be desirable that the method of convergence of actions between the Code and the Charter should be abandoned in favor of the recognition of the material autonomy of the Charter to ensure consistency of law, which would also mean not to distort the concept of fault. Moreover, while the Supreme Court established unlawful interference has no prejudice in itself, the author attempts to demonstrate that the violation of a right is still an inherent prejudice that the law must recognize.