scholarly journals A Mechanism to Detect and Prevent Ethereum Blockchain Smart Contract Reentrancy Attacks

2021 ◽  
Vol 3 ◽  
Author(s):  
Ayman Alkhalifah ◽  
Alex Ng ◽  
Paul A. Watters ◽  
A. S. M. Kayes
Keyword(s):  
Smart Contracts ◽  
Proof Of Concept ◽  
Financial Loss ◽  
Smart Contract ◽  
Before And After ◽  
The Difference ◽  
Financial Losses

In Ethereum blockchain, smart contracts are immutable, public, and distributed. However, they are subject to many vulnerabilities stemming from coding errors made by developers. Seven cybersecurity incidents occurred in Ethereum smart contracts between 2016 and 2018, which led to financial losses estimated to be over US$ 289 million. Reentrancy vulnerability was the cause of two of these incidents, and the impacts went far beyond financial loss. Several reentrancy countermeasures are available, which are based on predefined patterns that are used to prevent vulnerability exploitation before the deployment of a smart contract; however, several limitations have been identified in these countermeasures. Motivated by all these issues, the objective of this article is to help developers improve the cybersecurity of smart contracts by proposing a solution that calculates the difference between the contract balance and the total balance of all participants in a smart contract before and after any operation in a transaction that changes its state. Proof-of-concept implementations show that this solution can provide a detection and prevention mechanism against reentrancy attacks during the execution of any smart contract.

scholarly journals Rich specifications for Ethereum smart contract verification

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Christian Bräm ◽  
Marco Eilers ◽  
Peter Müller ◽  
Robin Sierra ◽  
Alexander J. Summers
Keyword(s):  
Smart Contracts ◽  
Domain Specific ◽  
Smart Contract ◽  
Verification Tool ◽  
Resource Transfers ◽  
Core Functionality ◽  
Reasoning Technique ◽  
Financial Losses ◽  
Digital Assets ◽  
Specification Methodology

Smart contracts are programs that execute in blockchains such as Ethereum to manipulate digital assets. Since bugs in smart contracts may lead to substantial financial losses, there is considerable interest in formally proving their correctness. However, the specification and verification of smart contracts faces challenges that rarely arise in other application domains. Smart contracts frequently interact with unverified, potentially adversarial outside code, which substantially weakens the assumptions that formal analyses can (soundly) make. Moreover, the core functionality of smart contracts is to manipulate and transfer resources; describing this functionality concisely requires dedicated specification support. Current reasoning techniques do not fully address these challenges, being restricted in their scope or expressiveness (in particular, in the presence of re-entrant calls), and offering limited means of expressing the resource transfers a contract performs. In this paper, we present a novel specification methodology tailored to the domain of smart contracts. Our specifications and associated reasoning technique are the first to enable: (1) sound and precise reasoning in the presence of unverified code and arbitrary re-entrancy, (2) modular reasoning about collaborating smart contracts, and (3) domain-specific specifications for resources and resource transfers, expressing a contract's behaviour in intuitive and concise ways and excluding typical errors by default. We have implemented our approach in 2vyper, an SMT-based automated verification tool for Ethereum smart contracts written in Vyper, and demonstrated its effectiveness for verifying strong correctness guarantees for real-world contracts.

The Role Of The Lampung Provincial Financial Audit Agency In Determining State Losses

2020 ◽  
Vol 1 (2) ◽  
pp. 65
Author(s):  
Aditya Bardawansyah
Keyword(s):  
Market Price ◽  
Comparison Method ◽  
The State ◽  
Financial Loss ◽  
Real Cost ◽  
Financial Audit ◽  
Law Enforcement Officials ◽  
The Difference ◽  
Financial Losses

