Harvey: A Greybox Fuzzer for Smart Contracts

We present Harvey, an industrial greybox fuzzer for smart contracts, which are programs managing accounts on a blockchain. Greybox fuzzing is a lightweight test-generation approach that effectively detects bugs and security vulnerabilities. However, greybox fuzzers randomly mutate program inputs to exercise new paths; this makes it challenging to cover code that is guarded by narrow checks, which are satisfied by no more than a few input values. Moreover, most real-world smart contracts transition through many different states during their lifetime, e.g., for every bid in an auction. To explore these states and thereby detect deep vulnerabilities, a greybox fuzzer would need to generate sequences of contract transactions, e.g., by creating bids from multiple users, while at the same time keeping the search space and test suite tractable. In this experience paper, we explain how Harvey alleviates both challenges with two key fuzzing techniques and distill the main lessons learned. First, Harvey extends standard greybox fuzzing with a method for predicting new inputs that are more likely to cover new paths or reveal vulnerabilities in smart contracts. Second, it fuzzes transaction sequences in a targeted and demand-driven way. We have evaluated our approach on 27 real-world contracts. Our experiments show that the underlying techniques significantly increase Harvey's effectiveness in achieving high coverage and detecting vulnerabilities, in most cases orders-of-magnitude faster; they also reveal new insights about contract code.Comment: arXiv admin note: substantial text overlap with arXiv:1807.0787

Observation of an Excited Bc+ State

Using pp collision data corresponding to an integrated luminosity of 8.5 fb-1 recorded by the LHCb experiment at center-of-mass energies of s=7, 8, and 13 TeV, the observation of an excited Bc+ state in the Bc+π+π- invariant-mass spectrum is reported. The observed peak has a mass of 6841.2±0.6(stat)±0.1(syst)±0.8(Bc+) MeV/c2, where the last uncertainty is due to the limited knowledge of the Bc+ mass. It is consistent with expectations of the Bc∗(2S31)+ state reconstructed without the low-energy photon from the Bc∗(1S31)+→Bc+γ decay following Bc∗(2S31)+→Bc∗(1S31)+π+π-. A second state is seen with a global (local) statistical significance of 2.2σ (3.2σ) and a mass of 6872.1±1.3(stat)±0.1(syst)±0.8(Bc+) MeV/c2, and is consistent with the Bc(2S10)+ state. These mass measurements are the most precise to date

Bose-Einstein correlations of same-sign charged pions in the forward region in pp collisions at √s=7 TeV

Bose-Einstein correlations of same-sign charged pions, produced in protonproton collisions at a 7 TeV centre-of-mass energy, are studied using a data sample collected by the LHCb experiment. The signature for Bose-Einstein correlations is observed in the form of an enhancement of pairs of like-sign charged pions with small four-momentum difference squared. The charged-particle multiplicity dependence of the Bose-Einstein correlation parameters describing the correlation strength and the size of the emitting source is investigated, determining both the correlation radius and the chaoticity parameter. The measured correlation radius is found to increase as a function of increasing charged-particle multiplicity, while the chaoticity parameter is seen to decreas

Measurement of the inelastic pp cross-section at a centre-of-mass energy of 13TeV

The cross-section for inelastic proton-proton collisions at a centre-of-mass energy of 13TeV is measured with the LHCb detector. The fiducial cross-section for inelastic interactions producing at least one prompt long-lived charged particle with momentum p > 2 GeV/c in the pseudorapidity range 2 < η < 5 is determined to be ϭ acc = 62:2 ± 0:2 ± 2:5mb. The first uncertainty is the intrinsic systematic uncertainty of the measurement, the second is due to the uncertainty on the integrated luminosity. The statistical uncertainty is negligible. Extrapolation to full phase space yields the total inelastic proton-proton cross-section ϭ inel = 75:4 ± 3:0 ± 4:5mb, where the first uncertainty is experimental and the second due to the extrapolation. An updated value of the inelastic cross-section at a centre-of-mass energy of 7TeV is also reported

