ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection

Decentralized cryptocurrencies feature the use of blockchain to transfer values among peers on networks without central agency. Smart contracts are programs running on top of the blockchain consensus protocol to enable people make agreements while minimizing trusts. Millions of smart contracts have been deployed in various decentralized applications. The security vulnerabilities within those smart contracts pose significant threats to their applications. Indeed, many critical security vulnerabilities within smart contracts on Ethereum platform have caused huge financial losses to their users. In this work, we present ContractFuzzer, a novel fuzzer to test Ethereum smart contracts for security vulnerabilities. ContractFuzzer generates fuzzing inputs based on the ABI specifications of smart contracts, defines test oracles to detect security vulnerabilities, instruments the EVM to log smart contracts runtime behaviors, and analyzes these logs to report security vulnerabilities. Our fuzzing of 6991 smart contracts has flagged more than 459 vulnerabilities with high precision. In particular, our fuzzing tool successfully detects the vulnerability of the DAO contract that leads to USD 60 million loss and the vulnerabilities of Parity Wallet that have led to the loss of $30 million and the freezing of USD 150 million worth of Ether.Comment: To appear in ASE 2018, Montpellier, France. 10 page

The Relationship between Teachers’ Perception towards Organizational Culture and Occupational Stress at No.2 Basic Education High School, in Insein Township, Myanmar

The main purpose of this study was to determine the relationship between teachers’ perception towards organizational culture and occupational stress at No.2 Basic Education High School, in Insein Township, Myanmar in the academic year 2015-2016.A total of 91 full-time teachers from No.2 Basic Education High School, in Insein Township, Myanmar were surveyed for this study. The research instrument was the questionnaire that investigated the teachers’ perception towards organizational culture and occupational stress. The collected data were analyzed by using the mean, standard deviation and Pearson Product Moment Correlation Coefficient.The study found out that level of teachers’ perception towards organizational culture was moderate in the school, and the level of teachers’ perception towards occupational stress was low for the school. Therefore, the hypothesis was accepted as the study discovered that a moderate negative relationship between teachers’ perception towards organizational culture and occupational stress was existing at No.2 Basic Education High School, in Insein Township, Myanmar

Atomic structures and deletion mutant reveal different capsid-binding patterns and functional significance of tegument protein pp150 in murine and human cytomegaloviruses with implications for therapeutic development.

Cytomegalovirus (CMV) infection causes birth defects and life-threatening complications in immunosuppressed patients. Lack of vaccine and need for more effective drugs have driven widespread ongoing therapeutic development efforts against human CMV (HCMV), mostly using murine CMV (MCMV) as the model system for preclinical animal tests. The recent publication (Yu et al., 2017, DOI: 10.1126/science.aam6892) of an atomic model for HCMV capsid with associated tegument protein pp150 has infused impetus for rational design of novel vaccines and drugs, but the absence of high-resolution structural data on MCMV remains a significant knowledge gap in such development efforts. Here, by cryoEM with sub-particle reconstruction method, we have obtained the first atomic structure of MCMV capsid with associated pp150. Surprisingly, the capsid-binding patterns of pp150 differ between HCMV and MCMV despite their highly similar capsid structures. In MCMV, pp150 is absent on triplex Tc and exists as a "Λ"-shaped dimer on other triplexes, leading to only 260 groups of two pp150 subunits per capsid in contrast to 320 groups of three pp150 subunits each in a "Δ"-shaped fortifying configuration. Many more amino acids contribute to pp150-pp150 interactions in MCMV than in HCMV, making MCMV pp150 dimer inflexible thus incompatible to instigate triplex Tc-binding as observed in HCMV. While pp150 is essential in HCMV, our pp150-deletion mutant of MCMV remained viable though with attenuated infectivity and exhibiting defects in retaining viral genome. These results thus invalidate targeting pp150, but lend support to targeting capsid proteins, when using MCMV as a model for HCMV pathogenesis and therapeutic studies

Розробка способу кількісного визначення складу магнітного нанокомпозиту Ag@Fe3O4

