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

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

Observation of D⁰ Meson Decays to Π⁺π⁻μ⁺μ⁻ and K⁺K⁻μ⁺μ⁻ Final States

The first observation of the D⁰→π⁺π⁻μ⁺μ⁻ and D⁰→K⁺K⁻μ⁺μ⁻ decays is reported using a sample of proton-proton collisions collected by LHCb at a center-of-mass energy of 8 TeV, and corresponding to 2  fb⁻¹ of integrated luminosity. The corresponding branching fractions are measured using as normalization the decay D⁰→K⁻π⁺[μ⁺μ⁻][subscript ρ⁰/ω], where the two muons are consistent with coming from the decay of a ρ⁰ or ω meson. The results are B(D⁰→π⁺π⁻μ⁺μ⁻)=(9.64±0.48±0.51±0.97)×10⁻⁷ and B(D⁰→K⁺K⁻μ⁺μ⁻)=(1.54±0.27±0.09±0.16)×10⁻⁷, where the uncertainties are statistical, systematic, and due to the limited knowledge of the normalization branching fraction. The dependence of the branching fraction on the dimuon mass is also investigated

Measurement of CP observables in B± → D(⁎)K± and B± → D(⁎)π± decays

Measurements of CP observables in B ± →D (⁎) K ± and B ± →D (⁎) π ± decays are presented, where D (⁎) indicates a neutral D or D ⁎ meson that is an admixture of D (⁎)0 and D¯ (⁎)0 states. Decays of the D ⁎ meson to the Dπ 0 and Dγ final states are partially reconstructed without inclusion of the neutral pion or photon, resulting in distinctive shapes in the B candidate invariant mass distribution. Decays of the D meson are fully reconstructed in the K ± π ∓ , K + K − and π + π − final states. The analysis uses a sample of charged B mesons produced in pp collisions collected by the LHCb experiment, corresponding to an integrated luminosity of 2.0, 1.0 and 2.0 fb −1 taken at centre-of-mass energies of s=7, 8 and 13 TeV, respectively. The study of B ± →D ⁎ K ± and B ± →D ⁎ π ± decays using a partial reconstruction method is the first of its kind, while the measurement of B ± →DK ± and B ± →Dπ ± decays is an update of previous LHCb measurements. The B ± →DK ± results are the most precise to date

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

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