On formal verification of arithmetic-based cryptographic primitives

Cryptographic primitives are fundamental for information security: they are used as basic components for cryptographic protocols or public-key cryptosystems. In many cases, their security proofs consist in showing that they are reducible to computationally hard problems. Those reductions can be subtle and tedious, and thus not easily checkable. On top of the proof assistant Coq, we had implemented in previous work a toolbox for writing and checking game-based security proofs of cryptographic primitives. In this paper we describe its extension with number-theoretic capabilities so that it is now possible to write and check arithmetic-based cryptographic primitives in our toolbox. We illustrate our work by machine checking the game-based proofs of unpredictability of the pseudo-random bit generator of Blum, Blum and Shub, and semantic security of the public-key cryptographic scheme of Goldwasser and Micali.Comment: 13 page

Aspergillus Oxylipin Signaling and Quorum Sensing Pathways Depend on G Protein-Coupled Receptors

Oxylipins regulate Aspergillus development and mycotoxin production and are also involved inAspergillus quorum sensing mechanisms. Despite extensive knowledge of how these oxylipins are synthesized and what processes they regulate, nothing is known about how these signals are detected and transmitted by the fungus. G protein-coupled receptors (GPCR) have been speculated to be involved as they are known oxylipin receptors in mammals, and many putative GPCRs have been identified in the Aspergilli. Here, we present evidence that oxylipins stimulate a burst in cAMP in A. nidulans, and that loss of an A. nidulans GPCR, gprD, prevents this cAMP accumulation. A. flavus undergoes an oxylipin-mediated developmental shift when grown at different densities, and this regulates spore, sclerotial and aflatoxin production. A. flavus encodes two putative GprD homologs, GprC and GprD, and we demonstrate here that they are required to transition to a high-density development state, as well as to respond to spent medium of a high-density culture. The finding of GPCRs that regulate production of survival structures (sclerotia), inoculum (spores) and aflatoxin holds promise for future development of anti-fungal therapeutics

Cost-benefit analysis for commissioning decisions in GEO600

Gravitational wave interferometers are complex instruments, requiring years of commissioning to achieve the required sensitivities for the detection of gravitational waves, of order 10^-21 in dimensionless detector strain, in the tens of Hz to several kHz frequency band. Investigations carried out by the GEO600 detector characterisation group have shown that detector characterisation techniques are useful when planning for commissioning work. At the time of writing, GEO600 is the only large scale laser interferometer currently in operation running with a high duty factor, 70%, limited chiefly by the time spent commissioning the detector. The number of observable gravitational wave sources scales as the product of the volume of space to which the detector is sensitive and the observation time, so the goal of commissioning is to improve the detector sensitivity with the least possible detector down time. We demonstrate a method for increasing the number of sources observable by such a detector, by assessing the severity of non-astrophysical noise contaminations to efficiently guide commissioning. This method will be particularly useful in the early stages and during the initial science runs of the aLIGO and adVirgo detectors, as they are brought up to design performance.Comment: 17 pages, 17 figures, 2 table

The Classical Harmonic Vibrations of the Atomic Centers of Mass with Micro Amplitudes and Low Frequencies Monitored by the Entanglement between the Two Two-level Atoms in a Single mode Cavity

We study the entanglement dynamics of the two two-level atoms coupling with a single-mode polarized cavity field after incorporating the atomic centers of mass classical harmonic vibrations with micro amplitudes and low frequencies. We propose a quantitative vibrant factor to modify the concurrence of the two atoms states. When the vibrant frequencies are very low, we obtain that: (i) the factor depends on the relative vibrant displacements and the initial phases rather than the absolute amplitudes, and reduces the concurrence to three orders of magnitude; (ii) the concurrence increases with the increase of the initial phases; (iii) the frequency of the harmonic vibration can be obtained by measuring the maximal value of the concurrence during a small time. These results indicate that even the extremely weak classical harmonic vibrations can be monitored by the entanglement of quantum states.Comment: 10 pages, 3 figure

GW170104: Observation of a 50-Solar-Mass Binary Black Hole Coalescence at Redshift 0.2

