AntFuzzer: A Grey-Box Fuzzing Framework for EOSIO Smart Contracts

In the past few years, several attacks against the vulnerabilities of EOSIO smart contracts have caused severe financial losses to this prevalent blockchain platform. As a lightweight test-generation approach, grey-box fuzzing can open up the possibility of improving the security of EOSIO smart contracts. However, developing a practical grey-box fuzzer for EOSIO smart contracts from scratch is time-consuming and requires a deep understanding of EOSIO internals. In this work, we proposed AntFuzzer, the first highly extensible grey-box fuzzing framework for EOSIO smart contracts. AntFuzzer implements a novel approach that interfaces AFL to conduct AFL-style grey-box fuzzing on EOSIO smart contracts. Compared to black-box fuzzing tools, AntFuzzer can effectively trigger those hard-to-cover branches. It achieved an improvement in code coverage on 37.5% of smart contracts in our benchmark dataset. AntFuzzer provides unified interfaces for users to easily develop new detection plugins for continually emerging vulnerabilities. We have implemented 6 detection plugins on AntFuzzer to detect major vulnerabilities of EOSIO smart contracts. In our large-scale fuzzing experiments on 4,616 real-world smart contracts, AntFuzzer successfully detected 741 vulnerabilities. The results demonstrate the effectiveness and efficiency of AntFuzzer and our detection p

Deficits in ascending pain modulation pathways in breast cancer survivors with chronic neuropathic pain: A resting-state fMRI study

PurposeBreast cancer (BC) is the highest frequent malignancy in women globally. Approximately 25–60% of BC patients with chronic neuropathic pain (CNP) result from advances in treating BC. Since the CNP mechanism is unclear, the various treatment methods for CNP are limited. We aimed to explore the brain alternations in BC patients with CNP and the relationship between depression and CNP utilizing resting-state functional magnetic resonance imaging (rs-fMRI).MethodsTo collect the data, the female BC survivors with CNP (n = 20) and healthy controls (n = 20) underwent rs-fMRI. We calculated and compared the functional connectivity (FC) between the two groups using the thalamus and periaqueductal gray (PAG) as seed regions.ResultsPatients with BC showed increased depression and FC between the thalamus and primary somatosensory cortices (SI). Moreover, the Hospital Anxiety and Depression Scale-Depression (HADS-D) and pain duration were linked positively to the strength of FC from the thalamus to the SI. Furthermore, the thalamus-SI FC mediated the impact of pain duration on HADS-D.ConclusionIn BC patients with CNP, the ascending pain regulation mechanism is impaired and strongly associated with chronic pain and accompanying depression. This research increased our knowledge of the pathophysiology of CNP in patients with BC, which will aid in determining the optimal therapeutic strategy for those patients

Hyperoxalemia Leads to Oxidative Stress in Endothelial Cells and Mice with Chronic Kidney Disease

Introduction: Cardiovascular disease is the most common cause of morbidity and mortality in patients with ESRD. In addition to phosphate overload, oxalate, a common uremic toxin, is also involved in vascular calcification in patients with ESRD. The present study investigated the role and mechanism of hyperoxalemia in vascular calcification in mice with uremia. Methods: A uremic atherosclerosis (UA) model was established by left renal excision and right renal electrocoagulation in apoE−/− mice to investigate the relationship between oxalate loading and vascular calcification. After 12 weeks, serum and vascular levels of oxalate, vascular calcification, inflammatory factors (TNF-α and IL-6), oxidative stress markers (malondialdehyde [MDA], and advanced oxidation protein products [AOPP]) were assessed in UA mice. The oral oxalate-degrading microbe Oxalobacter formigenes (O. formigenes) was used to evaluate the effect of a reduction in oxalate levels on vascular calcification. The mechanism underlying the effect of oxalate loading on vascular calcification was assessed in cultured human aortic endothelial cells (HAECs) and human aortic smooth muscle cells (HASMCs). Results: Serum oxalate levels were significantly increased in UA mice. Compared to the control mice, UA mice developed more areas of aortic calcification and showed significant increases in aortic oxalate levels and serum levels of oxidative stress markers and inflammatory factors. The correlation analysis showed that serum oxalate levels were positively correlated with the vascular oxalate levels and serum MDA, AOPP, and TNF-α levels, and negatively correlated with superoxide dismutase activity. The O. formigenes intervention decreased serum and vascular oxalate levels, while did not improve vascular calcification significantly. In addition, systemic inflammation and oxidative stress were also improved in the O. formigenes group. In vitro, high concentrations of oxalate dose-dependently increased oxidative stress and inflammatory factor expression in HAECs, but not in HASMCs. Conclusions: Our results indicated that hyperoxalemia led to the systemic inflammation and the activation of oxidative stress. The reduction in oxalate levels by O. formigenes might be a promising treatment for the prevention of oxalate deposition in calcified areas of patients with ESRD

QUANTITY: An Isobaric Tag for Quantitative Glycomics

Funding for Open Access provided by the UMD Libraries Open Access Publishing Fund.Glycan is an important class of macromolecules that play numerous biological functions. Quantitative glycomics - analysis of glycans at global level - however, is far behind genomics and proteomics owing to technical challenges associated with their chemical properties and structural complexity. As a result, technologies that can facilitate global glycan analysis are highly sought after. Here, we present QUANTITY (Quaternary Amine Containing Isobaric Tag for Glycan), a quantitative approach that can not only enhance detection of glycans by mass spectrometry, but also allow high-throughput glycomic analysis from multiple biological samples. This robust tool enabled us to accomplish glycomic survey of bioengineered Chinese Hamster Ovary (CHO) cells with knock-in/out enzymes involved in protein glycosylation. Our results demonstrated QUANTITY is an invaluable technique for glycan analysis and bioengineering

Search for dark matter produced in association with bottom or top quarks in √s = 13 TeV pp collisions with the ATLAS detector

A search for weakly interacting massive particle dark matter produced in association with bottom or top quarks is presented. Final states containing third-generation quarks and miss- ing transverse momentum are considered. The analysis uses 36.1 fb−1 of proton–proton collision data recorded by the ATLAS experiment at √s = 13 TeV in 2015 and 2016. No significant excess of events above the estimated backgrounds is observed. The results are in- terpreted in the framework of simplified models of spin-0 dark-matter mediators. For colour- neutral spin-0 mediators produced in association with top quarks and decaying into a pair of dark-matter particles, mediator masses below 50 GeV are excluded assuming a dark-matter candidate mass of 1 GeV and unitary couplings. For scalar and pseudoscalar mediators produced in association with bottom quarks, the search sets limits on the production cross- section of 300 times the predicted rate for mediators with masses between 10 and 50 GeV and assuming a dark-matter mass of 1 GeV and unitary coupling. Constraints on colour- charged scalar simplified models are also presented. Assuming a dark-matter particle mass of 35 GeV, mediator particles with mass below 1.1 TeV are excluded for couplings yielding a dark-matter relic density consistent with measurements