Log in

Relevant bibliographies by topics / Solidity auditing

Contents

Journal articles
Books

Academic literature on the topic 'Solidity auditing'

Author: Grafiati

Published: 7 June 2025

Last updated: 26 June 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Solidity auditing.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Solidity auditing"

1

Xiao, Meihua, Yangping Xu, Zehuan Li, and Hongbin Wan. "Advanced Security Auditing Methods for Solidity-Based Smart Contracts." Electronics 13, no. 20 (2024): 4093. http://dx.doi.org/10.3390/electronics13204093.

Full text

Abstract:

The development of smart contracts remains in its early stages, with significant differences in underlying programming languages and application platforms resulting in a lack of standardization. This lack of standardization increases the susceptibility to vulnerabilities and associated financial losses. To address security vulnerabilities in smart contracts on the Ethereum blockchain platform, this paper proposes a security audit method based on formal verification. The method integrates an input module, static analysis module, formal verification module, analog execution module, and report and recommendation module, which can accurately discover the security vulnerabilities and logical flaws of smart contracts through formal verification and other analysis techniques, thus realizing correctness detection. During the experiment, the method detects 8 types of common vulnerabilities in 148 smart contracts and marks 21 smart contracts with vulnerabilities. After manual review and analysis, it is found that 17 of these 21 marked smart contracts do have security vulnerabilities. The experimental results show that the proposed method can accurately detect security vulnerabilities and logic flaws in smart contracts through formal verification and other analysis techniques before smart contracts are deployed, thus significantly improving the security of smart contracts and reducing the economic losses that may be caused by code defects.

APA, Harvard, Vancouver, ISO, and other styles

2

Meghashree, N., Raj Aditya, Kaur Jaspreet, Himanshu, and Ankit Kumar. "AgroLink - Empowering the Agriculture Supply Chain." AgroLink - Empowering the Agriculture Supply Chain 8, no. 11 (2023): 4. https://doi.org/10.5281/zenodo.10348552.

Full text

Abstract:

Supply chain globalisation makes its controlling, managing and quality assurance much more difficult and complex. To tackle these problems, Blockchain technology, as a scattered ledger technology which ensures transparency, traceability and security. This essay offers a critical analysis of blockchain technology, its implementation using Ethereum, and the creation and use of Solidity-language smart contracts. Using these technologies the application aims to realise - Supply chain openness ,Smart contracts , Data sharing & collaboration ,Quality assurance ,Reducing fraud and counterfeiting , Environmental impact tracking ,Auditing and compliance.Keywords: Traceability & security, Distributed ledger technology, Ethereum ,Smart contracts , Solidity language

APA, Harvard, Vancouver, ISO, and other styles

3

Ibrahim, Rusdi, Dalilul Falihin, and Hasni. "Anticipative Strategy of Understanding and Attitude of Radicalism During the Covid-19 Pandemic at Nahdlatul Ulum Islamic Boarding School Soreang Maros." SHS Web of Conferences 149 (2022): 02003. http://dx.doi.org/10.1051/shsconf/202214902003.

Full text

Abstract:

This study aims to analyze anticipatory strategies for understanding radicalism during the COVID-19 pandemic at the Nahdlatul Ulum Islamic Boarding School, Soreang Maros. This research is qualitative research with a phenomenological approach. Collecting data using the methods: of interviews, observation, and documentation. The examination of the validity of the data in this study was carried out by perseverance of Observation, Triangulation, Description of details, and Auditing. The results of the study indicate that the dynamics of the life of Islamic boarding schools have entered a stage of rapid progress in many ways. The development of contemporary issues from various fields and aspects of life, including the COVID-19 pandemic outside the pesantren, has also not gone unnotified. Including the issue of the rise and development of radicalism in the global community. In addition, the Nadlatul Ulum Islamic Boarding School is consistent in building fortresses of morality, solidity, solidarity, control, and collaborativecommunal as a force to maintain its internal harmonious stability from radicalism and behavior.

APA, Harvard, Vancouver, ISO, and other styles

4

Sandhya, Guduru. "Web3 Smart Contract Security: Slither Static Analysis, Echidna Fuzzing, and Certora Formal Verification." European Journal of Advances in Engineering and Technology 11, no. 5 (2024): 147–50. https://doi.org/10.5281/zenodo.15387253.

Full text

Abstract:

Ensuring the security of smart contracts is essential in Web3 development, as vulnerabilities in Solidity-based agreements can result in significant financial and operational risks. This study explores automated security auditing techniques, focusing on Slither for static analysis, Echidna for property-based fuzz testing, and Certora for formal verification. By integrating these tools, the research enhances vulnerability detection and reduces reliance on manual audits. Additionally, the study assesses Maximum Extractable Value (MEV) risks and evaluates Flashbots SUAVE as a mitigation strategy. The findings indicate combining approaches improves detection accuracy, reduces false positives, and strengthens brilliant contract resilience against code-level vulnerabilities and economic exploits.

APA, Harvard, Vancouver, ISO, and other styles

5