The Supreme Audit Agency is the institution that has the authority to calculate and determine state losses, but in its implementation, there are still requests for calculating state financial losses that have not been implemented. This study uses a normative juridical approach. Then it is analyzed qualitatively so that the results are obtained: First, the BPK-RI Representatives of Lampung Province have been given the trust by law enforcement officials to calculate and determine state losses, and the State Financial Loss Calculation Result Report submitted by BPK-RI is used as evidence in court as evidence regarding there is a state loss. Second, the methods used by BPK-RI in calculating state financial losses are by using several methods, namely the apple to apple comparison method, the production cost method, the comparison method between the contract value and the market price, the total loss, and the real cost method. The method used by BPK-RI Representatives of Lampung Province in calculating state losses is by using the simple cost method. This method is used by calculating the difference between the funds spent by the state to obtain goods/services from third parties, compared to the value of real expenditures incurred by the implementing party to provide goods/services to the state according to the agreed 

Tem analysis of multiple-energy arsenic implanted and Rta'd silicon

1987 ◽  
Vol 45 ◽  
pp. 246-247
Author(s):  
R.A. Herring
Keyword(s):  
Device Fabrication ◽  
High Concentration ◽  
Tem Analysis ◽  
Defect Clusters ◽  
High Fluences ◽  
Small Defect ◽  
Before And After ◽  
The Matrix ◽  
The Difference ◽  
Factor Type

Rapid thermal annealing (RTA) of ion-implanted Si is important for device fabrication. The defect structures of 2.5, 4.0, and 6.0 MeV As-implanted silicon irradiated to fluences of 2E14, 4E14, and 6E14, respectively, have been analyzed by electron diffraction both before and after RTA at 1100°C for 10 seconds. At such high fluences and energies the implanted As ions change the Si from crystalline to amorphous. Three distinct amorphous regions emerge due to the three implantation energies used (Fig. 1). The amorphous regions are separated from each other by crystalline Si (marked L1, L2, and L3 in Fig. 1) which contains a high concentration of small defect clusters. The small defect clusters were similar to what had been determined earlier as being amorphous zones since their contrast was principally of the structure-factor type that arises due to the difference in extinction distance between the matrix and damage regions.

Changes in Platelet Aggregability after Ovariectomy

1979 ◽  
Vol 42 (04) ◽  
pp. 1332-1339 ◽  
Author(s):  
Hiroh Yamazaki ◽  
Takeshi Motomiya ◽  
Minoru Sonoda ◽  
Noboru Miyagawa
Keyword(s):  
Platelet Count ◽  
Platelet Activation ◽  
Ovarian Hormones ◽  
Control Group ◽  
Platelet Aggregability ◽  
Appearance Rate ◽  
Before And After ◽  
The Difference ◽  
Induced Aggregation ◽  
Observation Period

SummaryChanges in platelets in 48 patients with uterine myoma before and after hysterectomy with and without ovariectomy were examined. Bilateral ovariectomy in 25 cases (ovariec-tomized group) and unilateral or non-ovariectomy in 23 cases (control group) were performed at the hysterectomy. Platelet count and an appearance rate of secondary aggregation decreased at one day after and increased at one week after the operation, similarly in both the ovariectomized and the control group. The appearance rate of secondary aggregation was reflected in an intensity of aggregation at 5 min after the addition of reagent to PRP. At one month after the operation, the appearance rate of secondary aggregation induced by 3 μM ADP showed a statistically significant decrease in comparison with the preoperation value (P <0.05) and the enhancement of 5-min aggregation was still observed in the control group, while ceased in the ovariectomized group. The difference between the two groups was significant (P < 0.05). There was almost no change in the speed and intensity of primary and secondary aggregation during the observation period. No significant differences in collagen-induced aggregation were noted between the two groups. The results suggest that ovarian hormones, mainly estrogen, facilitate platelet activation which is mediated by the so-called secondary aggregation.

PENGARUH TERAPI TERTAWA TERHADAP PENURUNAN TEKANAN DARAH LANSIA DI UPT PANTI WREDHA BUDHI DHARMA YOGYAKARTA

