Relating two standard notions of secrecy

Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s should never be disclosed while equivalence-based secrecy states that two executions of a protocol with distinct instances for s should be indistinguishable to an attacker. Although the second formulation ensures a higher level of security and is closer to cryptographic notions of secrecy, decidability results and automatic tools have mainly focused on the first definition so far. This paper initiates a systematic investigation of the situations where syntactic secrecy entails strong secrecy. We show that in the passive case, reachability-based secrecy actually implies equivalence-based secrecy for digital signatures, symmetric and asymmetric encryption provided that the primitives are probabilistic. For active adversaries, we provide sufficient (and rather tight) conditions on the protocol for this implication to hold.Comment: 29 pages, published in LMC

Fabular: regression formulas as probabilistic programming

Regression formulas are a domain-specific language adopted by several R packages for describing an important and useful class of statistical models: hierarchical linear regressions. Formulas are succinct, expressive, and clearly popular, so are they a useful addition to probabilistic programming languages? And what do they mean? We propose a core calculus of hierarchical linear regression, in which regression coefficients are themselves defined by nested regressions (unlike in R). We explain how our calculus captures the essence of the formula DSL found in R. We describe the design and implementation of Fabular, a version of the Tabular schema-driven probabilistic programming language, enriched with formulas based on our regression calculus. To the best of our knowledge, this is the first formal description of the core ideas of R's formula notation, the first development of a calculus of regression formulas, and the first demonstration of the benefits of composing regression formulas and latent variables in a probabilistic programming language.Adam Ścibior received travel support from the DARPA PPAML programme. Marcin Szymczak was supported by Microsoft Research through its PhD Scholarship Programme.This is the author accepted manuscript. The final version is available from the Association of Computer Machinery via http://dx.doi.org/10.1145/2837614.283765

Effect of the GaAsP shell on optical properties of self-catalyzed GaAs nanowires grown on silicon

We realize growth of self-catalyzed core-shell GaAs/GaAsP nanowires (NWs) on Si substrates using molecular-beam epitaxy. Transmission electron microscopy (TEM) of single GaAs/GaAsP NWs confirms their high crystal quality and shows domination of the zinc-blende phase. This is further confirmed in optics of single NWs, studied using cw and time-resolved photoluminescence (PL). A detailed comparison with uncapped GaAs NWs emphasizes the effect of the GaAsP capping in suppressing the non-radiative surface states: significant PL enhancement in the core-shell structures exceeding 2000 times at 10K is observed; in uncapped NWs PL is quenched at 60K whereas single core-shell GaAs/GaAsP NWs exhibit bright emission even at room temperature. From analysis of the PL temperature dependence in both types of NW we are able to determine the main carrier escape mechanisms leading to the PL quench

Merging teaching and research: how to use your teaching to increase your research outputs

We all need research outputs for: We all need research outputs for: Promotion, job applications, peer esteem, attracting good students, evidence for attracting funding This presentation is for architectural staff and gives some examples of how to make the most of teaching so that it can be converted into research output

Fluorescence in-situ hybridisation on biopsies from clam ileocystoplasties and on a clam cancer

The incidence of carcinoma following an enterocystoplasty increases with time and is a major concern after such procedures. The aim of this study was to investigate genetic instability (in the form of numerical chromosomal aberrations) at the enterovesical anastomosis in patients who had undergone a clam ileocystoplasty using fluorescent in-situ hybridisation (FISH). Fluorescent in-situ hybridisation was performed on touch preparation samples prepared from fresh endoscopic biopsies obtained from the enterovesical anastomosis and native bladder remnant (control specimens) of 15 patients who had undergone a clam ileocystoplasty. Fluorescent in-situ hybridisation was also performed on one squamous cell cancer specimen. Significant aneusomic changes were found at the enterovesical anastomosis in all 15 patients. Alterations in chromosome 18 copy number were the most frequent abnormal finding (trisomy 18, n=8; monosomy 18, n=7). Nine patients were monosomic for chromosome 9. Isolated monosomy 8 and trisomy 8 were each found in one patient. The control specimens were all normal. An unusually high incidence of polysomic cells was found in the clam tumour specimen, reflecting the aggressive nature of this cancer. Chromosomal numerical abnormalities occur at the enterovesical anastomosis following a clam ileocystoplasty and chromosome 18 appears to be a particularly good marker of genetic instability. The results of this study indicate that morphologically normal tissue obtained from the enterovesical anastomosis displays evidence of chromosomal instability that may predispose to tumour formation. However, further prospective, blinded, longitudinal studies are required to establish whether predetermined FISH signal patterns in enterocystoplasty cells in urine or obtained by biopsy predict the presence or absence of tumour

