A B model for ensuring soundness of a large subset of the Java Card virtual machine

AbstractJava Cards are a new generation of smart cards that use the Java programming language. As smart cards are usually used to supply security to an information system, security requirements are very strong. The byte code interpreter and verifier are crucial components of such cards, and proving their safety can become a competitive advantage. Previous works have been done on methodology for proving the soundness of the byte code interpreter and verifier using the B method. It refines an abstract defensive interpreter into a byte code verifier and a byte code interpreter. However, this work had only been tested on a very small subset of the Java Card instruction set. This paper presents a work aiming at verifying the scalability of this previous work. The original instruction subset of about 10 instructions has been extended to a larger subset of more than one hundred instructions, and the additional cost of the proof has been managed by modifying the specification in order to group opcodes by properties

Une catalyse vertueuse menant à des architectures moléculaires complexes

The manuscript is dealing with the development of new ligands pyridylmethylamine platformfor the study of their catalytic activity and potential application for the construction of helicalarchitectures. The first part describes the synthesis of new pma ligands. Attention has beenpaid to define the best compromise between a limited number of steps, mild conditions,introduction of chirality at key steps and opportunities to reach structural diversity. Thesecond part concerns the catalytic study of these ligands in various transformations such as Pdcatalysis in Suzuki-Miyaura coupling, Cu catalysis in oxidative coupling copper and Znpromoted nucleophilic addition. First lines of structure-activity relationships has been realizedusing 15N. Finally the last part is devoted to the construction of helical moleculararchitectures. Axial chirality is installed in key coupling step.Les travaux de recherche s'articulent autour de l'élaboration de nouveaux ligands à plateformepyridylméthylamine, de l'étude de leur activité catalytique, et de leur application potentiellepour la construction d'édifices hélicéniques. La première partie consiste en la synthèse denouveaux ligands pma. Un travail méthodologique a été effectué afin de trouver le meilleurcompromis entre un nombre d'étapes limitées, des conditions douces, un apport de chiralité etune possibilité d'apporter une importante diversité structurale. La deuxième partie de cemanuscrit concerne l'étude catalytique des ligands synthétisés dans diverses transformationscomme le couplage de Suzuki-Miyaura, le couplage oxydant au cuivre et l'additionnucléophile par un organozincique. Les premiers éléments d'une étude structure activité desligands pma appliqués aux couplages de Suzuki-Miyaura a été réalisée en solution grâce à laRMN 15N. La dernière partie repose sur la construction d'architectures moléculairescomplexes et la possibilité de gérer la chiralité axiale dans l'étape clé de leur synthèse

A virtuous catalysis leading to complex molecular architectures

Les travaux de recherche s'articulent autour de l'élaboration de nouveaux ligands à plateformepyridylméthylamine, de l'étude de leur activité catalytique, et de leur application potentiellepour la construction d'édifices hélicéniques. La première partie consiste en la synthèse denouveaux ligands pma. Un travail méthodologique a été effectué afin de trouver le meilleurcompromis entre un nombre d'étapes limitées, des conditions douces, un apport de chiralité etune possibilité d'apporter une importante diversité structurale. La deuxième partie de cemanuscrit concerne l'étude catalytique des ligands synthétisés dans diverses transformationscomme le couplage de Suzuki-Miyaura, le couplage oxydant au cuivre et l'additionnucléophile par un organozincique. Les premiers éléments d'une étude structure activité desligands pma appliqués aux couplages de Suzuki-Miyaura a été réalisée en solution grâce à laRMN 15N. La dernière partie repose sur la construction d'architectures moléculairescomplexes et la possibilité de gérer la chiralité axiale dans l'étape clé de leur synthèse.The manuscript is dealing with the development of new ligands pyridylmethylamine platformfor the study of their catalytic activity and potential application for the construction of helicalarchitectures. The first part describes the synthesis of new pma ligands. Attention has beenpaid to define the best compromise between a limited number of steps, mild conditions,introduction of chirality at key steps and opportunities to reach structural diversity. Thesecond part concerns the catalytic study of these ligands in various transformations such as Pdcatalysis in Suzuki-Miyaura coupling, Cu catalysis in oxidative coupling copper and Znpromoted nucleophilic addition. First lines of structure-activity relationships has been realizedusing 15N. Finally the last part is devoted to the construction of helical moleculararchitectures. Axial chirality is installed in key coupling step

Freud et Nietzsche

