Information security and the enforcement of secrecy : the practical application of quantum key distribution

There is no doubt about the necessity of protecting digital communication: Citizens are entrusting their most confidential and sensitive data to digital processing and communication, and so do governments, corporations, and armed forces. Digital communication networks are also an integral component of many critical infrastructures we are seriously depending on in our daily lives. Transportation services, financial services, energy grids, food production and distribution networks are only a few examples of such infrastructures. Protecting digital communication means protecting confidentiality and integrity by encrypting and authenticating its contents. But most digital communication is not secure today. Nevertheless, some of the most ardent problems could be solved with a more stringent use of current cryptographic technologies. Quite surprisingly, a new cryptographic primitive emerges from the ap-plication of quantum mechanics to information and communication theory: Quantum Key Distribution. QKD is difficult to understand, it is complex, technically challenging, and costly-yet it enables two parties to share a secret key for use in any subsequent cryptographic task, with an unprecedented long-term security. It is disputed, whether technically and economically fea-sible applications can be found. Our vision is, that despite technical difficulty and inherent limitations, Quantum Key Distribution has a great potential and fits well with other cryptographic primitives, enabling the development of highly secure new applications and services. In this thesis we take a structured approach to analyze the practical applicability of QKD and display several use cases of different complexity, for which it can be a technology of choice, either because of its unique forward security features, or because of its practicability.

A Novel Acute Retroviral Syndrome Severity Score Predicts the Key Surrogate Markers for HIV-1 Disease Progression.

OBJECTIVE: Best long-term practice in primary HIV-1 infection (PHI) remains unknown for the individual. A risk-based scoring system associated with surrogate markers of HIV-1 disease progression could be helpful to stratify patients with PHI at highest risk for HIV-1 disease progression. METHODS: We prospectively enrolled 290 individuals with well-documented PHI in the Zurich Primary HIV-1 Infection Study, an open-label, non-randomized, observational, single-center study. Patients could choose to undergo early antiretroviral treatment (eART) and stop it after one year of undetectable viremia, to go on with treatment indefinitely, or to defer treatment. For each patient we calculated an a priori defined "Acute Retroviral Syndrome Severity Score" (ARSSS), consisting of clinical and basic laboratory variables, ranging from zero to ten points. We used linear regression models to assess the association between ARSSS and log baseline viral load (VL), baseline CD4+ cell count, and log viral setpoint (sVL) (i.e. VL measured ≥90 days after infection or treatment interruption). RESULTS: Mean ARSSS was 2.89. CD4+ cell count at baseline was negatively correlated with ARSSS (p = 0.03, n = 289), whereas HIV-RNA levels at baseline showed a strong positive correlation with ARSSS (p<0.001, n = 290). In the regression models, a 1-point increase in the score corresponded to a 0.10 log increase in baseline VL and a CD4+cell count decline of 12/µl, respectively. In patients with PHI and not undergoing eART, higher ARSSS were significantly associated with higher sVL (p = 0.029, n = 64). In contrast, in patients undergoing eART with subsequent structured treatment interruption, no correlation was found between sVL and ARSSS (p = 0.28, n = 40). CONCLUSION: The ARSSS is a simple clinical score that correlates with the best-validated surrogate markers of HIV-1 disease progression. In regions where ART is not universally available and eART is not standard this score may help identifying patients who will profit the most from early antiretroviral therapy.

Cutting edge: thymic crosstalk regulates delta-like 4 expression on cortical epithelial cells.

Interactions between Notch1 receptors on lymphoid progenitors and Delta-like 4 (DL4) ligands on cortical thymic epithelial cells (cTEC) are essential for T cell lineage commitment, expansion, and maturation in the thymus. Using a novel mAb against DL4, we show that DL4 levels on cTEC are very high in the fetal and neonatal thymus when thymocyte expansion is maximal but decrease dramatically in the adult when steady-state homeostasis is attained. Analysis of mutant mouse strains where thymocyte development is blocked at different stages indicates that lymphostromal interactions ("thymus crosstalk") are required for DL4 down-regulation on cTEC. Reconstitution of thymocyte development in these mutant mice further suggests that maturation of thymocytes to the CD4(+)CD8(+) stage and concomitant expansion are needed to promote DL4 down-regulation on cTEC. Collectively, our data support a model where thymic crosstalk quantitatively regulates the rate of Notch1-dependent thymopoiesis by controlling DL4 expression levels on cTEC.