Early life programming by diet can play a role in risk reduction of otitis in dogs

IntroductionOtitis in dogs is often chronic while local treatment primarily consists of flushing, antibiotics, and/or antifungals. We were interested in finding early life variables that associate with otitis later in life, preferably some that could be modified.MethodsA cross-sectional hypothesis-driven study with longitudinal data was performed to search for associations between pre- and postnatal exposures, and the incidence of owner-reported otitis in dogs at over 1 year of age. The multivariate logistic regression analysis study included data from 3,064 dogs and explored 26 different early life variables at four early life stages: prenatal, neonatal, postnatal, and puppyhood. We compared two feeding patterns, a non-processed meat-based diet (NPMD, raw) and an ultra-processed carbohydrate-based diet (UPCD, dry).ResultsWe report that eating a NPMD diet significantly decreased the risk of otitis later in life, while eating a UPCD diet significantly increased the risk. This was seen in different life stages of mother or puppy: The maternal diet during pregnancy (p=0.011) and the puppies’ diet from 2 to 6 months of age (p=0.019) were both significantly associated with otitis incidence later in life, whereas the puppies’ first solid diet, was associated in the same way, but did not reach significance (p=0.072). Also, analyzing food ratios showed that when puppies were consuming >25% of their food as NPMD it significantly decreased their incidence of otitis later in life, while a ratio of >75% UPCD in their diet significantly increased their risk of otitis. Also, if the dog was born in the current family, was exposed to sunlight for more than 1 hour daily, and was raised on a dirt floor during puppyhood, there was a lower risk of otitis development later in life.DiscussionThe findings only suggest causality, and further studies are required. However, we propose that veterinarians, breeders, and owners can impact otitis risk by modifying factors such as diet and environment

<NOTES>Schedule Rating System for the Insurance of Impaired Lives

Nanowires have the potential to play an important role for next-generation light-emitting diodes. In this work, we present a growth scheme for radial nanowire quantum-well structures in the AlGaInP material system using a GaInP nanowire core as a template for radial growth with GaInP as the active layer for emission and AlGaInP as charge carrier barriers. The different layers were analyzed by X-ray diffraction to ensure lattice-matched radial structures. Furthermore, we evaluated the material composition and heterojunction interface sharpness by scanning transmission electron microscopy energy dispersive X-ray spectroscopy. The electro-optical properties were investigated by injection luminescence measurements. The presented results can be a valuable track toward radial nanowire light-emitting diodes in the AlGaInP material system in the red/orange/yellow color spectrum

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

We study the semantic foundation of expressive probabilistic programming languages, that support higher-order functions, continuous distributions, and soft constraints (such as Anglican, Church, and Venture). We define a metalanguage (an idealised version of Anglican) for probabilistic computation with the above features, develop both operational and denotational semantics, and prove soundness, adequacy, and termination. They involve measure theory, stochastic labelled transition systems, and functor categories, but admit intuitive computational readings, one of which views sampled random variables as dynamically allocated read-only variables. We apply our semantics to validate nontrivial equations underlying the correctness of certain compiler optimisations and inference algorithms such as sequential Monte Carlo simulation. The language enables defining probability distributions on higher-order functions, and we study their properties