1,185 research outputs found
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
Recommended from our members
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
- …