Entry and transcription as key determinants of differences in CD4 T-cell permissiveness to human immunodeficiency virus type 1 infection.

Isolated primary human cells from different donors vary in their permissiveness-the ability of cells to be infected and sustain the replication of human immunodeficiency virus type 1 (HIV-1). We used replicating HIV-1 and single-cycle lentivirus vectors in a population approach to identify polymorphic steps during viral replication. We found that phytohemagglutinin-stimulated CD4(+) CD45RO(+) CD57(-) T cells from healthy blood donors (n = 128) exhibited a 5.2-log-unit range in virus production. For 20 selected donors representing the spectrum of CD4 T-cell permissiveness, we could attribute up to 42% of the total variance in virus production to entry factors and 48% to postentry steps. Efficacy at key intracellular steps of the replicative cycle (reverse transcription, integration, transcription and splicing, translation, and budding and release) varied from 0.71 to 1.45 log units among donors. However, interindividual differences in transcription efficiency alone accounted for 64 to 83% of the total variance in virus production that was attributable to postentry factors. While vesicular stomatitis virus G protein-mediated fusion was more efficacious than CCR5/CD4 entry, the latter resulted in greater transcriptional activity per proviral copy. The phenotype of provirus transcription was stable over time, indicating that it represents a genetic trait.

Cutting edge: a novel viral TNF receptor superfamily member in virulent strains of human cytomegalovirus.

The UL144 open reading frame found in clinical isolates of human CMV (HCMV) encodes a structural homologue of the herpesvirus entry mediator, a member of the TNFR superfamily. UL144 is a type I transmembrane glycoprotein that is expressed early after infection of fibroblasts; however, it is retained intracellularly. A YXXZ motif in the highly conserved cytoplasmic tail contributes to UL144 subcellular distribution. The finding that no known ligand of the TNF family binds UL144 suggests that its mechanism of action is distinct from other known viral immune evasion genes. Specific Abs to UL144 can be detected in the serum of a subset of HCMV seropositive individuals infected with HIV. This work establishes a novel molecular link between the TNF superfamily and herpesvirus that may contribute to the ability of HCMV to escape immune clearance.

Community Policing in Switzerland's Major Urban Areas: An Observational Study of the Implementation and Impact Using Geospatial Data Mining