We describe the observation of GW170104, a gravitational-wave signal produced by the coalescence of a pair of stellar-mass black holes. The signal was measured on January 4, 2017 at 10: 11: 58.6 UTC by the twin advanced detectors of the Laser Interferometer Gravitational-Wave Observatory during their second observing run, with a network signal-to-noise ratio of 13 and a false alarm rate less than 1 in 70 000 years. The inferred component black hole masses are 31.2(-6.0)(+8.4) M-circle dot and 19.4(-5.9)(+5.3)M(circle dot) (at the 90% credible level). The black hole spins are best constrained through measurement of the effective inspiral spin parameter, a mass-weighted combination of the spin components perpendicular to the orbital plane, chi(eff) = -0.12(-0.30)(+0.21) . This result implies that spin configurations with both component spins positively aligned with the orbital angular momentum are disfavored. The source luminosity distance is 880(-390)(+450) Mpc corresponding to a redshift of z = 0.18(-0.07)(+0.08) . We constrain the magnitude of modifications to the gravitational-wave dispersion relation and perform null tests of general relativity. Assuming that gravitons are dispersed in vacuum like massive particles, we bound the graviton mass to m(g) \u3c= 7.7 x 10(-23) eV/c(2). In all cases, we find that GW170104 is consistent with general relativity

Prospects for observing and localizing gravitational-wave transients with Advanced LIGO, Advanced Virgo and KAGRA

We present possible observing scenarios for the Advanced LIGO, Advanced Virgo and KAGRA gravitational-wave detectors over the next decade, with the intention of providing information to the astronomy community to facilitate planning for multi-messenger astronomy with gravitational waves. We estimate the sensitivity of the network to transient gravitational-wave signals, and study the capability of the network to determine the sky location of the source. We report our findings for gravitational-wave transients, with particular focus on gravitational-wave signals from the inspiral of binary neutron star systems, which are the most promising targets for multi-messenger astronomy. The ability to localize the sources of the detected signals depends on the geographical distribution of the detectors and their relative sensitivity, and 90% credible regions can be as large as thousands of square degrees when only two sensitive detectors are operational. Determining the sky position of a significant fraction of detected signals to areas of 5-20 deg(2) requires at least three detectors of sensitivity within a factor of similar to 2 of each other and with a broad frequency bandwidth. When all detectors, including KAGRA and the third LIGO detector in India, reach design sensitivity, a significant fraction of gravitational-wave signals will be localized to a few square degrees by gravitational-wave observations alone

Apolipoprotein B gene polymorphisms in patients from Serbia with ischemic cerebrovascular disease

The plasma concentration of apoB has recently been reported to be the best lipid predictor of coronary heart disease. The possible associations of genetic markers in the apolipoprotein B gene (XbaI, EcoRI, MspI, Ins/Del, and 4311 A/G polymorphisms) were evaluated in patients with ischemic cerebrovascular disease (ICVD) and controls of equivalent BMI. The odds ratio for ICVD in the X+X+ genotype was 2.22, 95% CI 1.24-3.96 (P<0.05), while that for ICVD in the Ins/Ins genotype was 2.82, 95% CI 1.57-5.06 (P<0.05). The patients had significantly higher frequency of the 4311A allele compared to the controls (P<0.01). Our results support the assumption that apoB gene polymorphisms may contribute to the extent of cerebrovascular disease risk

All-sky search for short gravitational-wave bursts in the second Advanced LIGO and Advanced Virgo run

We present the results of a search for short-duration gravitational-wave transients in the data from the second observing run of Advanced LIGO and Advanced Virgo. We search for gravitational-wave transients with a duration of milliseconds to approximately one second in the 32-4096 Hz frequency band with minimal assumptions about the signal properties, thus targeting a wide variety of sources. We also perform a matched-filter search for gravitational-wave transients from cosmic string cusps for which the waveform is well modeled. The unmodeled search detected gravitational waves from several binary black hole mergers which have been identified by previous analyses. No other significant events have been found by either the unmodeled search or the cosmic string search. We thus present the search sensitivities for a variety of signal waveforms and report upper limits on the source rate density as a function of the characteristic frequency of the signal. These upper limits are a factor of 3 lower than the first observing run, with a 50% detection probability for gravitational-wave emissions with energies of ∼10-9 Mc2 at 153 Hz. For the search dedicated to cosmic string cusps we consider several loop distribution models, and present updated constraints from the same search done in the first observing run