Dhawde, Sahil Dattatray. "Securing Logs and Metrics in DevOps Using Blockchain: Enhancing Trust and Integrity in Continuous Deployment." International Journal for Research in Applied Science and Engineering Technology 12, no. 6 (2024): 1441–50. http://dx.doi.org/10.22214/ijraset.2024.63335.

Full text

Abstract:

Abstract: In today's constantly evolving DevOps environment, log and metric security is critical to maintaining the trust and integrity of continuous deployment pipelines. When it comes to protecting against tampering and unauthorized access of logs and metrics, traditional methods often fall short. However, traditional approaches frequently encounter challenges related to security, transparency, and reliability. Within this framework, blockchain technology presents itself as an effective way of improving the security and integrity of log and metric data within DevOps processes. This paper explores how to secure logs and metrics in DevOps using blockchain technology, specifically Ethereum with Solidity programming, to improve trust and integrity in continuous deployment processes. We talk about the planning and execution of a blockchain-based system that monitors and logs DevOps pipeline activity. Our method ensures tamper-proof storage, transparent auditing, and precise access control for log and metric data by utilizing smart contracts and decentralized ledger technology. We demonstrate a prototype implementation and evaluate how well it improves accountability, integrity, and security of data. Our research shows how blockchain technology can be used to solve important issues with DevOps logging and monitoring, creating the way to more secure and reliable continuous deployment processes.

APA, Harvard, Vancouver, ISO, and other styles

6

Corradini, Flavio, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, and Francesco Tiezzi. "Engineering Trustable and Auditable Choreography-based Systems Using Blockchain." ACM Transactions on Management Information Systems 13, no. 3 (2022): 1–53. http://dx.doi.org/10.1145/3505225.

Full text

Abstract:

A key challenge in engineering distributed systems consists in the integration into their development of a decentralised infrastructure allowing the system participants to trust each other. In this article, we face such a challenge by proposing a model-driven methodology and a related framework to support the engineering of trustable and auditable systems. The approach is based on choreography diagrams specified in the Business Process Model and Notation standard, describing the interactions that should occur among the distributed components of systems. We support the whole lifecycle of choreographies, from their modelling to their distributed execution and auditing. The framework, based on blockchain technology, is named ChorChain. More specifically, ChorChain takes as input a BPMN choreography model and automatically translates it into a Solidity smart contract. The smart contract permits us to enforce the interactions among the cooperating components as prescribed by the choreography model. By leveraging on the auditability of blockchain, ChorChain also supports the activity of auditors continuously. In such a way, ChorChain enables auditors to get some degree of assurance on what happens simultaneously with, or shortly after, information disclosure. We assess the feasibility and effectiveness of the proposed methodology and framework through experiments conducted on the Rinkeby Ethereum Testnet.

APA, Harvard, Vancouver, ISO, and other styles

7

Neyra, Ren Ellis. "Salsa’s Unruly Audition." Journal of Popular Music Studies 31, no. 1 (2019): 65–86. http://dx.doi.org/10.1525/jpms.2019.311008.

Full text

Abstract:

This essay shows how salsa stimulates unruly audition. It responds to that stimulation by performing multi-sensorial poetic listening with the excessive, tender, and queer audio-visual sabores [tastes], gestures, and details of two live performances by the musicians and singers contracted to Fania in the 1970s, one in Yankee Stadium in the Bronx in 1973 and the other in 1974 at Zaire ‘74 in Kinshasa, a music festival of Afro-Latinx, brown, and black sonic solidarity headlining the Ali-Foreman Rumble in the Jungle fight. A riot of audience ended the All-Stars’ set at the 1973 Bronx concert. Their insurgent pleasure compels us to think unruliness with salsa’s listeners, and re-imagine Latinx as a riotous movement of brown and black swerving aesthetic convergences. The essay enacts a deviant and sonically oriented close reading of Héctor Lavoe’s vocals in the song “Mi Gente” [My People], in part, for their attunement precisely to audience and playful dynamics with the band. In this song, Lavoe cries out to “anormales” [abnormals], a sign re-imagined here as an off-kilter feeling for salsa and a multi-sensorial opening for more errant ruptures.

APA, Harvard, Vancouver, ISO, and other styles

8

Astafieva, Olga N. "Cultural Policy of the Regions: Citizenship Solidarity in the Focus of Public Attention." Bibliotekovedenie [Library and Information Science (Russia)], no. 5 (October 28, 2015): 31–36. http://dx.doi.org/10.25281/0869-608x-2015-0-5-31-36.

Full text

Abstract:

There is presented the analytical review of the large-scale cultural event - II Cultural Forum of the Regions of Russia (Moscow - Yakutsk, September 25, 2015). The author focuses on the topical themes of the content of the scientific and practical conference, where there are covered in different aspects the issues of the regional cultural policy. Among the topics of the Forum: Implementation issues of the “Fundamentals of the State Cultural Policy in the Russian Federation”, state of the civil society, of the area of education and culture, of the prospects of strengthening of the Russian language, of ensuring independent quality assessment and social auditing, of the development of managerial resources in the sphere of culture, etc. Participation in the Forum work of 800 scientists, experts, members of Public chamber of the Russian Federation and the Public chambers of the Subjects of the Russian Federation, the Ministry of culture of the Russian Federation, Heads in the sphere of culture and education, representing 56 Subjects of the Russian Federation, provided the depth and versatility of the discussion.

