TAuth: Verifying timed security protocols

Quantitative timing is often explicitly used in systems for better security, e.g., the credentials for automatic website logon often has limited lifetime. Verifying timing relevant security protocols in these systems is very challenging as timing adds another dimension of complexity compared with the untimed protocol verification. In our previous work, we proposed an approach to check the correctness of the timed authentication in security protocols with fixed timing constraints. However, a more difficult question persists, i.e., given a particular protocol design, whether the protocol has security flaws in its design or it can be configured secure with proper parameter values? In this work, we answer this question by proposing a parameterized verification framework, where the quantitative parameters in the protocols can be intuitively specified as well as automatically analyzed. Given a security protocol, our verification algorithm either produces the secure constraints of the parameters, or constructs an attack that works for any parameter values. The correctness of our algorithm is formally proved. We implement our method into a tool called PTAuth and evaluate it with several security protocols. Using PTAuth, we have successfully found a timing attack in Kerberos V which is unreported before.No Full Tex

Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fb−1 of proton–proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results

Jet size dependence of single jet suppression in lead-lead collisions at sqrt(s(NN)) = 2.76 TeV with the ATLAS detector at the LHC

Measurements of inclusive jet suppression in heavy ion collisions at the LHC provide direct sensitivity to the physics of jet quenching. In a sample of lead-lead collisions at sqrt(s) = 2.76 TeV corresponding to an integrated luminosity of approximately 7 inverse microbarns, ATLAS has measured jets with a calorimeter over the pseudorapidity interval |eta| < 2.1 and over the transverse momentum range 38 < pT < 210 GeV. Jets were reconstructed using the anti-kt algorithm with values for the distance parameter that determines the nominal jet radius of R = 0.2, 0.3, 0.4 and 0.5. The centrality dependence of the jet yield is characterized by the jet "central-to-peripheral ratio," Rcp. Jet production is found to be suppressed by approximately a factor of two in the 10% most central collisions relative to peripheral collisions. Rcp varies smoothly with centrality as characterized by the number of participating nucleons. The observed suppression is only weakly dependent on jet radius and transverse momentum. These results provide the first direct measurement of inclusive jet suppression in heavy ion collisions and complement previous measurements of dijet transverse energy imbalance at the LHC.Comment: 15 pages plus author list (30 pages total), 8 figures, 2 tables, submitted to Physics Letters B. All figures including auxiliary figures are available at http://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/HION-2011-02

Science with the space-based interferometer eLISA. III: probing the expansion of the universe using gravitational wave standard sirens

We investigate the capability of various configurations of the space interferometer eLISA to probe the late-time background expansion of the universe using gravitational wave standard sirens. We simulate catalogues of standard sirens composed by massive black hole binaries whose gravitational radiation is detectable by eLISA, and which are likely to produce an electromagnetic counterpart observable by future surveys. The main issue for the identification of a counterpart resides in the capability of obtaining an accurate enough sky localisation with eLISA. This seriously challenges the capability of four-link (2 arm) configurations to successfully constrain the cosmological parameters. Conversely, six-link (3 arm) configurations have the potential to provide a test of the expansion of the universe up to z similar to 8 which is complementary to other cosmological probes based on electromagnetic observations only. In particular, in the most favourable scenarios, they can provide a significant constraint on Ho at the level of 0.5%. Furthermore, (Omega(M), Omega(A)) can be constrained to a level competitive with present SNIa results. On the other hand, the lack of massive black hole binary standard sirens at low redshift allows to constrain dark energy only at the level of few percent

The role of sulfoglucuronosyl glycosphingolipids in the pathogenesis of monoclonal IgM paraproteinemia and peripheral neuropathy

In IgM paraproteinemia and peripheral neuropathy, IgM M-protein secretion by B cells leads to a T helper cell response, suggesting that it is antibody-mediated autoimmune disease involving carbohydrate epitopes in myelin sheaths. An immune response against sulfoglucuronosyl glycosphingolipids (SGGLs) is presumed to participate in demyelination or axonal degeneration in the peripheral nervous system (PNS). SGGLs contain a 3-sulfoglucuronic acid residue that interacts with anti-myelin-associated glycoprotein (MAG) and the monoclonal antibody anti-HNK-1. Immunization of animals with sulfoglucuronosyl paragloboside (SGPG) induced anti-SGPG antibodies and sensory neuropathy, which closely resembles the human disease. These animal models might help to understand the disease mechanism and lead to more specific therapeutic strategies. In an in vitro study, destruction or malfunction of the blood-nerve barrier (BNB) was found, resulting in the leakage of circulating antibodies into the PNS parenchyma, which may be considered as the initial key step for development of disease

