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 .

Information reconciliation for Quantum Key Distribution

Secret-key agreement, a well-known problem in cryptography, allows two parties holding correlated sequences to agree on a secret key communicating over a public channel. It is usually divided into three different procedures: advantage distillation, information reconciliation and privacy amplification. The efficiency of each one of these procedures is needed if a positive key rate is to be attained from the legitimate parties? correlated sequences. Quantum key distribution (QKD) allows the two parties to obtain correlated sequences, provided that they have access to an authenticated channel. The new generation of QKD devices is able to work at higher speeds and in noisier or more absorbing environments. This exposes the weaknesses of current information reconciliation protocols, a key component to their performance. Here we present a new protocol based in low-density parity-check (LDPC) codes that presents the advantages of low interactivity, rate adaptability and high efficiency,characteristics that make it highly suitable for next generation QKD devices.

Rate-Adaptive LDPC-based key reconciliation for high performance quantum key distribution

The postprocessing or secret-key distillation process in quantum key distribution (QKD) mainly involves two well-known procedures: information reconciliation and privacy amplification. Information or key reconciliation has been customarily studied in terms of efficiency. During this, some information needs to be disclosed for reconciling discrepancies in the exchanged keys. The leakage of information is lower bounded by a theoretical limit, and is usually parameterized by the reconciliation efficiency (or inefficiency), i.e. the ratio of additional information disclosed over the Shannon limit. Most techniques for reconciling errors in QKD try to optimize this parameter. For instance, the well-known Cascade (probably the most widely used procedure for reconciling errors in QKD) was recently shown to have an average efficiency of 1.05 at the cost of a high interactivity (number of exchanged messages). Modern coding techniques, such as rate-adaptive low-density parity-check (LDPC) codes were also shown to achieve similar efficiency values exchanging only one message, or even better values with few interactivity and shorter block-length codes.

No-switching quantum key distribution using broadband modulated coherent light

We realize an end-to-end no-switching quantum key distribution protocol using continuous-wave coherent light. We encode weak broadband Gaussian modulations onto the amplitude and phase quadratures of light beams. Our no-switching protocol achieves high secret key rate via a post-selection protocol that utilizes both quadrature information simultaneously. We establish a secret key rate of 25 Mbits/s for a lossless channel and 1 kbit/s for 90% channel loss, per 17 MHz of detected bandwidth, assuming individual Gaussian eavesdropping attacks. Since our scheme is truly broadband, it can potentially deliver orders of magnitude higher key rates by extending the encoding bandwidth with higher-end telecommunication technology.

Developments towards practical free-space quantum cryptography

We describe a free space quantum cryptography system which is designed to allow continuous unattended key exchanges for periods of several days, and over ranges of a few kilometres. The system uses a four-laser faint-pulse transmission system running at a pulse rate of 10MHz to generate the required four alternative polarization states. The receiver module similarly automatically selects a measurement basis and performs polarization measurements with four avalanche photodiodes. The controlling software can implement the full key exchange including sifting, error correction, and privacy amplification required to generate a secure key.

New Microsatellite Markers For Wild And Commercial Species Of Passiflora (passifloraceae) And Cross-amplification.

• We developed the first microsatellites for Passiflora setacea and characterized new sets of markers for P. edulis and P. cincinnata, enabling further genetic diversity studies to support the conservation and breeding of passion fruit species. • We developed 69 microsatellite markers and, in conjunction with assessments of cross-amplification using primers available from the literature, present 43 new polymorphic microsatellite loci for three species of Passiflora. The mean number of alleles per locus was 3.1, and the mean values of the expected and observed levels of heterozygosity were 0.406 and 0.322, respectively. • These microsatellite markers will be valuable tools for investigating the genetic diversity and population structure of wild and commercial species of passion fruit (Passiflora spp.) and may be useful for developing conservation and improvement strategies by contributing to the understanding of the mating system and hybridization within the genus.

Microsatellite In Aeschynomene Falcata (leguminosae): Diversity, Cross-amplification, And Chromosome Localization.

Aeschynomene falcata is an important forage species; however, because of low seed production, it is underutilized as forage species. Aeschynomene is a polyphyletic genus with a challenging taxonomic position. Two subgenera have been proposed, and it is suggested that Aeschynomene can be split in 2 genera. Thus, new markers, such as microsatellite sequences, are desirable for improving breeding programs for A. falcata. Based on transferability and in situ localization, these microsatellite sequences can be applied as chromosome markers in the genus Aeschynomene and closely related genera. Here, we report the first microsatellite library developed for this genus; 11 microsatellites were characterized, with observed and expected heterozygosities ranging from 0.0000 to 0.7143 and from 0.1287 to 0.8360, respectively. Polymorphic information content varied from 0.1167 to 0.7786. The departure from Hardy-Weinberg equilibrium may have resulted from frequent autogamy, which is characteristic of A. falcata. Of the 11 microsatellites, 9 loci were cross-amplified in A. brevipes and A. paniculata and 7 in Dalbergia nigra and Machaerium vestitum. Five of these 7 cross-amplified microsatellites were applied as probes during the in situ hybridization assay and 2 showed clear signals on A. falcata chromosomes, ensuring their viability as chromosome markers.

NEW MICROSATELLITE LOCI FOR WATER YAM (DIOSCOREA ALATA, DIOSCOREACEAE) AND CROSS-AMPLIFICATION FOR OTHER DIOSCOREA SPECIES

