Practical and Foundational Aspects of Secure Computation

Il y a des problemes qui semblent impossible a resoudre sans l'utilisation d'un tiers parti honnete. Comment est-ce que deux millionnaires peuvent savoir qui est le plus riche sans dire a l'autre la valeur de ses biens ? Que peut-on faire pour prevenir les collisions de satellites quand les trajectoires sont secretes ? Comment est-ce que les chercheurs peuvent apprendre les liens entre des medicaments et des maladies sans compromettre les droits prives du patient ? Comment est-ce qu'une organisation peut ecmpecher le gouvernement d'abuser de l'information dont il dispose en sachant que l'organisation doit n'avoir aucun acces a cette information ? Le Calcul multiparti, une branche de la cryptographie, etudie comment creer des protocoles pour realiser de telles taches sans l'utilisation d'un tiers parti honnete. Les protocoles doivent etre prives, corrects, efficaces et robustes. Un protocole est prive si un adversaire n'apprend rien de plus que ce que lui donnerait un tiers parti honnete. Un protocole est correct si un joueur honnete recoit ce que lui donnerait un tiers parti honnete. Un protocole devrait bien sur etre efficace. Etre robuste correspond au fait qu'un protocole marche meme si un petit ensemble des joueurs triche. On demontre que sous l'hypothese d'un canal de diusion simultane on peut echanger la robustesse pour la validite et le fait d'etre prive contre certains ensembles d'adversaires. Le calcul multiparti a quatre outils de base : le transfert inconscient, la mise en gage, le partage de secret et le brouillage de circuit. Les protocoles du calcul multiparti peuvent etre construits avec uniquements ces outils. On peut aussi construire les protocoles a partir d'hypoth eses calculatoires. Les protocoles construits a partir de ces outils sont souples et peuvent resister aux changements technologiques et a des ameliorations algorithmiques. Nous nous demandons si l'efficacite necessite des hypotheses de calcul. Nous demontrons que ce n'est pas le cas en construisant des protocoles efficaces a partir de ces outils de base. Cette these est constitue de quatre articles rediges en collaboration avec d'autres chercheurs. Ceci constitue la partie mature de ma recherche et sont mes contributions principales au cours de cette periode de temps. Dans le premier ouvrage presente dans cette these, nous etudions la capacite de mise en gage des canaux bruites. Nous demontrons tout d'abord une limite inferieure stricte qui implique que contrairement au transfert inconscient, il n'existe aucun protocole de taux constant pour les mises en gage de bit. Nous demontrons ensuite que, en limitant la facon dont les engagements peuvent etre ouverts, nous pouvons faire mieux et meme un taux constant dans certains cas. Ceci est fait en exploitant la notion de cover-free families . Dans le second article, nous demontrons que pour certains problemes, il existe un echange entre robustesse, la validite et le prive. Il s'effectue en utilisant le partage de secret veriable, une preuve a divulgation nulle, le concept de fantomes et une technique que nous appelons les balles et les bacs. Dans notre troisieme contribution, nous demontrons qu'un grand nombre de protocoles dans la litterature basee sur des hypotheses de calcul peuvent etre instancies a partir d'une primitive appelee Transfert Inconscient Veriable, via le concept de Transfert Inconscient Generalise. Le protocole utilise le partage de secret comme outils de base. Dans la derniere publication, nous counstruisons un protocole efficace avec un nombre constant de rondes pour le calcul a deux parties. L'efficacite du protocole derive du fait qu'on remplace le coeur d'un protocole standard par une primitive qui fonctionne plus ou moins bien mais qui est tres peu couteux. On protege le protocole contre les defauts en utilisant le concept de privacy amplication .

Detecting uterine cervical cancer cells using molecular biomarkers

Arrière-plan: les cellules tumorales circulantes (CTC) sont détectables dans de nombreux cancers et peuvent être utiles cliniquement pour le pronostic de la maladie, pour mesurer la récidive et pour prédire la sensibilité aux medicaments chimiothérapeutiques. Au cours des dernières années, l’études des CTC dans de nombreux cancers tels que le cancer du sein, du poumon, du côlon et de la prostate a grandement évolué. Alternativement, il y peu d'études à ce sujet concernant le cancer du col de l’utérus (CCU). Objectifs: Notre objectif est d’optimiser le processus d'enrichissement des CTC dans le CCU et la détection moléculaire des biomarqueurs E6 et E7. Matériel et Méthodes: Dans l’optique de mimer la présence de CTC dans le sang, nous avons dilué des cellules cancéreuses CaSki VPH16-positif provenant d’un CCU dans du sang humain prélevé sur des volontaires sains. Les CaSki ont été collectées suite à une centrifugation par densité avec le Ficoll, la lyse des globules rouges (RBC) et la lyse des RBC combinée avec un enrichissement positif et négatif à l’aide de marqueurs de surface cellulaire. Les CTC ont été détectées par la mesure d’expression des oncogènes E6 et E7 du virus du papillome humain (VPH), de la cytokératine 19 (CK19) et de la cycline p16INK4 en utilisant la technique quantitative en temps réel de Reverse Transcriptase-Polymerase Chain Reaction (qRT-PCR). Pour valider notre méthode de détection des CTC in vivo, nous avons recruté dix patientes atteintes d’un CCU VPH16 positif et six contrôles sains. Résultats: Dans le modèle de dilutions de cellules CaSki, la lyse des RBC seule ou combinée avec l'enrichissement négatif ou positif suggèrent des limites de détection de 1 CTC par mL de sang pour tous les biomarqueurs moléculaires utilisés. La sensibilité de détection est accrue lors de l'utilisation de l’enrichissement positif et négatif en réduisant le bruit de fond causé par les monocytes sanguins. Contrairement aux oncogènes E6 et E7, les marqueurs CK19 et p16INK4A ont été détectés chez des individus sains, les niveaux d'expression de base appropriés doivent donc être déterminés avec précision par rapport aux patientes CCU. Le gradient de densité par Ficoll a une limite de détection de seulement environ 1000 cellules par mL de sang. Enfin, les CTC ont été détectées dans 2/10 patientes en utilisant le marqueur CK19. Cependant, ces patientes étaient négatives pour les oncogènes E6/E7. Le marqueur p16INK4A était exprimé au même niveau dans tous les échantillons (CCU et normaux). Conclusion: Notre étude suggère que les oncogènes E6 et E7 du VPH16 sont les marqueurs biologiques les plus sensibles et spécifiques en qRT-PCR pour détecter les CTC dans le modèle de dilution de cellules de CCU dans le sang. Chez les patientes atteintes d’un CCU de stade précoce, seulement CK19 a révélé la présence potentielle de CTC, ce qui suggère que ces cellules sont rares à ce stade de la maladie. Mots clés: cancer du col de l’utérus, cellules tumorales circulantes, RT-qPCR, E6 et E7, CK19, p16INK4A, enrichissement immunomagnétique, détection moléculaire.