Strong cryptography from weak secrets

Distributed-password public-key cryptography (DPwPKC) allows the members of a group of people, each one holding a small secret password only, to help a leader to perform the private operation, associated to a public-key cryptosystem. Abdalla et al. recently defined this tool [1], with a practical construction. Unfortunately, the latter applied to the ElGamal decryption only, and relied on the DDH assumption, excluding any recent pairing-based cryptosystems. In this paper, we extend their techniques to support, and exploit, pairing-based properties: we take advantage of pairing-friendly groups to obtain efficient (simulation-sound) zero-knowledge proofs, whose security relies on the Decisional Linear assumption. As a consequence, we provide efficient protocols, secure in the standard model, for ElGamal decryption as in [1], but also for Linear decryption, as well as extraction of several identity-based cryptosystems [6,4]. Furthermore, we strenghten their security model by suppressing the useless testPwd queries in the functionality.

Distributed public-key cryptography from weak secrets

We introduce the notion of distributed password-based public-key cryptography, where a virtual high-entropy private key is implicitly defined as a concatenation of low-entropy passwords held in separate locations. The users can jointly perform private-key operations by exchanging messages over an arbitrary channel, based on their respective passwords, without ever sharing their passwords or reconstituting the key. Focusing on the case of ElGamal encryption as an example, we start by formally defining ideal functionalities for distributed public-key generation and virtual private-key computation in the UC model. We then construct efficient protocols that securely realize them in either the RO model (for efficiency) or the CRS model (for elegance). We conclude by showing that our distributed protocols generalize to a broad class of “discrete-log”-based public-key cryptosystems, which notably includes identity-based encryption. This opens the door to a powerful extension of IBE with a virtual PKG made of a group of people, each one memorizing a small portion of the master key.

Avoiding giving advice in telephone counselling for children and young people

Kids Helpline is an Australian 24-hour telephone counselling helpline for children and young people up to the age of 25 years old. The service operates with the core values of empowerment for clients, and the use of child-centred practices, one aspect of which is a non-directive approach highlighted by the avoidance of overt advice giving. Through analysis of a single call to the helpline, this chapter demonstrates how counsellors actively manage and minimise the normative and asymmetric properties of advice in the course if helping clients develop options for change. In doing so we illustrate the practical relevance and enactment of abstract institutional policies and discuss the interactional affordances of institutional constraints on practice.

Normal reference values of strength in pelvic floor muscle of women: A descriptive and inferential study