2019 ◽  
Vol 13 (1) ◽  
Author(s):  
Niken Setyaningrum ◽  
Andri Setyorini ◽  
Fachruddin Tri Fitrianta
Keyword(s):  
Blood Pressure ◽  
Data Analysis ◽  
The Elderly ◽  
Control Group ◽  
Group Comparison ◽  
Control Blood Pressure ◽  
Men And Women ◽  
Treatment Of Hypertension ◽  
Before And After ◽  
The Difference

ABSTRACTBackground: Hypertension is one of the most common diseases, because this disease is suffered byboth men and women, as well as adults and young people. Treatment of hypertension does not onlyrely on medications from the doctor or regulate diet alone, but it is also important to make our bodyalways relaxed. Laughter can help to control blood pressure by reducing endocrine stress andcreating a relaxed condition to deal with relaxation.Objective: The general objective of the study was to determine the effect of laughter therapy ondecreasing elderly blood pressure in UPT Panti Wredha Budhi Dharma Yogyakarta.Methods: The design used in this study is a pre-experimental design study with one group pre-posttestresearch design where there is no control group (comparison). The population in this study wereelderly aged over> 60 years at 55 UPT Panti Wredha Budhi Dharma Yogyakarta. The method oftaking in this study uses total sampling. The sample in this study were 55 elderly. Data analysis wasused to determine the difference in blood pressure before and after laughing therapy with a ratio datascale that was using Pairs T-TestResult: There is an effect of laughing therapy on blood pressure in the elderly at UPT Panti WredhaBudhi Dharma Yogyakarta marked with a significant value of 0.000 (P <0.05)

Klein with Lacan: A Study on the Reception of Lacanian Ideas in Uruguay and Its Effects on Clinical Practices (1955–82)

2020 ◽  
Vol 22 (3) ◽  
pp. 341-361
Author(s):  
Gonzalo Grau-Pérez ◽  
J. Guillermo Milán
Keyword(s):  
Clinical Practice ◽  
Clinical Material ◽  
Clinical Practices ◽  
Before And After ◽  
The Difference ◽  
The 1960S ◽  
The Relationship ◽  
Discursive Approach ◽  
The Way ◽  
Clinical Cases

In Uruguay, Lacanian ideas arrived in the 1960s, into a context of Kleinian hegemony. Adopting a discursive approach, this study researched the initial reception of these ideas and its effects on clinical practices. We gathered a corpus of discursive data from clinical cases and theoretical-doctrinal articles (from the 1960s, 1970s and 1980s). In order to examine the effects of Lacanian ideas, we analysed the difference in the way of interpreting the clinical material before and after Lacan's reception. The results of this research illuminate some epistemological problems of psychoanalysis, especially the relationship between theory and clinical practice.

FRACTIONAL DETERMINATIONS OF URINARY 17-KETOSTEROIDS IN HYPEREMESIS GRAVIDARUM

1962 ◽  
Vol 41 (1) ◽  
pp. 123-128 ◽  
Author(s):  
Pentti A. Järvinen ◽  
Sykkö Pesonen ◽  
Pirkko Väänänen
Keyword(s):  
Hyperemesis Gravidarum ◽  
First Trimester ◽  
Control Group ◽  
Before And After ◽  
Daily Urine ◽  
First Trimester Of Pregnancy ◽  
The Difference

ABSTRACT The fractional determination of 17-ketosteroids in the daily urine was performed in nine cases of hyperemesis gravidarum and in four control cases, in the first trimester of pregnancy both before and after corticotrophin administration. The excretion of total 17-KS is similar in the two groups. Only in the hyperemesis group does the excretion of total 17-KS increase significantly after corticotrophin administration. The fractional determination reveals no difference between the two groups of patients with regard to the values of the fractions U (unidentified 17-KS), A (androsterone) and Rest (11-oxygenated 17-KS). The excretion of dehydroepiandrosterone is significantly higher in the hyperemesis group than in the control group. The excretion of androstanolone seems to be lower in the hyperemesis group than in the control group, but the difference is not statistically significant. The differences in the correlation between dehydroepiandrosterone and androstanolone in the two groups is significant. The high excretion of dehydroepiandrosterone and low excretion of androstanolone in cases of hyperemesis gravidarum is a sign of adrenal dysfunction.

