Étude du filtrage de flux HTTPS

National audienceCe rapport présente le travail que j’ai réalisé chez Inria, dans l’équipe MADYNES, pendant mes neuf semaines de stage. Ce dernier s’inscrit à la suite de ma deuxième année à TELECOM Nancy et a porté sur l’étude du filtrage de flux HTTPS 1 . Le protocole HTTPS est de plus en plus utilisé pour accéder, de manière sécurisée, à du contenu sur le web. Il permet de s’assurer que les données n’ont pas été altérées, ni même lues par un tiers, entre l’envoi du message et sa réception par un serveur. Les récentes découvertes d’un des membres de l’équipe MADYNES ont montré que certains systèmes de filtrage actuels (basés sur le paramètre SNI de TLS) ont des limites et pouvaient être facilement contournées, notamment dans le cas du filtrage sur le protocole HTTPS mis en place dans des pare-feux. Pour commencer, j’ai étudié les différentes techniques de filtrage sur le web, et notamment dans le cas du web chiffré. J’ai analysé le fonctionnement du protocole HTTPS, et en particulier le protocole TLS (Transport Layer Security) qui fournit la couche de sécurité. J’ai ensuite implanté une extension pour le navigateur Firefox permettant à un utilisateur d’accéder à des services malgré la présence de filtres. Puis, j’ai développé un collecteur de flux HTTPS qui devrait fournir une base d'étude pour créer un nouveau filtrage, reposant sur des techniques automatiques

HILAIRE (Yves-Marie), éd., De Renan à Marrou. L’histoire du christianisme et les progrès de la méthode historique (1863-1968)

Ce livre, et le colloque dont il recueille les Actes, se proposent, selon la quatrième de couverture, deux buts : « une réflexion sur les relations entre l’histoire du christianisme dans ses origines et les progrès de la méthode historique au cours d’un siècle » et « un hommage à la mémoire d’un éminent historien, Henri-Irénée Marrou, maître inégalé dans le domaine de l’Antiquité tardive et de la méthodologie de l’histoire, à l’occasion du XXe anniversaire de sa disparition ». Ce double propo..

ROUXEL (Jean-Yves), Le Saint-Siège sur la scène internationale

« Saint-Siège » affiche le titre. Mais la phrase initiale annonce qu’on va « traiter de la présence de l’Église sur la scène internationale », et la définition de l’Église est empruntée aux théologiens et aux canonistes. La première partie décrit donc cette présence : bref historique, très ...condensé (un échantillon : « de la partition de l’Empire carolingien allaient naître trois États, France, Allemagne, Italie »), des origines aux accords du Latran, et position actuelle ; la diplomatie va..

WANEGFFELEN (Thierry), Une difficile Fidélité. Catholiques malgré le concile en France XVIe-XVIIe siècles

« Le concile », c’est évidemment Trente, avec ses suites, ce qu’on a appelé le catholicisme posttridentin. Cet essai original esquisse une synthèse de travaux jusqu’ici dispersés et des recherches de l’auteur. La tradition a longtemps parlé de Contre-Réforme. Voilà plus d’un demi-siècle, Hubert Jedin faisait remarquer que le terme ne recouvrait que les aspects négatifs de l’œuvre conciliaire, le combat antiprotestant, et ne rendait pas justice au renouveau institutionnel et spirituel : il pro..

HILAIRE (Yves-Marie), éd., De Renan à Marrou. L’histoire du christianisme et les progrès de la méthode historique (1863-1968)

Ce livre, et le colloque dont il recueille les Actes, se proposent, selon la quatrième de couverture, deux buts : « une réflexion sur les relations entre l’histoire du christianisme dans ses origines et les progrès de la méthode historique au cours d’un siècle » et « un hommage à la mémoire d’un éminent historien, Henri-Irénée Marrou, maître inégalé dans le domaine de l’Antiquité tardive et de la méthodologie de l’histoire, à l’occasion du XXe anniversaire de sa disparition ». Ce double propo..

Marked Hyperthyroxinemia During Amiodarone Treatment Revealing Thyroid Hormone Resistance Syndrome

International audienc

Geography of Sand and Gravel Mining in the Lower Mekong River

