Very static enforcement of dynamic policies

Security policies are naturally dynamic. Reflecting this, there has been a growing interest in studying information-flow properties which change during program execution, including concepts such as declassification, revocation, and role-change. A static verification of a dynamic information flow policy, from a semantic perspective, should only need to concern itself with two things: 1) the dependencies between data in a program, and 2) whether those dependencies are consistent with the intended flow policies as they change over time. In this paper we provide a formal ground for this intuition. We present a straightforward extension to the principal flow-sensitive type system introduced by Hunt and Sands (POPL’06, ESOP’11) to infer both end-to-end dependencies and dependencies at intermediate points in a program. This allows typings to be applied to verification of both static and dynamic policies. Our extension preserves the principal type system’s distinguishing feature, that type inference is independent of the policy to be enforced: a single, generic dependency analysis (typing) can be used to verify many different dynamic policies of a given program, thus achieving a clean separation between (1) and (2). We also make contributions to the foundations of dynamic information flow. Arguably, the most compelling semantic definitions for dynamic security conditions in the literature are phrased in the so-called knowledge-based style. We contribute a new definition of knowledge-based progress insensitive security for dynamic policies. We show that the new definition avoids anomalies of previous definitions and enjoys a simple and useful characterisation as a two-run style property

Semiparametric theory and empirical processes in causal inference

In this paper we review important aspects of semiparametric theory and empirical processes that arise in causal inference problems. We begin with a brief introduction to the general problem of causal inference, and go on to discuss estimation and inference for causal effects under semiparametric models, which allow parts of the data-generating process to be unrestricted if they are not of particular interest (i.e., nuisance functions). These models are very useful in causal problems because the outcome process is often complex and difficult to model, and there may only be information available about the treatment process (at best). Semiparametric theory gives a framework for benchmarking efficiency and constructing estimators in such settings. In the second part of the paper we discuss empirical process theory, which provides powerful tools for understanding the asymptotic behavior of semiparametric estimators that depend on flexible nonparametric estimators of nuisance functions. These tools are crucial for incorporating machine learning and other modern methods into causal inference analyses. We conclude by examining related extensions and future directions for work in semiparametric causal inference

Continuous variable entanglement and quantum state teleportation between optical and macroscopic vibrational modes through radiation pressure

We study an isolated, perfectly reflecting, mirror illuminated by an intense laser pulse. We show that the resulting radiation pressure efficiently entangles a mirror vibrational mode with the two reflected optical sideband modes of the incident carrier beam. The entanglement of the resulting three-mode state is studied in detail and it is shown to be robust against the mirror mode temperature. We then show how this continuous variable entanglement can be profitably used to teleport an unknown quantum state of an optical mode onto the vibrational mode of the mirror.Comment: 18 pages, 10 figure

Caustic Formation in Tachyon Effective Field Theories

Certain configurations of D-branes, for example wrong dimensional branes or the brane-antibrane system, are unstable to decay. This instability is described by the appearance of a tachyonic mode in the spectrum of open strings ending on the brane(s). The decay of these unstable systems is described by the rolling of the tachyon field from the unstable maximum to the minimum of its potential. We analytically study the dynamics of the inhomogeneous tachyon field as it rolls towards the true vacuum of the theory in the context of several different tachyon effective actions. We find that the vacuum dynamics of these theories is remarkably similar and in particular we show that in all cases the tachyon field forms caustics where second and higher derivatives of the field blow up. The formation of caustics signals a pathology in the evolution since each of the effective actions considered is not reliable in the vicinity of a caustic. We speculate that the formation of caustics is an artifact of truncating the tachyon action, which should contain all orders of derivatives acting on the field, to a finite number of derivatives. Finally, we consider inhomogeneous solutions in p-adic string theory, a toy model of the bosonic tachyon which contains derivatives of all orders acting on the field. For a large class of initial conditions we conclusively show that the evolution is well behaved in this case. It is unclear if these caustics are a genuine prediction of string theory or not.Comment: 23 pages, 5 figures; accepted for publication in JHEP. Revised derivation of eikonal equation for the DBI action. Added comments concerning the relationship between p-adic string theory and tachyon matter. Added second example of inhomogeneous evolution in p-adic string theory. Misleading statements concerning caustic-free evolution removed, references adde

Why don’t rats and mice vomit? A behavioral and anatomical investigation

Laboratory rats and mice are known to lack a vomiting response and the dimensions of the abdominal esophagus might be an important constraint (Andrews, 1995, Physiol. Zool.). However, a broad evaluation of Rodentia is lacking. Here we determined the behavioral responses and esophageal and diaphragm anatomy from 4 of the 5 Suborders.Weused prototypical emetic agents, apomorphine (s.c.), veratrine (s.c.), and copper sulfate (i.g.), which are thought to produce emesis by action on the area postrema, nodose ganglia, and vagal afferent fibers, respectively. None of the rodents, including nutria (Myocastor coypus), beavers (Castor canadensis), mountain beavers (Aplodontia rufa), voles (Microtus townsendii), guinea pigs, and laboratory rats and mice vomited. In rodents,∼72% of the diaphragm area was muscle compared to 100% in emetic control species (musk shrews and cats). The abdominal esophagus was also relatively long and narrow in rodents (esophageal circumference/ length ≤0.7, rodents, vs. ≥0.8 in emetic species). These data indicate, (1) a lack of vomiting is a common feature in rodents, and (2) rodents might have anatomical constraints on their ability to vomit

Self-help interventions for anxiety disorders: An overview.

Anxiety disorders are highly prevalent and are associated with a marked impairment in quality of life and a huge economic cost to society. Unfortunately, a considerable number of people who struggle with anxiety do not seek or receive adequate treatment. Self-help interventions have been proposed to constitute a relatively cheap, effective, efficient, and low-threshold intervention for anxiety disorders. This paper offers a critical discussion of their advantages and disadvantages and the evidence for their effectiveness. We conclude that guided self-help can play a major role in mental health care for patients with anxiety disorders. However, several research questions need to be answered before broad-scale dissemination is possible. The Internet will continue to play a prominent role in the further development of this field of research and clinical practice

Search for black holes and other new phenomena in high-multiplicity final states in proton-proton collisions at root s=13 TeV

Peer reviewe

Search for high-mass diphoton resonances in proton-proton collisions at 13 TeV and combination with 8 TeV search

Peer reviewe

Search for heavy resonances decaying into a vector boson and a Higgs boson in final states with charged leptons, neutrinos, and b quarks

Peer reviewe