Gaps in clinical research in frontotemporal dementia: A call for diversity and disparities–focused research

Frontotemporal dementia (FTD) is one of the leading causes of dementia before age 65 and often manifests as abnormal behavior (in behavioral variant FTD) or language impairment (in primary progressive aphasia). FTD's exact clinical presentation varies by culture, language, education, social norms, and other socioeconomic factors; current research and clinical practice, however, is mainly based on studies conducted in North America and Western Europe. Changes in diagnostic criteria and procedures as well as new or adapted cognitive tests are likely needed to take into consideration global diversity. This perspective paper by two professional interest areas of the Alzheimer's Association International Society to Advance Alzheimer's Research and Treatment examines how increasing global diversity impacts the clinical presentation, screening, assessment, and diagnosis of FTD and its treatment and care. It subsequently provides recommendations to address immediate needs to advance global FTD research and clinical practice

Gaps in clinical research in frontotemporal dementia : A call for diversity and disparities-focused research

Frontotemporal dementia (FTD) is one of the leading causes of dementia before age 65 and often manifests as abnormal behavior (in behavioral variant FTD) or language impairment (in primary progressive aphasia). FTD's exact clinical presentation varies by culture, language, education, social norms, and other socioeconomic factors; current research and clinical practice, however, is mainly based on studies conducted in North America and Western Europe. Changes in diagnostic criteria and procedures as well as new or adapted cognitive tests are likely needed to take into consideration global diversity. This perspective paper by two professional interest areas of the Alzheimer's Association International Society to Advance Alzheimer's Research and Treatment examines how increasing global diversity impacts the clinical presentation, screening, assessment, and diagnosis of FTD and its treatment and care. It subsequently provides recommendations to address immediate needs to advance global FTD research and clinical practice

Application of a risk-management framework for integration of stromal tumor-infiltrating lymphocytes in clinical trials

Stromal tumor-infiltrating lymphocytes (sTILs) are a potential predictive biomarker for immunotherapy response in metastatic triple-negative breast cancer (TNBC). To incorporate sTILs into clinical trials and diagnostics, reliable assessment is essential. In this review, we propose a new concept, namely the implementation of a risk-management framework that enables the use of sTILs as a stratification factor in clinical trials. We present the design of a biomarker risk-mitigation workflow that can be applied to any biomarker incorporation in clinical trials. We demonstrate the implementation of this concept using sTILs as an integral biomarker in a single-center phase II immunotherapy trial for metastatic TNBC (TONIC trial, NCT02499367), using this workflow to mitigate risks of suboptimal inclusion of sTILs in this specific trial. In this review, we demonstrate that a web-based scoring platform can mitigate potential risk factors when including sTILs in clinical trials, and we argue that this framework can be applied for any future biomarker-driven clinical trial setting

Updated Determination of D⁰–D¯⁰Mixing and CP Violation Parameters with D⁰→K⁺π⁻ Decays

We report measurements of charm-mixing parameters based on the decay-time-dependent ratio of D⁰→K⁺π⁻ to D⁰→K⁻π⁺ rates. The analysis uses a data sample of proton-proton collisions corresponding to an integrated luminosity of 5.0  fb⁻¹ recorded by the LHCb experiment from 2011 through 2016. Assuming charge-parity (CP) symmetry, the mixing parameters are determined to be x′²=(3.9±2.7)×10⁻⁵, y′=(5.28±0.52)×10⁻³, and R[subscript D]=(3.454±0.031)×10⁻³. Without this assumption, the measurement is performed separately for D⁰ and D[over ¯]⁰ mesons, yielding a direct CP-violating asymmetry A[subscript D]=(-0.1±9.1)×10⁻³, and magnitude of the ratio of mixing parameters 1.00<|q/p|<1.35 at the 68.3% confidence level. All results include statistical and systematic uncertainties and improve significantly upon previous single-measurement determinations. No evidence for CP violation in charm mixing is observed