La présente étude est à la fois une évaluation du processus de la mise en oeuvre et des impacts de la police de proximité dans les cinq plus grandes zones urbaines de Suisse - Bâle, Berne, Genève, Lausanne et Zurich. La police de proximité (community policing) est à la fois une philosophie et une stratégie organisationnelle qui favorise un partenariat renouvelé entre la police et les communautés locales dans le but de résoudre les problèmes relatifs à la sécurité et à l'ordre public. L'évaluation de processus a analysé des données relatives aux réformes internes de la police qui ont été obtenues par l'intermédiaire d'entretiens semi-structurés avec des administrateurs clés des cinq départements de police, ainsi que dans des documents écrits de la police et d'autres sources publiques. L'évaluation des impacts, quant à elle, s'est basée sur des variables contextuelles telles que des statistiques policières et des données de recensement, ainsi que sur des indicateurs d'impacts construit à partir des données du Swiss Crime Survey (SCS) relatives au sentiment d'insécurité, à la perception du désordre public et à la satisfaction de la population à l'égard de la police. Le SCS est un sondage régulier qui a permis d'interroger des habitants des cinq grandes zones urbaines à plusieurs reprises depuis le milieu des années 1980. L'évaluation de processus a abouti à un « Calendrier des activités » visant à créer des données de panel permettant de mesurer les progrès réalisés dans la mise en oeuvre de la police de proximité à l'aide d'une grille d'évaluation à six dimensions à des intervalles de cinq ans entre 1990 et 2010. L'évaluation des impacts, effectuée ex post facto, a utilisé un concept de recherche non-expérimental (observational design) dans le but d'analyser les impacts de différents modèles de police de proximité dans des zones comparables à travers les cinq villes étudiées. Les quartiers urbains, délimités par zone de code postal, ont ainsi été regroupés par l'intermédiaire d'une typologie réalisée à l'aide d'algorithmes d'apprentissage automatique (machine learning). Des algorithmes supervisés et non supervisés ont été utilisés sur les données à haute dimensionnalité relatives à la criminalité, à la structure socio-économique et démographique et au cadre bâti dans le but de regrouper les quartiers urbains les plus similaires dans des clusters. D'abord, les cartes auto-organisatrices (self-organizing maps) ont été utilisées dans le but de réduire la variance intra-cluster des variables contextuelles et de maximiser simultanément la variance inter-cluster des réponses au sondage. Ensuite, l'algorithme des forêts d'arbres décisionnels (random forests) a permis à la fois d'évaluer la pertinence de la typologie de quartier élaborée et de sélectionner les variables contextuelles clés afin de construire un modèle parcimonieux faisant un minimum d'erreurs de classification. Enfin, pour l'analyse des impacts, la méthode des appariements des coefficients de propension (propensity score matching) a été utilisée pour équilibrer les échantillons prétest-posttest en termes d'âge, de sexe et de niveau d'éducation des répondants au sein de chaque type de quartier ainsi identifié dans chacune des villes, avant d'effectuer un test statistique de la différence observée dans les indicateurs d'impacts. De plus, tous les résultats statistiquement significatifs ont été soumis à une analyse de sensibilité (sensitivity analysis) afin d'évaluer leur robustesse face à un biais potentiel dû à des covariables non observées. L'étude relève qu'au cours des quinze dernières années, les cinq services de police ont entamé des réformes majeures de leur organisation ainsi que de leurs stratégies opérationnelles et qu'ils ont noué des partenariats stratégiques afin de mettre en oeuvre la police de proximité. La typologie de quartier développée a abouti à une réduction de la variance intra-cluster des variables contextuelles et permet d'expliquer une partie significative de la variance inter-cluster des indicateurs d'impacts avant la mise en oeuvre du traitement. Ceci semble suggérer que les méthodes de géocomputation aident à équilibrer les covariables observées et donc à réduire les menaces relatives à la validité interne d'un concept de recherche non-expérimental. Enfin, l'analyse des impacts a révélé que le sentiment d'insécurité a diminué de manière significative pendant la période 2000-2005 dans les quartiers se trouvant à l'intérieur et autour des centres-villes de Berne et de Zurich. Ces améliorations sont assez robustes face à des biais dus à des covariables inobservées et covarient dans le temps et l'espace avec la mise en oeuvre de la police de proximité. L'hypothèse alternative envisageant que les diminutions observées dans le sentiment d'insécurité soient, partiellement, un résultat des interventions policières de proximité semble donc être aussi plausible que l'hypothèse nulle considérant l'absence absolue d'effet. Ceci, même si le concept de recherche non-expérimental mis en oeuvre ne peut pas complètement exclure la sélection et la régression à la moyenne comme explications alternatives. The current research project is both a process and impact evaluation of community policing in Switzerland's five major urban areas - Basel, Bern, Geneva, Lausanne, and Zurich. Community policing is both a philosophy and an organizational strategy that promotes a renewed partnership between the police and the community to solve problems of crime and disorder. The process evaluation data on police internal reforms were obtained through semi-structured interviews with key administrators from the five police departments as well as from police internal documents and additional public sources. The impact evaluation uses official crime records and census statistics as contextual variables as well as Swiss Crime Survey (SCS) data on fear of crime, perceptions of disorder, and public attitudes towards the police as outcome measures. The SCS is a standing survey instrument that has polled residents of the five urban areas repeatedly since the mid-1980s. The process evaluation produced a "Calendar of Action" to create panel data to measure community policing implementation progress over six evaluative dimensions in intervals of five years between 1990 and 2010. The impact evaluation, carried out ex post facto, uses an observational design that analyzes the impact of the different community policing models between matched comparison areas across the five cities. Using ZIP code districts as proxies for urban neighborhoods, geospatial data mining algorithms serve to develop a neighborhood typology in order to match the comparison areas. To this end, both unsupervised and supervised algorithms are used to analyze high-dimensional data on crime, the socio-economic and demographic structure, and the built environment in order to classify urban neighborhoods into clusters of similar type. In a first step, self-organizing maps serve as tools to develop a clustering algorithm that reduces the within-cluster variance in the contextual variables and simultaneously maximizes the between-cluster variance in survey responses. The random forests algorithm then serves to assess the appropriateness of the resulting neighborhood typology and to select the key contextual variables in order to build a parsimonious model that makes a minimum of classification errors. Finally, for the impact analysis, propensity score matching methods are used to match the survey respondents of the pretest and posttest samples on age, gender, and their level of education for each neighborhood type identified within each city, before conducting a statistical test of the observed difference in the outcome measures. Moreover, all significant results were subjected to a sensitivity analysis to assess the robustness of these findings in the face of potential bias due to some unobserved covariates. The study finds that over the last fifteen years, all five police departments have undertaken major reforms of their internal organization and operating strategies and forged strategic partnerships in order to implement community policing. The resulting neighborhood typology reduced the within-cluster variance of the contextual variables and accounted for a significant share of the between-cluster variance in the outcome measures prior to treatment, suggesting that geocomputational methods help to balance the observed covariates and hence to reduce threats to the internal validity of an observational design. Finally, the impact analysis revealed that fear of crime dropped significantly over the 2000-2005 period in the neighborhoods in and around the urban centers of Bern and Zurich. These improvements are fairly robust in the face of bias due to some unobserved covariate and covary temporally and spatially with the implementation of community policing. The alternative hypothesis that the observed reductions in fear of crime were at least in part a result of community policing interventions thus appears at least as plausible as the null hypothesis of absolutely no effect, even if the observational design cannot completely rule out selection and regression to the mean as alternative explanations.