The method for quantitative determination of the components of the Ag@Fe3O4 nanocomposite has been developed; it allows simultaneously determining silver and iron in one sample without the stage of taking the aliquot for individual determinations of these components. The method proposed comprises: the use of a considerably smaller quantity of the substance in the test sample; elimination of the need to prepare and standardize the solution of the indicator for silver determination; reduces the labour intensity of the process by saving time and expensive reagents; eliminates the stage of separation of the mixture components, etc. The basis of the method proposed is two conjugated detection procedures –Ag determination by Volhard’s method and Fe (III) determination in magnetite by the method of iodometry. It has been shown that this method allows determining silver without adding the indicator since the second component is magnetite containing bivalent and trivalent iron. The experiment is performed by the action of nitric acid on the sample of Ag@Fe3O4 powder. The acid, in its turn, helps silver to pass into solution and to oxidize Fe2+ ions to Fe3+ being an indicator in this determination. With the simultaneous presence of silver and iron in one sample at Ÿrst silver is quantiŸed, a pale pink colour of the solution above the precipitate appears only after all the silver has been titrated, that means the completeness of its precipitation. The experiment is completed with determination of Fe (III) by iodometry. To assess the validity of determinations the results have been conŸrmed by instrumental methods that are consistent with the results of the titrimetric method developed for quantitative determination of components in magnetically controlled nanocomposites. The relative error of the titrimetric determination does not exceed 0.1-0.2%.Разработан способ количественного определения компонентов нанокомпозита Ag@Fe3O4, который позволяет одновременно определять серебро и железо в одном образце без проведения стадии отбора аликвот для отдельных определений этих компонентов. Предложенный способ предназначен: для выполнения эксперимента использования навески исследуемого образца значительно меньшей массы; устранения необходимости готовить и устанавливать титр раствора индикатора для определения серебра; снижения трудоемкости процесса за счет экономии времени и дорогих реактивов; исключает стадию разделения компонентов смеси и др. В основе предложенного способа лежат две сопряженные методики обнаружения – определение Ag методом Фольгарда и определение Fe (III) в магнетите методом йодометрии. Показано, что данный способ позволяет проводить определение серебра без добавления индикатора, поскольку второй компонент магнетит содержит двух и трехвалентное железо. Выполнение опыта проводят действием на образец порошка Ag@Fe3O4 азотной кислотой, которая, в свою очередь, переводит серебро в раствор, а ионы Fe2+ окисляет до Fe3+, которые и выполняют роль индикатора в данном определении. При совместном присутствии серебра и железа в одном образце первым количественно определяют серебро, бледно-розовая окраска раствора над осадком появляется только после того, как все серебро оттитровано, что означает полноту его осаждения. Опыт завершают определением Fe (III) методом йодометрии. Для оценки достоверности определений результаты подтверждены инструментальными методами, которые согласуются с результатами разработанного титриметрического способа количественного определения компонентов в магнитоуправляемых нанокомпозитах. Относительная погрешность титриметрического определения не превышает 0,1-0,2%.Розроблено спосіб кількісного визначення компонентів нанокомпозиту Ag@Fe3O4, який дозволяє одночасно визначати срібло та залізо в одному зразку без проведення стадії відбору аліквот для окремих визначень цих компонентів. Запропонований спосіб призначений: для виконання експерименту використання наважки досліджуваного зразка значно меншої маси; усунення необхідності готувати та встановлювати титр розчину індикатора для визначення срібла; зниження трудомісткості процесу за рахунок економії часу та дорогих реактивів; передбачає виключення стадії розділення компонентів суміші та ін. В основі запропонованого способу лежать дві поєднані методики виявлення – визначення Ag методом Фольгарда та визначення Fe (III) у магнетиті методом йодометрії. Показано, що даний спосіб дозволяє проводити визначення срібла без додавання індикатора, оскільки другий компонент магнетит містить дво- та тривалентний ферум. Виконання досліду проводять дією на зразок порошка Ag@Fe3O4 нітратною кислотою, яка, у свою чергу, переводить срібло в розчин, а іони Fe2+ окиснює до Fe3+, які й виконують роль індикатора в даному визначенні. За сумісної присутності срібла та заліза в одному зразку першим кількісно визначають срібло, блідо-рожеве забарвлення розчину над осадом з’являється тільки після того, як увесь арґентум відтитровано, що визначає повноту його осадження. Дослід завершують визначенням Fe (III) методом йодометрії. Для оцінки достовірності визначень результати підтверджені інструментальними методами, які узгоджуються з результатами розробленого титриметричного способу кількісного визначення компонентів у магнітокерованому нанокомпозиті. Відносна похибка титриметричного визначення не перевищує 0,1-0,2%

Blind separation of convolutive mixtures based on second order and third order statistics

This paper addresses the problem of blind separation of linear convolutive mixtures. We first reformulate the problem into a blind separation of linear instantaneous mixtures, and then a statistical approach is applied to solve the reformulated problem. From the statistics of the mixtures, two kinds of matrix pencils are constructed to estimate the mixing matrix. The original sources are then separated with the estimated mixing matrix. For the purpose of computational efficiency and robustness, in the matrix pencil, one matrix is constructed from the second order statistics, and the other is constructed from the third order statistics. The proposed novel methods do not require the exact knowledge of the channel order. Simulation results show that the methods are robust and have good performance.published_or_final_versio

How to design invest Korea's evaluation system to maximize the positive impacts of foreign direct investment

Thesis(Master) --KDI School:Master of Public Policy,2010masterpublishedby Yoon Ye Chan