Le ça freudien correspond-il au soi nietzschéen ? Ces deux notions consistent en effet en instances psychiques qui dictent leur désir au sujet rationnel. Chez Freud elle est dualisme et chez Nietzsche jeu de forces. Dans les deux cas, elles sont le lieu d'un conflit. Toutefois, pour Freud, il incombe au moi d'imposer sa domination au ça, alors que chez Niezsche, la perfection serait atteinte lorsque la conscience s'efface devant le soi. Dans le paradigme freudien, ça et moi diffèrent dans leur fonctionnement même, alors que dans la Volonté de puissance, la conscience n'est qu'une version simplifiée du soi. Cette distinction sépare radicalement les deux penseurs : le psychanalyste conserve un dualisme dans lequel la rationalité cherche à s'imposer au chaos, alors que le philosophe s'ingénie à présenter le monde chaotique du devenir comme seule réalit

Commentaire d'une exposition

Vom Tod des Malers Fusco ausgehend, der sein Leben als Insasse von Zuchthaus und Irrenhaus zugebracht hatte, illustriert der Verfasser das Problem der Unfähigkeit unserer modernen Gesellschaft, die Rolle des Wahnsinns und des Todes anzuerkennen. Indem sie ihnen die Bedeutung nimmt, nämlich die erstere medikalisiert, die letztere verdeckt, will sie sie annehmbar mac hen. Ein solches Unterfangen ist eng verknüpft mit einer — historischen und begrenzten — Bewusstseinsphilosophie des kartesianischen "Ichs", der der Verfasser nun die Struktur des Unbegrenzten (das posthume Unterbewusstsein) gegenüberstellt, an dem Wahnsinn und Tod teilhaben.The author uses the death of the painter, Fusco, who had firsthand knowledge of both convict prisons and asylums, to pose the problem of present-day society being incapable of acknowledging the role of madness and death. It somehow strips them of their meaning to make them acceptable, medicalizing the former and masking the latter. This "undertaking" is tightly bound up with a philosophical view of the conscious, of the historical, circumscribed, Cartesian "I" which the author contrasts with the limitless nature (the posthumous unconscious) of both madness and death.A partir de la mort du peintre Fusco ayant vécu le bagne et l'asile, l'auteur pose le problème de l'incapacité que présente la société actuelle de reconnaître le rôle de la folie et de la mort. Elle les dépouille en quelque sorte de leur sens pour les rendre acceptables, en médicalisant la première et en occultant la seconde. Une telle "opération" se rattache à une philosophie de la conscience, du "je" cartésien, historique et limité, face à laquelle l'auteur pose, par opposition, la structure de l'infinissable (l'inconscient posthume) à laquelle participent la folie et la mort.Verwijzend naar de dood van de schilder Fusco, die zowel de gevangenis als het assiel had meegemaakt, stelt de auteur het probleem van de onbekwaamheid der huitige samenleving om de roi van de gekheid en van de dood te erkennen. Om ze aanvaardbaar te maken ontdoet zij die verse hijnselen in zekere mate van hun betekenis door het eerste te vergeneeskundigen en het tweede te verbergen. Zulke "operatie" is verbonden met een filosofie van het bewust- zijn, van het cartesiaanse "ik", historisch en beperkt, waar de auteur tegenover plaatst de structuur van het onbeëindigbare (het posthume bewustzijn) waaraan de gekheid en de dood deel nemen.Requet André. Commentaire d'une exposition. In: Déviance et société. 1981 - Vol. 5 - N°1. pp. 27-44

Normandie : politic ecology's realm ? Ecology's history from communities battle to political parties action (1974-2012)