APA, Harvard, Vancouver, ISO, and other styles

9

Bravhar, Mitja. "The Occupied Festival: A Palestinian Dance Story." Maska 33, no. 189 (2018): 100–104. http://dx.doi.org/10.1386/maska.33.189-190.100_7.

Full text

Abstract:

Contemporary dance was introduced to Palestine eleven years ago, due to the hard work and persistence of the Sareyyet Ramallah organization in the West Bank. Every year, Sareyyet organizes a festival of contemporary dance that features both local and international productions, studio productions, auditions, workshops and international conferences. The much-beloved festival presents a range of types of contemporary dance to a wide audience. It creates the Palestinian dance story, full of cruel reality, on the one hand, full of pain and hope on the other, of the demand for interaction with the outside world and the desire to act and create solidarity.

APA, Harvard, Vancouver, ISO, and other styles

10

Valipour, Hashem, Sirous Fatahi, Ayatollah Jafari, and Mohsen Ahmadi. "The effect of the implementation of the performance audit of efficiency on improving of public sector accountability." Journal of Management and Accounting Studies 3, no. 02 (2019): 74–93. http://dx.doi.org/10.24200/jmas.vol3iss02pp74-93.

Full text

Abstract:

The aim of this study was to investigate the implementation of a scientific approach and results oriented performance auditing of efficiency, and accountability of government. Methodology: Methods of solidarity and survey research, including research in order hypotheses (8) assumes two questionnaires developed five options (Likret), which both feature high reliability and validity have been prepared in the interval Since October 2014 to June 2015, the Supreme Audit Court and the provincial sample using formula Cochran (357) patients were determined, were distributed. To test the hypothesis of non-parametric tests (Pearson), test (t) one-sample and independent equations path analysis and multiple regression analysis were used in spss. Results: Test results showed, while the implementation of performance auditing efficiency has a significant relationship with the public sector accountability; Conclusion: 1) the implementation of audit performance through operating efficiency (efficiency audit) a significant relationship with the public sector to improve corporate accountability, 2) the implementation of performance audit through operating efficiency (efficiency audit) is a significant contribution to the improvement of public sector accountability legislation, 3) implementation of audit performance through operating efficiency (efficiency audits) significant contribution to the improvement of professional accountability the public sector, and 4) implementation of a performance audit through operating efficiency (efficiency audit) a significant relationship with the public sector to improve political accountability, 5) implementation of audit performance through operating efficiency (efficiency audits) significant contribution to the improved public sector financial accountability, and 6) the implementation of audit performance through efficiency operations (efficiency audits) the public sector's significant contribution to the improvement of moral accountability, 7) implementation of audit performance through operating efficiency (efficiency audits) significant contribution to the improvement of cultural and public sector accountability and ultimately 8) audit the performance of the Index Seven combined response (organizational, legal, professional, political, financial, moral, and cultural) is a significant contribution to the improvement of public accountability.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Solidity auditing"

1

United States. Office of the Special Inspector General for Afghanistan Reconstruction. Afghanistan's National Solidarity Program has reached thousands of Afghan communities, but faces challenges that could limit outcomes. Office of the Special Inspector General for Afghanistan Reconstruction, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Office, General Accounting. Tax administration: IRS measures could provide a more balanced picture of audit results and costs : report to the Honorable Rob Portman, Committee on Ways and Means, House of Representatives. The Office, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Office, General Accounting. Tax administration: IRS' telephone routing interactive system may not meet expectations : report to the chairman, Subcommittee on Oversight, Committee on Ways and Means, House of Representatives. The Office, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Office, General Accounting. Tax administration: FedState efforts offer opportunities but program needs improvement : report to the Commissioner of Internal Revenue. The Office, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Office, General Accounting. Tax administration: IRS could reduce the number of unproductive business nonfiler investigations : report to the Chairman, Subcommittee on Commerce, Consumer, and Monetary Affairs, Committee on Government Operations, House of Representatives. The Office, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Office, General Accounting. Tax administration: IRS' efforts to establish a business information returns program : report to the Honorable Doug Barnard, Jr., Chairman, Subcommittee on Commerce, Consumer, and Monetary Affairs, House Committee on Government Operations. The Office, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Office, General Accounting. Tax administration: Changes to IRS's Schedule K-1 document matching program burdened compliant taxpayers : report to the Chair, Committee on Small Business and Entrepreneurship, U.S. Senate. GAO, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Office, General Accounting. Tax administration: Assessment of IRS' report on its fiscal year 1995 compliance initiatives : report to the Ranking Minority Member, Committee on Governmental Affairs, U.S. Senate. The Office, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Office, General Accounting. Tax administration: IRS' abatement of assessments in fiscal years 1995-98 : report to the Joint Committee on Taxation. The Office, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Office, General Accounting. Tax administration: Information is not available to determine whether $5 billion in liberty zone tax benefits will be realized : report to Congressional Requesters. GAO, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!