Log in

Relevant bibliographies by topics / Solidity auditing / Journal articles

To see the other types of publications on this topic, follow the link: Solidity auditing.

Journal articles on the topic 'Solidity auditing'

Author: Grafiati

Published: 7 June 2025

Last updated: 2 August 2025

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

Select a source type:

Consult the top 18 journal articles for your research 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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

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 an

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

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

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.

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 exp

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 choreo

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. The

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 langu

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 o

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

APA, Harvard, Vancouver, ISO, and other styles

11

Yasan, Mustafa. "Multiple Audit System for Cooperatives in Turkish Law." Teka Komisji Prawniczej PAN Oddział w Lublinie 17, no. 2 (2024): 565–79. https://doi.org/10.32084/tkp.9098.

Full text

Abstract:

In the jurisprudential landscape of Turkey, cooperatives occupy a unique position, regulated under the comprehensive purview of the Turkish Commercial Code with delineated prescriptions in the Cooperatives Code. Cooperatives are distinct from commercial entities in that they aim to procure economic advantages through collective solidarity and mutual aid, rather than through profit accrual and distribution. However, this does not exempt them from the rigorous auditing requirements that other commercial entities are subject to, necessitating a robust audit framework. The legislative architecture

APA, Harvard, Vancouver, ISO, and other styles

12

Veloz Navarrete, Fernando, Diana Vargas Ulloa, and Cesar Villa Maura. "Modelo de auditoría integral para pequeñas Cooperativas de Ahorro y Crédito ecuatorianas. // Model of integral audit for small Ecuadorian saving and credit cooperatives." Ciencia Unemi 10, no. 23 (2017): 49. http://dx.doi.org/10.29076/issn.2528-7737vol10iss23.2017pp49-56p.

Full text

Abstract:

La presente investigación expone la implementación de la “Auditoría Integral” asumida como herramienta gerencial para pequeñas Cooperativas de Ahorro y Crédito Ecuatorianas, ubicadas en el segmento 4, de acuerdo a la clasificación del Sistema Popular y Solidario. La novedad reside en la adopción de las prácticas comunes de auditorías diversas, aplicadas a las pequeñas entidades, sean estas de control y prevención, gestión, cumplimiento y financieras. El enfoque transdisciplinario es revelado como una estrategia y método para lograr resultados más acertados según Edgar Morín; al adoptar e imbri

APA, Harvard, Vancouver, ISO, and other styles

13

Mogili, Poojitha. "Blockchain Fault Transaction Detection using ML & Solidity." April 9, 2025. https://doi.org/10.5281/zenodo.15179713.

Full text

Abstract:

<strong>Blockchain Fault Transaction Detection Using ML & Solidity</strong> <strong>Mr. G. Rajesh</strong> Assistant Professor, PBR VITS, Kavali, Nellore – 524201 <strong>MVN Poojitha</strong>, <strong>CVSL Bhavana</strong>, <strong>P Prathyusha</strong>, <strong>G Manospandana</strong> UG Students, Department of CSE, PBR VITS, Kavali, Nellore – 524201 <strong>Abstract</strong> This paper proposes an intelligent and secure solution for detecting fraudulent transactions in blockchain networks by combining machine learning (ML) algorithms with blockchain technology. The system in

APA, Harvard, Vancouver, ISO, and other styles

14

Poluan, Margie Christanty, Jullie J. Sondakh, and Herman Karamoy. "PENGARUH LOCUS OF CONTROL, SELF ESTEEM, EQUITY SENSITIVITY AUDITOR INTERNAL TERHADAP KUALITAS AUDIT DENGAN GENDER SEBAGAI VARIABEL MEDIASI." JURNAL RISET AKUNTANSI DAN AUDITING "GOODWILL" 7, no. 1 (2016). http://dx.doi.org/10.35800/jjs.v7i1.12739.

Full text

Abstract:

The objective of this research is to find out the influence of locus of control, self esteem, and equity sensitivity of the internal auditor on auditing quality with gender as mediating variable at Inspectorate Division of North Sulawesi Province. The respondents are all the 64 internal auditors of North Sulawesi Province. Inferential statistic has been applied to test the hypothesis specifically the Structural Equation Model with Partial Least Square Analysis (SEM-PLS), while for testing mediating; Variance Accounted for (VAF) has been applied. The results show that Locus of Control, Self Est

APA, Harvard, Vancouver, ISO, and other styles

15

Tuccaroglu, Bora, Erbug Celebi, and Hale Ozgit. "The need for blockchain technologies in international trade in conflicting regions: a case of Cyprus." Kybernetes, May 15, 2025. https://doi.org/10.1108/k-07-2024-1713.

Full text

Abstract:

PurposeThe Green Line, a United Nations (UN)-monitored buffer zone between the ceasefire lines left over from the 1974 partition, continues to separate the island of Cyprus. Although they continue to be a part of the same island and, at the very least, of the same nation, the Greek and Turkish communities in Cyprus behave like de facto independent states. Approved on April 29, 2004, the Green Line Regulation Trade (GLRT) regulates the flow of people and products across the “Green Line” that divides the island’s government-controlled parts from the remainder. The purpose of this study is twofol

APA, Harvard, Vancouver, ISO, and other styles

16

Mauricio, Amat Abreu, and Cruz Velázquez Dunia. "Neutrosophic model based on the ideal distance to measure the strengthening of values in the students of Puyo university." June 12, 2019. https://doi.org/10.5281/zenodo.3244447.

Full text

Abstract:

. The formation of values has been a constant concern of humanity throughout history through different theoretical positions and today has become a dilemma of vital importance for the education of new generations. The objective of the research was to propose educational strategies to strengthen the value systems, expressed in the interests and motivations of university students who study Accounting, Auditing and Business Administration through the subjects received and their link with social reality, at the Universidad Regional Autónoma de los Andes, Puyo extension, offering axiological

APA, Harvard, Vancouver, ISO, and other styles

17

Del Percio, Alfonso, and Cécile B. Vigouroux. "The Counting Machinery: Translation, Multiplication, and Liberal Politics of Homelessness in Paris." Signs and Society, July 8, 2025, 1–23. https://doi.org/10.1017/sas.2025.10016.

Full text

Abstract:

Abstract This article analyzes the interconnected translation processes that led the Paris city council to conceptualize, address, and act upon “homelessness” through counting. By translation, we mean a range of semiotic processes that connect social worlds, their objects, practices, genres, and bodies of expertise. These are usually imagined as separate: For example, auditing and volunteering, science and government, charity and policing, poverty and social hygiene. Our analysis is based on ethnographic data collected in Paris, France, between January and August 2023, during two editions of t

APA, Harvard, Vancouver, ISO, and other styles

18

McQuillan, Dan. "The Countercultural Potential of Citizen Science." M/C Journal 17, no. 6 (2014). http://dx.doi.org/10.5204/mcj.919.

Full text

Abstract:

What is the countercultural potential of citizen science? As a participant in the wider citizen science movement, I can attest that contemporary citizen science initiatives rarely characterise themselves as countercultural. Rather, the goal of most citizen science projects is to be seen as producing orthodox scientific knowledge: the ethos is respectability rather than rebellion (NERC). I will suggest instead that there are resonances with the counterculture that emerged in the 1960s, most visibly through an emphasis on participatory experimentation and the principles of environmental sustaina

APA, Harvard, Vancouver, ISO, and other styles

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!