Background To describe the clinical, functional and quality of life characteristics in women with Stress Urinary Incontinence (SUI). In addition, to analyse the relationship between the variables reported by the patients and those informed by the clinicians, and the relationship between instrumented variables and the manual pelvic floor strength assessment. Methods Two hundred and eighteen women participated in this observational, analytical study. An interview about Urinary Incontinence and the quality of life questionnaires (EuroQoL-5D and SF-12) were developed as outcomes reported by the patients. Manual muscle testing and perineometry as outcomes informed by the clinician were assessed. Descriptive and correlation analysis were carried out. Results The average age of the subjects was (39.93?±?12.27 years), (24.49?±?3.54 BMI). The strength evaluated by manual testing of the right levator ani muscles was 7.79?±?2.88, the strength of left levator ani muscles was 7.51?±?2.91 and the strength assessed with the perineometer was 7.64?±?2.55. A positive correlation was found between manual muscle testing and perineometry of the pelvic floor muscles (p?ded the clinic with a baseline. There is a relationship between the strength of the pelvic muscles assessed manually and that obtained by a perineometer in women with SUI. There was no relationship between these values of strength and quality of life perceived.

Automata and logics over finitely varying functions

We extend some of the classical connections between automata and logic due to Büchi (1960) [5] and McNaughton and Papert (1971) [12] to languages of finitely varying functions or “signals”. In particular, we introduce a natural class of automata for generating finitely varying functions called View the MathML source’s, and show that it coincides in terms of language definability with a natural monadic second-order logic interpreted over finitely varying functions Rabinovich (2002) [15]. We also identify a “counter-free” subclass of View the MathML source’s which characterise the first-order definable languages of finitely varying functions. Our proofs mainly factor through the classical results for word languages. These results have applications in automata characterisations for continuously interpreted real-time logics like Metric Temporal Logic (MTL) Chevalier et al. (2006, 2007) [6] and [7].

Expected Performance of the ATLAS Experiment - Detector, Trigger and Physics

A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on simulations of the detector and physics processes, with particular emphasis given to the data expected from the first years of operation of the LHC at CERN.

Counter-free input-determined timed automata

We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal logics in the literature, including MTL. We make use of this characterization to show that MTL+Past satisfies an “ultimate stability” property with respect to periodic sequences of timed words. Our results hold for both the pointwise and continuous semantics. Along the way we generalize the result of McNaughton-Papert to show a counter-free automata characterization of FO-definable finitely varying functions.

On continuous timed automata with input-determined guards

We consider a general class of timed automata parameterized by a set of “input-determined” operators, in a continuous time setting. We show that for any such set of operators, we have a monadic second order logic characterization of the class of timed languages accepted by the corresponding class of automata. Further, we consider natural timed temporal logics based on these operators, and show that they are expressively equivalent to the first-order fragment of the corresponding MSO logics. As a corollary of these general results we obtain an expressive completeness result for the continuous version of MTL.

Structural, thermal, and electrical properties of CrSi2

Stoichiometric CrSi2 was prepared by arc melting and compacted by uniaxial hot pressing for property measurements. The crystal structure of CrSi2 was investigated using the powder x-ray diffraction method. From the Rietveld refinement, the lattice parameters were found to be a = 4.427 57 (7) and c = 6.368 04 (11) Å, respectively. The thermal expansion measurement revealed an anisotropic expansion in the temperature range from room temperature 800 K with αa = 14.58×10−6/K, αc = 7.51×10−6/K, and αV = 12.05×10−6/K. The volumetric thermal expansion coefficient shows an anomalous decrease in the temperature range of 450–600 K. The measured electrical resistivity ρ and thermoelectric power S have similar trends with a maxima around 550 K. Thermal conductivity measurements show a monotonic decrease with increasing temperature from a room temperature value of 10 W m−1 K−1. The ZT values increase with temperature and have a maximum value of 0.18 in the temperature range studied. An analysis of the electronic band structure is provided.

Diffusion mechanism in XSi2 and X5Si3 (X= Nb, Mo, V) phases

In view of the importance of the suicides in the high temperature applications, the diffusion behaviour is compared in different systems for two types of silicides, XSi2 and X5Si3 (X=Nb, Mo, V). Atomic mechanism of diffusion and defects present in the structure are discussed. In both the phases, Si has faster diffusion rate than the metal species. This is expected from the nearest neighbour (NN) bonds present in the XSi2 phase but rather unusual in the X5Si3 phase. Relative mobilities of the species calculated indicate the presence of high concentration of Si antisites. Moreover, the concentration of the defects is different in different systems to find different diffusion rates.

Interdiffusion in Nb-Mo, Nb-Ti and Nb-Zr systems

Diffusion couple technique is used to study interdiffusion in Nb-Mo, Nb-Ti and Nb-Zr systems. Interdiffusion coefficients at different temperatures and compositions are determined using the relation developed by Wagner. The change in activation energy for interdiffusion with composition is determined. Further, impurity diffusion coefficient of the species are determined and compared with the available data in literature.

Diffusion mechanism in the mu phase in Nb-X (X = Ni, Co, Fe) systems

Nb is one of the common refractory elements added in Ni, Co and Fe based superalloys. This lead to the formation of brittle topological close packed (tcp) mu phase, which is deleterious to the structure. It mainly grows by interdiffusion and in the present article, the interdiffusion process in different Nb-X (X=Ni, Co, Fe) systems is discussed. The activation energy for interdiffusion is lower in the Co-Nb system (173 kJ/mol) than Fe-Nb system (233 kJ/mol), which is again lower than the value found in the Ni-Nb system (319.7 kJ/mol). The mole fraction of Nb in this phase is less than Fe or Co at stoichiometric compositions in the Nb-Fe (that is Fe7Nb6) and Nb-Co (that is Co7Nb6) systems. On the other hand, the mole fraction of Nb is higher than Ni in the same phase (Ni6Nb2) in Ni-Nb system. However, in all the phases, Nb has lower diffusion rate. Possible diffusion mechanism in this phase is discussed with respect to the crystal structure.

Effect of co-substitution of Mn and Al on thermoelectric properties of chromium disilicide

CrSi2 was earlier reported to be an interesting thermoelectric material for high temperature applications because of its high oxidation resistance and good mechanical properties. In order to enhance its figure of merit, Mn at Cr site and Al at Si site were substituted into CrSi2. Our results indicate that Cr1-x Mn (x) Si2-x Al (x) solid solutions exhibit significantly lower thermal conductivity and a higher figure of merit than CrSi2.

Thermoelectric properties of chromium disilicide prepared by mechanical alloying

CrSi and Cr1-x Fe (x) Si particles embedded in a CrSi2 matrix have been prepared by hot pressing from CrSi1.9, CrSi2, and CrSi2.1 powders produced by ball milling using either WC or stainless steel milling media. The samples were characterized by powder X-ray diffraction, scanning, and transmission electron microscopy and electron microprobe analysis. The final crystallite size of CrSi2 obtained from the XRD patterns is about 40 and 80 nm for SS- and WC-milled powders, respectively, whereas the size of the second phase inclusions in the hot pressed samples is about 1-5 mu m. The temperature dependence of the electrical resistivity, Seebeck coefficient, thermal conductivity, and figure of merit (ZT) were analyzed in the temperature range from 300 to 800 K. While the ball-milling process results in a lower electrical resistivity and thermal conductivity due to the presence of the inclusions and the refinement of the matrix microstructure, respectively, the Seebeck coefficient is negatively affected by the formation of the inclusions which leads to a modest improvement of ZT.

Sapientia, 1974, Vol. XXIX, nº 114 (número completo)

Contenido: Tomás de Aquino en su VII centenario / Gustavo Eloy Ponferrada – Santo Tomás y los capítulos generales de la orden de los Hermanos Predicadores, 1278-1370 / J. E. Bolzán ; Azucena A. Fraboschi – Jacques Chevalier et le Thomisme / Alain Guy – Notas y comentarios -- Bibliografía