Functionally and phylogenetically diverse plant communities key to soil biota

Recent studies assessing the role of biological diversity for ecosystem functioning indicate that the diversity of functional traits and the evolutionary history of species in a community, not the number of taxonomic units, ultimately drives the biodiversity-ecosystem-function relationship. Here, we simultaneously assessed the importance of plant functional trait and phylogenetic diversity as predictors of major trophic groups of soil biota (abundance and diversity), six years from the onset of a grassland biodiversity experiment. Plant functional and phylogenetic diversity were generally better predictors of soil biota than the traditionally used species or functional group richness. Functional diversity was a reliable predictor for most biota, with the exception of soil microorganisms, which were better predicted by phylogenetic diversity. These results provide empirical support for the idea that the diversity of plant functional traits and the diversity of evolutionary lineages in a community are important for maintaining higher abundances and diversity of soil communities.

Decision-making in pediatrics: a practical algorithm to evaluate complementary and alternative medicine for children.

We herein present a preliminary practical algorithm for evaluating complementary and alternative medicine (CAM) for children which relies on basic bioethical principles and considers the influence of CAM on global child healthcare. CAM is currently involved in almost all sectors of pediatric care and frequently represents a challenge to the pediatrician. The aim of this article is to provide a decision-making tool to assist the physician, especially as it remains difficult to keep up-to-date with the latest developments in the field. The reasonable application of our algorithm together with common sense should enable the pediatrician to decide whether pediatric (P)-CAM represents potential harm to the patient, and allow ethically sound counseling. In conclusion, we propose a pragmatic algorithm designed to evaluate P-CAM, briefly explain the underlying rationale and give a concrete clinical example.

Improving telecommunication security level by integrating quantum key distribution in communication protocols

