Search for: All records

The disastrous vulnerabilities in smart contracts sharply remind us of our ignorance: we do not know how to write code that is secure in composition with malicious code. Information flow control has long been proposed as a way to achieve compositional security, offering strong guarantees even when combining software from different trust domains. Unfortunately, this appealing story breaks down in the presence of reentrancy attacks. We formalize a general definition of reentrancy and introduce a security condition that allows software modules like smart contracts to protect their key invariants while retaining the expressive power of safe forms of reentrancy. We present a security type system that provably enforces secure information flow; in conjunction with run-time mechanisms, it enforces secure reentrancy even in the presence of unknown code; and it helps locate and correct recent high-profile vulnerabilities.

Two studies examined how the gender of a workplace supervisor can affect a woman's response to performance evaluations and also her professional advancement aspirations. In Study 1, employed women reviewed a performance evaluation in which feedback was manipulated to reflect one of two stereotypes of women (high in warmth or low in competence). Findings showed that participants were more likely to attribute negative (i.e., low competence) feedback from men supervisors to gender biases than the same feedback from women supervisors. There was no effect of supervisor gender when the feedback was positive (i.e., high warmth) or neutral. In Study 2, negative feedback from men supervisors, regardless of evaluative dimension (competence or warmth) resulted in women reporting decreased professional aspirations. This relationship was mediated by women's attribution of supervisor feedback to gender biases. Together, these findings suggest that same‐gender supervisors can potentially buffer women's long term professional aspirations after a discouraging performance review.

Abstract Multijet events at large transverse momentum ( $$p_{\textrm{T}}$$ p T ) are measured at $$\sqrt{s}=13\,\text {TeV} $$ s = 13 TeV using data recorded with the CMS detector at the LHC, corresponding to an integrated luminosity of $$36.3{\,\text {fb}^{-1}} $$ 36.3 fb - 1 . The multiplicity of jets with $$p_{\textrm{T}} >50\,\text {GeV} $$ p T > 50 GeV that are produced in association with a high- $$p_{\textrm{T}}$$ p T dijet system is measured in various ranges of the $$p_{\textrm{T}}$$ p T of the jet with the highest transverse momentum and as a function of the azimuthal angle difference $$\varDelta \phi _{1,2}$$ Δ ϕ 1 , 2 between the two highest $$p_{\textrm{T}}$$ p T jets in the dijet system. The differential production cross sections are measured as a function of the transverse momenta of the four highest $$p_{\textrm{T}}$$ p T jets. The measurements are compared with leading and next-to-leading order matrix element calculations supplemented with simulations of parton shower, hadronization, and multiparton interactions. In addition, the measurements are compared with next-to-leading order matrix element calculations combined with transverse-momentum dependent parton densities and transverse-momentum dependent parton shower.

A bstract A combination of measurements of the inclusive top-quark pair production cross-section performed by ATLAS and CMS in proton–proton collisions at centre-of-mass energies of 7 and 8 TeV at the LHC is presented. The cross-sections are obtained using top-quark pair decays with an opposite-charge electron–muon pair in the final state and with data corresponding to an integrated luminosity of about 5 fb − 1 at $$ \sqrt{s} $$ s = 7 TeV and about 20 fb − 1 at $$ \sqrt{s} $$ s = 8 TeV for each experiment. The combined cross-sections are determined to be 178 . 5 ± 4 . 7 pb at $$ \sqrt{s} $$ s = 7 TeV and $$ {243.3}_{-5.9}^{+6.0} $$ 243.3 − 5.9 + 6.0 pb at $$ \sqrt{s} $$ s = 8 TeV with a correlation of 0.41, using a reference top-quark mass value of 172.5 GeV. The ratio of the combined cross-sections is determined to be R 8 / 7 = 1 . 363 ± 0 . 032. The combined measured cross-sections and their ratio agree well with theory calculations using several parton distribution function (PDF) sets. The values of the top-quark pole mass (with the strong coupling fixed at 0.118)more »and the strong coupling (with the top-quark pole mass fixed at 172.5 GeV) are extracted from the combined results by fitting a next-to-next-to-leading-order plus next-to-next-to-leading-log QCD prediction to the measurements. Using a version of the NNPDF3.1 PDF set containing no top-quark measurements, the results obtained are $$ {m}_t^{\textrm{pole}}={173.4}_{-2.0}^{+1.8} $$ m t pole = 173.4 − 2.0 + 1.8 GeV and $$ {\alpha}_{\textrm{s}}\left({m}_Z\right)={0.1170}_{-0.0018}^{+0.0021} $$ α s m Z = 0.1170 − 0.0018 + 0.0021 .« less