L’extraction des sables et graviers en rivière a augmenté dans les pays développés depuis au moins le milieu du XXe siècle, en particulier pour la construction (béton) et les remblais (voies ferrées et routières, conquête de terrains en zone inondable, plates-formes en mer). Dans les 30 dernières années, ce phénomène a connu une grande expansion dans les pays en développement tels que la Chine, l’Inde et dans d’autres pays asiatiques à croissance rapide. Les impacts négatifs de l’extraction des ressources fluviales sont bien documentés en Europe et aux États-Unis depuis le début des années 1980 et des études sont maintenant disponibles sur les extractions en Asie du Sud-est et notamment en Chine. Le Bas Mékong et ses bassins tributaires sont des hauts lieux de la biodiversité mais ils ont connu un essor considérable de la construction des barrages, en particulier sur le cours chinois du Mékong, le Lancang. L’enjeu actuel le plus important dans le bassin du Mékong est sans aucun doute la menace qui pèse sur les côtes du delta car l’importance de ce dernier est remarquable en termes de sécurité alimentaire pour les populations en forte croissance du Vietnam et du Cambodge. Les raisons les plus souvent citées pour expliquer le recul du delta sont le piégeage des sédiments qui se fait dans les retenues du haut bassin et le changement climatique. Les extractions de sable et gravier dans le chenal du Mékong et sur ses affluents n’ont pas encore été prises en considération. Cet article fournit la première évaluation de l’extraction des ressources en granulat sur les 2 400 km du cours principal du Bas Mékong, de la frontière chinoise au delta. Le Fonds Mondial pour la Nature (WWF) a réalisé un relevé en 2011-2012. Des entretiens systématiques ont été réalisés dans les quatre pays du bas Mékong pour évaluer les types de matériaux extraits, les techniques utilisées, les volumes extraits, les tendances enregistrées ces dernières années et les changements attendus dans la géographie des extractions. Les résultats révèlent que le volume annuel de sable et de gravier extrait, en dépit d’une sous-évaluation évidente, excède le volume de sable et de gravier transporté par le fleuve. Les résultats soulignent aussi l’importance considérable de ce facteur dans les changements géomorphologiques et écologiques enregistrés dans les différents tronçons du Mékong et dans son delta.Sand and gravel mining from rivers has increased throughout the developed countries since at least the mid-1900s, for construction (concrete) and for landfill (railways, motorways, land reclamation in flooded areas, offshore reclamation). Over the past 30 years, this phenomenon has spread due to the economic development of countries such as China, India and other fast-growing economies of South-East Asia. The detrimental impacts of aggregate extraction have been well documented in Europe and in the U.S. since the early 1980s and studies are now available on extraction in S.E. Asia, notably in China. The lower Mekong River and its tributary watersheds are hotspots for biodiversity, but have seen considerable dam construction, particularly along the Lancang, the upper course of the Mekong in China. Currently, the most important issue in the Mekong basin is certainly the threat to the delta coastline because of its importance in terms of food security for the growing populations of Vietnam and Cambodia. The reasons most often cited to explain the retreat of the delta are the trapping of sediment in the existing upstream reservoirs and climate change. Sand and gravel mining in the Mekong River bed and in the tributary channels has not been taken into consideration to date. This paper provides the first assessment of sediment extraction along the 2 400-kilometre channel of the main stem of the lower Mekong River, from the Chinese border to the delta. The World Wide Fund for Nature ran a survey in 2011-2012. Systematic interviews assessing the types of aggregates, extraction techniques, extracted volumes, trends over the past years and the expected changes in the geography of extraction were carried out in the four countries drained by the Lower Mekong. The survey results reveal that the yearly volume of sand and gravel extracted, despite its undervaluation, exceeds the transported volume of sand and gravel in the Mekong sediment load. The results also highlight the extreme importance of this factor in the geomorphologic and ecological changes of the Mekong reaches and the delta

Efficiently Bypassing SNI-based HTTPS Filtering

International audienceEncrypted Internet traffic is an essential element to enable security and privacy in the Internet. Surveys show that websites are more and more being served over HTTPS. They highlight an increase of 48% of sites using TLS over the past year, justifying the tendency that the Web is going to be encrypted. This motivates the development of new tools and methods to monitor and filter HTTPS traffic. This paper handles the latest technique for HTTPS traffic filtering that is based on the Server Name Indication (SNI) field of TLS and which has been recently implemented in many firewall solutions. Our main contribution is an evaluation of the reliability of this SNI extension for properly identifying and filtering HTTPS traffic. We show that SNI has two weaknesses, regarding (1) backward compatibility and (2) multiple services using a single certificate. We demonstrate thanks to a web browser plug-in called " Escape " that we designed and implemented, how these weaknesses can be practically used to bypass firewalls and monitoring systems relying on SNI. The results show positive evaluation (firewall's rules successfully bypassed) for all tested websites

Tate duality and transfer in Hochschild cohomology

We show that dualising transfer maps in Hochschild cohomology of symmetric algebras commutes with Tate duality. This extends a well-known result in group cohomology