A formal privacy analysis of identity management systems

With the growing amount of personal information exchanged over the Internet, privacy is becoming more and more a concern for users. In particular, personal information is increasingly being exchanged in Identity Management (IdM) systems to satisfy the increasing need for reliable on-line identification and authentication. One of the key principles in protecting privacy is data minimization. This principle states that only the minimum amount of information necessary to accomplish a certain goal should be collected. Several "privacy-enhancing" IdM systems have been proposed to guarantee data minimization. However, currently there is no satisfactory way to assess and compare the privacy they offer in a precise way: existing analyses are either too informal and high-level, or specific for one particular system. In this work, we propose a general formal method to analyse privacy in systems in which personal information is communicated and apply it to analyse existing IdM systems. We first elicit privacy requirements for IdM systems through a study of existing systems and taxonomies, and show how these requirements can be verified by expressing knowledge of personal information in a three-layer model. Then, we apply the formal method to study four IdM systems, representative of different research streams, analyse the results in a broad context, and suggest improvements. Finally, we discuss the completeness and (re)usability of the proposed method

On single server private information retrieval in a coding theory perspective

In this paper, we present a new perspective of single server private information retrieval (PIR) schemes by using the notion of linear error-correcting codes. Many of the known single server schemes are based on taking linear combinations between database elements and the query elements. Using the theory of linear codes, we develop a generic framework that formalizes all such PIR schemes. Further, we describe some known PIR schemes with respect to this code-based framework, and present the weaknesses of the broken PIR schemes in a generic point of view

P-Type Impurities in 4H-SiC Calculated Using Density Functional Theory

We have investigated the p-dopant potential of 14 different impurities (Be, B, F, Mg, Al, Ca, Sc, Cu, Zn, Ga, In, Ba, Pt, and Tl) within 4H-SiC via Density Functional Theory (DFT) calculations using a hybrid density functional. We analyse the incorporation energies of impurity atoms on Si and C sites as well as the character of lattice distortion induced by impurities. The calculated thermal ionization energies confirm that Al and Ga on the Si site are the best candidates for p-doping of 4H-SiC. Although we find some correlation of incorporation energies with atomic radii of impurities, the difference in chemical interaction with neighbouring atoms and strong lattice distortions play important roles in determining the impurity incorporation energies and charge transition levels. We find Al to still be the best and most industrially viable p-dopant for 4H-SiC

Arithmetic properties of blocks of consecutive integers

This paper provides a survey of results on the greatest prime factor, the number of distinct prime factors, the greatest squarefree factor and the greatest m-th powerfree part of a block of consecutive integers, both without any assumption and under assumption of the abc-conjecture. Finally we prove that the explicit abc-conjecture implies the Erd\H{o}s-Woods conjecture for each k>2.Comment: A slightly corrected and extended version of a paper which will appear in January 2017 in the book From Arithmetic to Zeta-functions published by Springe

Quantum Mechanics of Multi-Prong Potentials

We describe the bound state and scattering properties of a quantum mechanical particle in a scalar $N$-prong potential. Such a study is of special interest since these situations are intermediate between one and two dimensions. The energy levels for the special case of $N$ identical prongs exhibit an alternating pattern of non-degeneracy and $(N-1)$ fold degeneracy. It is shown that the techniques of supersymmetric quantum mechanics can be used to generate new solutions. Solutions for prongs of arbitrary lengths are developed. Discussions of tunneling in $N$-well potentials and of scattering for piecewise constant potentials are given. Since our treatment is for general values of $N$, the results can be studied in the large $N$ limit. A somewhat surprising result is that a free particle incident on an $N$-prong vertex undergoes continuously increased backscattering as the number of prongs is increased.Comment: 17 pages. LATEX. On request, TOP_DRAW files or hard copies available for 7 figure

Efficient Selfconsistent Calculations of Multiband Superconductivity in UPd2_2Al3_3

An efficient physically motivated computational approach to multiband superconductivity is introduced and applied to the study of the gap symmetry in a heavy-fermion, UPd$_2$Al$_3$. Using realistic pairing potentials and accurate energy bands that are computed within density functional theory, self-consistent calculations demonstrate that the only accessible superconducting gap with nodes exhibits d-wave symmetry in the $A_{1g}$ representation of the $D_{6h}$ point group. Our results suggest that in a superconductor with gap nodes the prevailing gap symmetry is dictated by the constraint that nodes must be as far as possible from high-density areas

Critical disorder effects in Josephson-coupled quasi-one-dimensional superconductors