Cette monographie porte sur l’écologie politique en Basse Normandie de 1968 à 2012. En effet, elle nous invite à nous interroger sur le développement du mouvement écologiste, puis sur sa structuration et enfin sur son poids électoral dans cette région. En d’autres termes, nous allons nous demander si la région bas-normande, dominée par la droite, est une terre favorable à l’écologie politique ? Dès la fin des années 1960, la Basse Normandie se caractérise par l’apparition d’associations environnementales et écologiques qui sont déterminantes dans le développement de ce mouvement. Par ailleurs, dans un contexte de remise en cause de l’autoritarisme, du centralisme et de la société de consommation par une partie de la population, le Nord Cotentin fut le théâtre d’une importante mobilisation antinucléaire qui compte dans la naissance de l’écologie politique à l’échelle régionale. Cette lutte a cristallisé les différentes sensibilités partisanes et l’extrême hétérogénéité de ses sympathisants. Au même titre que l’Alsace, la Basse Normandie devient une terre pionnière de l’écologie politique. Toutefois, étant donné leur répulsion quasi-structurelle à s’organiser en parti, les écologistes tardent à s’unifier dans une même structure. Suite à de nombreuses crises et départs, le mouvement connaît de profondes mutations régionales. Ainsi, après le succès électoral, la région bas-normande devient une terre de mission au cours des années 2000. Anti-systèmes dès son l’origine, les écologistes se professionnalisent et participent à des alliances électorales en vue d’obtenir des postes à responsabilité, et ce, malgré les rapports complexes avec les partis de gauche, et plus particulièrement avec le PS, au sujet de la présence du nucléaire dans la Manche. Toutefois, malgré leur réussite électorale lors des élections locales, ils ne parviennent pas à « se construire de fiefs » dans la région.This monograph which focuses on ecological politics in Basse Normandie from 1968 to 2012, tackles the topic question, the development of the ecological movement, its structure, and finally its electoral representation in this region. In other words, we are going to ask ourselves if the Basse Normandie region, despite its right-wing domination, is a land in favor of political ecology? By the end of the 1960s, Basse Normandie was characterized by the emergence of environmental and ecological associations which were decisive in the development of this movement. Moreover, in a time when a part of the population was challenging authoritarianism, centralism consumer society, Nord Cotentin was the scene of an important antinuclear mobilization which paved the way to political ecology at the regional level. This struggle epitomized the different strands of the movement and the deep differences between its members. Like Alsace, Basse Normandie became a pioneer of political ecology. However, given their deeply-rooted rejection of founding party, ecologists postponed the creation of that structure. After many crises, the movement underwent deep regional changes. Thus, after a few electoral successes, the region Basse Normandie became a land of conquest during the 2000's. Despite their anti-system essence, ecologists professionalized themselves and took part in voting alliance to obtain position of responsibility in spite of their complex relationships with left-wings parties, and more particularly with the Socialist Party, about nuclear power plants implementation in the Manche. However, despite electoral successes in local elections, they failed to build their own political territories

La Basse-Normandie : terre de l'écologie politique ? Du combat des associations environnementales à l'action des partis écologistes (1968-2012)

This monograph which focuses on ecological politics in Basse Normandie from 1968 to 2012, tackles the topic question, the development of the ecological movement, its structure, and finally its electoral representation in this region. In other words, we are going to ask ourselves if the Basse Normandie region, despite its right-wing domination, is a land in favor of political ecology? By the end of the 1960s, Basse Normandie was characterized by the emergence of environmental and ecological associations which were decisive in the development of this movement. Moreover, in a time when a part of the population was challenging authoritarianism, centralism consumer society, Nord Cotentin was the scene of an important antinuclear mobilization which paved the way to political ecology at the regional level. This struggle epitomized the different strands of the movement and the deep differences between its members. Like Alsace, Basse Normandie became a pioneer of political ecology. However, given their deeply-rooted rejection of founding party, ecologists postponed the creation of that structure. After many crises, the movement underwent deep regional changes. Thus, after a few electoral successes, the region Basse Normandie became a land of conquest during the 2000's. Despite their anti-system essence, ecologists professionalized themselves and took part in voting alliance to obtain position of responsibility in spite of their complex relationships with left-wings parties, and more particularly with the Socialist Party, about nuclear power plants implementation in the Manche. However, despite electoral successes in local elections, they failed to build their own political territories.Cette monographie porte sur l’écologie politique en Basse Normandie de 1968 à 2012. En effet, elle nous invite à nous interroger sur le développement du mouvement écologiste, puis sur sa structuration et enfin sur son poids électoral dans cette région. En d’autres termes, nous allons nous demander si la région bas-normande, dominée par la droite, est une terre favorable à l’écologie politique ? Dès la fin des années 1960, la Basse Normandie se caractérise par l’apparition d’associations environnementales et écologiques qui sont déterminantes dans le développement de ce mouvement. Par ailleurs, dans un contexte de remise en cause de l’autoritarisme, du centralisme et de la société de consommation par une partie de la population, le Nord Cotentin fut le théâtre d’une importante mobilisation antinucléaire qui compte dans la naissance de l’écologie politique à l’échelle régionale. Cette lutte a cristallisé les différentes sensibilités partisanes et l’extrême hétérogénéité de ses sympathisants. Au même titre que l’Alsace, la Basse Normandie devient une terre pionnière de l’écologie politique. Toutefois, étant donné leur répulsion quasi-structurelle à s’organiser en parti, les écologistes tardent à s’unifier dans une même structure. Suite à de nombreuses crises et départs, le mouvement connaît de profondes mutations régionales. Ainsi, après le succès électoral, la région bas-normande devient une terre de mission au cours des années 2000. Anti-systèmes dès son l’origine, les écologistes se professionnalisent et participent à des alliances électorales en vue d’obtenir des postes à responsabilité, et ce, malgré les rapports complexes avec les partis de gauche, et plus particulièrement avec le PS, au sujet de la présence du nucléaire dans la Manche. Toutefois, malgré leur réussite électorale lors des élections locales, ils ne parviennent pas à « se construire de fiefs » dans la région