Automatic Tread Gaging Machine

1979 ◽  
Vol 7 (1) ◽  
pp. 31-39
Author(s):  
G. S. Ludwig ◽  
F. C. Brenner
Keyword(s):  
Experimental Tests ◽  
Automatic Machine ◽  
Wear Rates ◽  
Handling Device ◽  
Straight Line ◽  
Component Systems ◽  
Before And After ◽  
Good Repeatability ◽  
The Difference ◽  
Straight Lines

Abstract An automatic tread gaging machine has been developed. It consists of three component systems: (1) a laser gaging head, (2) a tire handling device, and (3) a computer that controls the movement of the tire handling machine, processes the data, and computes the least-squares straight line from which a wear rate may be estimated. Experimental tests show that the machine has good repeatability. In comparisons with measurements obtained by a hand gage, the automatic machine gives smaller average groove depths. The difference before and after a period of wear for both methods of measurement are the same. Wear rates estimated from the slopes of straight lines fitted to both sets of data are not significantly different.

The Degree of Subjective Complaints of Students Practice in Mechanical Technology Laboratories

2018 ◽  
Vol 4 (1) ◽  
pp. 22
Author(s):  
I Ketut Widana
Keyword(s):  
Engineering Students ◽  
Standing Position ◽  
Statistical Test ◽  
Rank Test ◽  
Cross Sectional ◽  
Signed Rank ◽  
Before And After ◽  
Signed Rank Test ◽  
The Difference ◽  
Paired T Test

The working practice of the engineering students is part of the learning process that is irreducible and indispensable. The composition of  lecturing between theoretical and practical one is 40% to 60%. With this condition, the students spend more time at the laboratory. Generally, the students perform in the laboratory work by standing position. The design of research is observational cross-sectional. The method applied is observation, interview and measuring. The subjects of research are practicing students amounting to 21 students. Referring to the analysis of statistical test or Wilcoxon signed ranks test, the difference of effect of work position is significant, namely p < 0.05 towards musculoskeletal disorders (MSDs) before and after working. The quantity of the average complaint after working is score 44.62 ± 9.47. The result of Wilcoxon signed rank test shows that there is significant different effects of standing work position, namely p < 0.05 towards fatigue generally before and after working. The degree of the working pulse is on the average of 110.78  ± 17.80 bpm (beats per minutes) which can be categorized into the medium workload. Using paired t-test, the result is p < 0.05.

Photolytic and thermal annealing of radical anions gamma-irradiated monocarboxylic acids

1979 ◽  
Vol 44 (12) ◽  
pp. 3632-3643 ◽  
Author(s):  
Karel Mach ◽  
Igor Janovský ◽  
Karel Vacek
Keyword(s):  
Thermal Annealing ◽  
Pivalic Acid ◽  
Esr Spectra ◽  
Paramagnetic Species ◽  
Radical Anions ◽  
Γ Irradiation ◽  
Before And After ◽  
Optical Bleaching ◽  
The Difference ◽  
Gamma Irradiated

Total yields of paramagnetic species, their optical bleaching and thermal annealing in acetic, propionic, a-butyric, isobutyric, and pivalic acid γ-irradiated at 77 K were followed by ESR spectroscopy. Radical anions, always found after irradiation, disappear during optical bleaching without formation of any paramagnetic product. During thermal annealing they are converted almost quantitatively into the α-radicals of the respective acid, with the exception of pivalic acid. Amounts of radical anions were estimated from the difference of integrated ESR spectra taken before and after optical bleaching. The results show that approximately equal amounts of the reduction and oxidation paramagnetic products of the γ-irradiation can be detected.

Sign in / Sign up

Export Citation Format

Share Document