Effects of non-magnetic randomness on the critical temperature T_c and diamagnetism are studied in a class of quasi-one dimensional superconductors. The energy of Josephson-coupling between wires is considered to be random, which is typical for dirty organic superconductors. We show that this randomness destroys phase coherence between the wires and T_c vanishes discontinuously when the randomness reaches a critical value. The parallel and transverse components of the penetration depth are found to diverge at different critical temperatures T_c^{(1)} and T_c, which correspond to pair-breaking and phase-coherence breaking. The interplay between disorder and quantum phase fluctuations results in quantum critical behavior at T=0, manifesting itself as a superconducting-normal metal phase transition of first-order at a critical disorder strength.Comment: 4 pages, 2 figure

До мінералогії сезонних сульфатів мису Фіолент (Південно-Західний Крим)

Комплексом методів вивчено колекцію зразків вторинних мінералів одного з узбережних відслонень зони окиснення сульфідної мінералізації мису Фіолент (Південно-Західний Крим). Установлено, що всі досліджені зразки є полімінеральними утвореннями, в яких одночасно співіснують у різних пропорціях сульфати Mg, Al, Fe²⁺, Fe³⁺, Ca тощо: пікерингіт (найпоширеніший), пікерингіт залізистий, гексагідрит, старкіїт, епсоміт, алуноген, ботріоген, копіапіт, ярозит, гіпс та ін. Старкіїт і ботріоген у Криму виявлено вперше.The collection of secondary minerals from one of littoral occurrences of sulphide zone of oxidation of the Fiolent Cape (South-Western Crimea) is studied by different methods. It was established that all studied samples were polymineral formations which consisted of sulphates of Mg, Al, Fe²⁺, Fe³⁺, Ca, etc. in different proportions: pickeringite (the most wide-spread), ferropickeringite, hexahydrite, starkeyite, epsomite, alunogen, botryogen, copiapite, jarosite, gypsum etc. Starkeyite and botryogen are detected in the Crimea for the first time

Extensive Regulation of Diurnal Transcription and Metabolism by Glucocorticoids.

Altered daily patterns of hormone action are suspected to contribute to metabolic disease. It is poorly understood how the adrenal glucocorticoid hormones contribute to the coordination of daily global patterns of transcription and metabolism. Here, we examined diurnal metabolite and transcriptome patterns in a zebrafish glucocorticoid deficiency model by RNA-Seq, NMR spectroscopy and liquid chromatography-based methods. We observed dysregulation of metabolic pathways including glutaminolysis, the citrate and urea cycles and glyoxylate detoxification. Constant, non-rhythmic glucocorticoid treatment rescued many of these changes, with some notable exceptions among the amino acid related pathways. Surprisingly, the non-rhythmic glucocorticoid treatment rescued almost half of the entire dysregulated diurnal transcriptome patterns. A combination of E-box and glucocorticoid response elements is enriched in the rescued genes. This simple enhancer element combination is sufficient to drive rhythmic circadian reporter gene expression under non-rhythmic glucocorticoid exposure, revealing a permissive function for the hormones in glucocorticoid-dependent circadian transcription. Our work highlights metabolic pathways potentially contributing to morbidity in patients with glucocorticoid deficiency, even under glucocorticoid replacement therapy. Moreover, we provide mechanistic insight into the interaction between the circadian clock and glucocorticoids in the transcriptional regulation of metabolism

The dilemma of open or double-blind food challenges in diagnosing food allergy in children:Design of the ALDORADO trial

BACKGROUND: It is of major importance to diagnose food allergy accurately. Current guidelines support the use of oral food challenges to do so. The double-blind placebo-controlled food challenge (DBPCFC) has been regarded as the 'gold standard' for decades. However, DBPCFCs are costly, and time- and resource-intensive procedures. Structural implementation of less demanding open food challenges will only find support if research demonstrates that their outcome is comparable to DBPCFC, yet this has been proven difficult to investigate. METHODS: We performed a literature review to investigate the diagnostic accuracy of oral food challenges and interviewed 19 parents of children with proven or suspected food allergy about the design of a trial to study this. RESULTS: An overview of the dilemma of diagnosing food allergy using oral food challenges, and the methodological issues and parents' opinions to study this. No comparative studies have been performed using the latest guidelines on oral food challenges. CONCLUSIONS: There is an urgent need to investigate the diagnostic accuracy of different oral food challenge protocols. We present the rationale and design of the ALDORADO trial (ALlergy Diagnosed by Open oR DOuble-blind food challenge) that has been set up to investigate whether the outcome of the open food challenge is comparable to DBPCFC