Measurement of the branching ratio Γ(Λb⁰ → ψ(2S)Λ0)/Γ(Λb⁰ → J/ψΛ0) with the ATLAS detector

An observation of the $\Lambda_b^0 \rightarrow \psi(2S) \Lambda^0$ decay and a comparison of its branching fraction with that of the $\Lambda_b^0 \rightarrow J/\psi \Lambda^0$ decay has been made with the ATLAS detector in proton--proton collisions at $\sqrt{s}=8\,$TeV at the LHC using an integrated luminosity of $20.6\,$fb$^{-1}$. The $J/\psi$ and $\psi(2S)$ mesons are reconstructed in their decays to a muon pair, while the $\Lambda^0\rightarrow p\pi^-$ decay is exploited for the $\Lambda^0$ baryon reconstruction. The $\Lambda_b^0$ baryons are reconstructed with transverse momentum $p_{\rm T}>10\,$GeV and pseudorapidity $|\eta|<2.1$. The measured branching ratio of the $\Lambda_b^0 \rightarrow \psi(2S) \Lambda^0$ and $\Lambda_b^0 \rightarrow J/\psi \Lambda^0$ decays is $\Gamma(\Lambda_b^0 \rightarrow \psi(2S)\Lambda^0)/\Gamma(\Lambda_b^0 \rightarrow J/\psi\Lambda^0) = 0.501\pm 0.033 ({\rm stat})\pm 0.019({\rm syst})$, lower than the expectation from the covariant quark model.Comment: 12 pages plus author list (28 pages total), 5 figures, 1 table, published on Physics Letters B 751 (2015) 63-80. All figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/BPHY-2013-08

Measurement of the View the tt production cross-section using eμ events with b-tagged jets in pp collisions at √s = 13 TeV with the ATLAS detector

This paper describes a measurement of the inclusive top quark pair production cross-section (σtt¯) with a data sample of 3.2 fb−1 of proton–proton collisions at a centre-of-mass energy of √s = 13 TeV, collected in 2015 by the ATLAS detector at the LHC. This measurement uses events with an opposite-charge electron–muon pair in the final state. Jets containing b-quarks are tagged using an algorithm based on track impact parameters and reconstructed secondary vertices. The numbers of events with exactly one and exactly two b-tagged jets are counted and used to determine simultaneously σtt¯ and the efficiency to reconstruct and b-tag a jet from a top quark decay, thereby minimising the associated systematic uncertainties. The cross-section is measured to be: σtt¯ = 818 ± 8 (stat) ± 27 (syst) ± 19 (lumi) ± 12 (beam) pb, where the four uncertainties arise from data statistics, experimental and theoretical systematic effects, the integrated luminosity and the LHC beam energy, giving a total relative uncertainty of 4.4%. The result is consistent with theoretical QCD calculations at next-to-next-to-leading order. A fiducial measurement corresponding to the experimental acceptance of the leptons is also presented

Search for TeV-scale gravity signatures in high-mass final states with leptons and jets with the ATLAS detector at sqrt [ s ] = 13TeV

A search for physics beyond the Standard Model, in final states with at least one high transverse momentum charged lepton (electron or muon) and two additional high transverse momentum leptons or jets, is performed using 3.2 fb−1 of proton–proton collision data recorded by the ATLAS detector at the Large Hadron Collider in 2015 at √s = 13 TeV. The upper end of the distribution of the scalar sum of the transverse momenta of leptons and jets is sensitive to the production of high-mass objects. No excess of events beyond Standard Model predictions is observed. Exclusion limits are set for models of microscopic black holes with two to six extra dimensions

Search for strong gravity in multijet final states produced in pp collisions at √s=13 TeV using the ATLAS detector at the LHC

A search is conducted for new physics in multijet final states using 3.6 inverse femtobarns of data from proton-proton collisions at √s = 13TeV taken at the CERN Large Hadron Collider with the ATLAS detector. Events are selected containing at least three jets with scalar sum of jet transverse momenta (HT) greater than 1TeV. No excess is seen at large HT and limits are presented on new physics: models which produce final states containing at least three jets and having cross sections larger than 1.6 fb with HT > 5.8 TeV are excluded. Limits are also given in terms of new physics models of strong gravity that hypothesize additional space-time dimensions

Search for dark matter produced in association with a hadronically decaying vector boson in pp collisions at sqrt (s) = 13 TeV with the ATLAS detector

A search is presented for dark matter produced in association with a hadronically decaying W or Z boson using 3.2 fb−1 of pp collisions at View the MathML sources=13 TeV recorded by the ATLAS detector at the Large Hadron Collider. Events with a hadronic jet compatible with a W or Z boson and with large missing transverse momentum are analysed. The data are consistent with the Standard Model predictions and are interpreted in terms of both an effective field theory and a simplified model containing dark matter