Premise of the study: Dioscorea alata L. is one of the most widely distributed species of the genus in the humid and semihumid tropics and is associated with traditional agriculture. Only a few microsatellite markers have been developed so far for this and other Dioscorea species. Methods and Results: We isolated 14 codominant polymorphic microsatellite markers using a microsatellite-enriched genomic library technique. Ten microsatellite loci were selected, and 80 D. alata accessions from different regions in Brazil were evaluated with nine polymorphic loci. The polymorphism information content (PIC) varied from 0.39 to 0.78 and the power discrimination (PD) ranged from 0.15 to 0.91. Six of the markers showed transferability for the species D. bulbifera, D. cayenensis-D. rotundata, and D. trifida. Conclusions: The SSR markers obtained are an important tool for further studies aiming to characterize the genetic diversity in D. alata and other Dioscorea spp. accessions.

DEVELOPMENT OF MICROSATELLITE MARKERS FOR AULONEMIA ARISTULATA (POACEAE) AND CROSS-AMPLIFICATION IN OTHER BAMBOO SPECIES

Premise of the study: Microsatellite primers were developed for Aulonemia aristulata, an endangered species of economic interest, to further describe its genetic variability and population structure. We also tested cross-amplification in 18 other bamboo species. Methods and Results: Using an enrichment genomic library, 13 microsatellite loci were isolated and characterized in A. aristulata. Seven of these loci were polymorphic. Twelve markers were cross-amplified in at least ten of the tested bamboo species. Conclusions: These markers will be useful for studies on the genetic diversity and structure of A. aristulata, which are important for future conservation, management and breeding programs of this species.

An oligonucleotide primer set for PCR amplification of the complete honey bee mitochondrial genome

Mitochondrial DNA markers have been widely used to address population and evolutionary questions in the honey bee Apis mellifera. Most of the polymorphic markers are restricted to few mitochondrial regions. Here we describe a set of 24 oligonucleotides that allow PCR amplification of the entire mitochondrial genome of the honey bee A. mellifera in 12 amplicons. These fragments have important applications for the study of mitochondrial genes in different subspecies of A. mellifera and as heterospecific probes to characterize mitochondrial genomes in other bee species.

Quantum system under the actions of two counteracting baths: A model for the attenuation-amplification interplay

We analyze the dynamical behavior of a quantum system under the actions of two counteracting baths: the inevitable energy draining reservoir and, in opposition, exciting the system, an engineered Glauber's amplifier. We follow the system dynamics towards equilibrium to map its distinctive behavior arising from the interplay of attenuation and amplification. Such a mapping, with the corresponding parameter regimes, is achieved by calculating the evolution of both the excitation and the Glauber-Sudarshan P function. Techniques to compute the decoherence and the fidelity of quantum states under the action of both counteracting baths, based on the Wigner function rather than the density matrix, are also presented. They enable us to analyze the similarity of the evolved state vector of the system with respect to the original one, for all regimes of parameters. Applications of this attenuation-amplification interplay are discussed.

Amplification and diffusion of manual preference from lateralized practice in children

The effect of lateralized practice on manual preference was investigated in right-handed children. Probing tasks required reaching and grasping a pencil at distinct eccentricities in the right and left hemifields (simple), and its transportation and insertion into a small hole (complex). During practice, the children experienced manipulative tasks different from that used for probing, using the left hand only. Results showed that before practice the children used almost exclusively the right hand in the right hemifield and at the midline position. Following lateralized practice frequency of use of the left hand increased in most lateral positions. A more evident effect of lateralized practice on shift of manual preference was detected in the complex task. Implications for lateralization of behavior in a developmental timescale are discussed on the basis of the proposition of amplification and diffusion of manual preference from lateralized practice. (C) 2010 Wiley Periodicals, Inc. Dev Psychobiol 52: 723-730, 2010.

Benefits of amplification for speech recognition in background noise

The purpose of the present study was to examine the benefits of providing audible speech to listeners with sensorineural hearing loss when the speech is presented in a background noise. Previous studies have shown that when listeners have a severe hearing loss in the higher frequencies, providing audible speech (in a quiet background) to these higher frequencies usually results in no improvement in speech recognition. In the present experiments, speech was presented in a background of multitalker babble to listeners with various severities of hearing loss. The signal was low-pass filtered at numerous cutoff frequencies and speech recognition was measured as additional high-frequency speech information was provided to the hearing-impaired listeners. It was found in all cases, regardless of hearing loss or frequency range, that providing audible speech resulted in an increase in recognition score. The change in recognition as the cutoff frequency was increased, along with the amount of audible speech information in each condition (articulation index), was used to calculate the "efficiency" of providing audible speech. Efficiencies were positive for all degrees of hearing loss. However, the gains in recognition were small, and the maximum score obtained by an listener was low, due to the noise background. An analysis of error patterns showed that due to the limited speech audibility in a noise background, even severely impaired listeners used additional speech audibility in the high frequencies to improve their perception of the "easier" features of speech including voicing

A rapid selection/amplification procedure for high-level expression of recombinant protein in a metal-amplifiable mammalian expression system

We describe a strategy for the selection and amplification of foreign gene expression in Chinese hamster ovary (CHO) cells employing a metallothionein gene-containing expression vector. This report describes an amplification procedure that results in an enrichment of clones exhibiting high levels of recombinant protein production and reduces the labour required for screening recombinant cell lines.