Résumé La cryptographie classique est basée sur des concepts mathématiques dont la sécurité dépend de la complexité du calcul de l'inverse des fonctions. Ce type de chiffrement est à la merci de la puissance de calcul des ordinateurs ainsi que la découverte d'algorithme permettant le calcul des inverses de certaines fonctions mathématiques en un temps «raisonnable ». L'utilisation d'un procédé dont la sécurité est scientifiquement prouvée s'avère donc indispensable surtout les échanges critiques (systèmes bancaires, gouvernements,...). La cryptographie quantique répond à ce besoin. En effet, sa sécurité est basée sur des lois de la physique quantique lui assurant un fonctionnement inconditionnellement sécurisé. Toutefois, l'application et l'intégration de la cryptographie quantique sont un souci pour les développeurs de ce type de solution. Cette thèse justifie la nécessité de l'utilisation de la cryptographie quantique. Elle montre que le coût engendré par le déploiement de cette solution est justifié. Elle propose un mécanisme simple et réalisable d'intégration de la cryptographie quantique dans des protocoles de communication largement utilisés comme les protocoles PPP, IPSec et le protocole 802.1li. Des scénarios d'application illustrent la faisabilité de ces solutions. Une méthodologie d'évaluation, selon les critères communs, des solutions basées sur la cryptographie quantique est également proposée dans ce document. Abstract Classical cryptography is based on mathematical functions. The robustness of a cryptosystem essentially depends on the difficulty of computing the inverse of its one-way function. There is no mathematical proof that establishes whether it is impossible to find the inverse of a given one-way function. Therefore, it is mandatory to use a cryptosystem whose security is scientifically proven (especially for banking, governments, etc.). On the other hand, the security of quantum cryptography can be formally demonstrated. In fact, its security is based on the laws of physics that assure the unconditional security. How is it possible to use and integrate quantum cryptography into existing solutions? This thesis proposes a method to integrate quantum cryptography into existing communication protocols like PPP, IPSec and the 802.l1i protocol. It sketches out some possible scenarios in order to prove the feasibility and to estimate the cost of such scenarios. Directives and checkpoints are given to help in certifying quantum cryptography solutions according to Common Criteria.

Key electrophysiological, molecular, and metabolic signatures of sleep and wakefulness revealed in primary cortical cultures.

Although sleep is defined as a behavioral state, at the cortical level sleep has local and use-dependent features suggesting that it is a property of neuronal assemblies requiring sleep in function of the activation experienced during prior wakefulness. Here we show that mature cortical cultured neurons display a default state characterized by synchronized burst-pause firing activity reminiscent of sleep. This default sleep-like state can be changed to transient tonic firing reminiscent of wakefulness when cultures are stimulated with a mixture of waking neurotransmitters and spontaneously returns to sleep-like state. In addition to electrophysiological similarities, the transcriptome of stimulated cultures strikingly resembles the cortical transcriptome of sleep-deprived mice, and plastic changes as reflected by AMPA receptors phosphorylation are also similar. We used our in vitro model and sleep-deprived animals to map the metabolic pathways activated by waking. Only a few metabolic pathways were identified, including glycolysis, aminoacid, and lipids. Unexpectedly large increases in lysolipids were found both in vivo after sleep deprivation and in vitro after stimulation, strongly suggesting that sleep might play a major role in reestablishing the neuronal membrane homeostasis. With our in vitro model, the cellular and molecular consequences of sleep and wakefulness can now be investigated in a dish.

Muscarinic receptor M1 and phosphodiesterase 1 are key determinants in pulmonary vascular dysfunction following perinatal hypoxia in mice.

Perinatal adverse events such as limitation of nutrients or oxygen supply are associated with the occurrence of diseases in adulthood, like cardiovascular diseases and diabetes. We investigated the long-term effects of perinatal hypoxia on the lung circulation, with particular attention to the nitric oxide (NO)/cGMP pathway. Mice were placed under hypoxia in utero 5 days before delivery and for 5 days after birth. Pups were then bred in normoxia until adulthood. Adults born in hypoxia displayed an altered regulation of pulmonary vascular tone with higher right ventricular pressure in normoxia and increased sensitivity to acute hypoxia compared with controls. Perinatal hypoxia dramatically decreased endothelium-dependent relaxation induced by ACh in adult pulmonary arteries (PAs) but did not influence NO-mediated endothelium-independent relaxation. The M(3) muscarinic receptor was implicated in the relaxing action of ACh and M(1) muscarinic receptor (M(1)AChR) in its vasoconstrictive effects. Pirenzepine or telenzepine, two preferential inhibitors of M(1)AChR, abolished the adverse effects of perinatal hypoxia on ACh-induced relaxation. M(1)AChR mRNA expression was increased in lungs and PAs of mice born in hypoxia. The phosphodiesterase 1 (PDE1) inhibitor vinpocetine also reversed the decrease in ACh-induced relaxation following perinatal hypoxia, suggesting that M(1)AChR-mediated alteration of ACh-induced relaxation is due to the activation of calcium-dependent PDE1. Therefore, perinatal hypoxia leads to an altered pulmonary circulation in adulthood with vascular dysfunction characterized by impaired endothelium-dependent relaxation and M(1)AChR plays a predominant role. This raises the possibility that muscarinic receptors could be key determinants in pulmonary vascular diseases in relation to "perinatal imprinting."