Search
10 articles for “Integer Overflow”
-
An Automated Smart Contract Repair Framework for Reentrancy, Integer Overflow, and Denial- of-Service Vulnerabilities
Abstract: This paper introduces a novel static analysis framework designed to bridge a long-standing gap in Ethereum smart contract security: the disconnect between vulnerability detection and automated remediation. Although widely adopted tools such as Slither and Oyente are highly effective at identifying security weaknesses, they stop short of providing actionable fixes. As a result, developers manually patch vulnerabilities, a process that is not only time-consuming but also susceptible to human error …
Published in Journal of Computer Technology & Applications · Vol. 17, Issue 1, 2026 · pp. 31–41 Read article
-
Triple-Threat Analysis: Measuring Mythril, Slither and Oyente Against Real-World Smart Contract Vulnerabilities
Abstract: Smart contracts have become fundamental building blocks of blockchain ecosystems, yet their immutable nature makes security vulnerabilities particularly devastating. This pa- per presents a comprehensive evaluation of three prominent static analysis tools—Mythril, Slither, and Oyente—for detecting vulnerabilities in Ethereum smart contracts. Through systematic experimentation with real-world contract categories (voting sys- tems, land registries, and crowdfunding platforms), we quantify the effectiveness of each tool across eight critical vulnerability types, including reentrancy, …
Published in Journal of Artificial Intelligence Research & Advances · Vol. 13, Issue 1, 2025 Read article
-
Smart City Based Manhole Monitoring System
Abstract: Urban environments are increasingly reliant on complex underground infrastructure networks, with manholes serving as critical access points for maintenance, inspection, and drainage. However, traditional manhole monitoring methods, often manual and labour-intensive, can be inefficient and prone to human error. This can lead to serious safety and health hazards, such as accidents caused by open manholes, exposure to harmful gas leaks, and infrastructure damage from overflows due to undetected blockage This …
Published in Recent Trends in Fluid Mechanics · Vol. 11, Issue 1, 2024 · pp. 27–34 Read article
-
Prevention of Water Overflows and Leakages at MPCOE Campus
Abstract: Water is one of the fundamental necessities of human life, essential for a wide range of daily activities. People rely on water for drinking, cleaning, cooking, irrigation, and industrial processes. To meet these needs, water is often pumped from ground storage to overhead tanks. However, the use of non-automated switches to operate pumping machines can lead to significant issues, such as water overflow and unnecessary electricity consumption. The proposed system …
Published in Journal of Water Resource Engineering and Management · Vol. 12, Issue 1, 2025 · pp. 43–51 Read article
-
Reimagining Solid Waste Management in India: A case of Circular approach in C&D Waste Management
Abstract: Construction and demolition (C&D) waste, which accounts for an estimated 150–500 MT yearly and about 10–20% of the nation's total municipal solid waste (MSW) generation, is a significant management challenge for India. Accelerated urbanization, population increase, infrastructural expansion, and urban redevelopment initiatives are the main causes of this quickly expanding waste stream. Much of this waste is disposed of through uncontrolled dumping, encroachment on low-lying areas, and overcrowded landfills in …
Published in Journal of Construction Engineering, Technology & Management · Vol. 16, Issue 1, 2026 · pp. 1–10 Read article
-
Smart Contract: A new buzz word for reliable decentralized network
Abstract: Blockchain technology has emerged as a foundational distributed-ledger architecture enabling decentralized, transparent, and tamper-resistant data management across diverse digital ecosystems. This paper presents an integrated review of blockchain fundamentals, consensus mechanisms, smart contract design, and real-world applications beyond cryptocurrencies. It discusses the evolution of smart contracts as automated, self-executing programs that remove intermediaries and ensure deterministic execution, while highlighting critical security vulnerabilities such as reentrancy, arithmetic overflows, and improper access …
Published in Journal of Open Source Developments · Vol. 13, Issue 1, 2026 Read article
-
Securing IoT Wilderness with VHDL
Abstract: The Internet of Things (IoT) has revolutionized connectivity by integrating billions of devices and reshaping industries. However, this vast network also brings substantial security concerns. From compromised sensors to hijacked industrial control systems, the vulnerabilities within IoT devices can have far-reaching consequences. Hardware Security Modules (HSMs) provide a reliable and secure environment for performing cryptographic operations and safeguarding sensitive data. This article explores the crucial role of VHDL (VHSIC Hardware …
Published in International Journal of VLSI Circuit Design & Technology · Vol. 3, Issue 1, 2025 · pp. 29–40 Read article
-
Smart Dustbin for Household Using Internet of Things (IoT)
Abstract: This article, titled “Smart Dustbin for Household Using Internet of Things (IoT)”, introduces an innovative solution to manage household waste effectively. In today's fast-paced world, many individuals find it challenging to dispose of garbage regularly due to busy schedules. This IoT-based system aims to address this issue by employing sensors and connectivity to monitor the fill-level of dustbins in real time. By utilizing ultrasonic sensors and microcontrollers like the ESP32, …
Published in Journal of Geotechnical Engineering · Vol. 11, Issue 2, 2024 · pp. 38–48 Read article
-
Integrated Dam Automation: Real-Time Monitoring and Controlling Using IoT
Abstract: Dam automation is a critical area in water resource management, especially given the rising demand for sustainable and safe water control systems. An integrated approach to dam automation involves implementing advanced sensors and monitoring systems to improve structural safety, water quality, and resource management. This paper presents a comprehensive automation model that combines crack detection, convolutional neural networks (CNNs), water level monitoring, turbidity sensing, and rainfall data to ensure real-time …
Published in Journal of Microcontroller Engineering and Applications · Vol. 12, Issue 1, 2025 · pp. 31–38 Read article
-
Design and Implementation of a 4-Bit Breadboard CPU Using Digital Integrated Circuits
Abstract: This paper presents the design and hardware realization of a simple 4-bit CPU built using discrete TTL integrated circuits on a breadboard. The CPU employs a 4-bit common data bus with tri-state buffers for device arbitration, three 4-bit registers (Register A, Register B, and an Output Register) implemented with 74LS175 quad D flip-flops, and a 4-bit ALU for addition/subtraction using a 74LS83 adder and XOR gates. Manual control signals (load, …
Published in Journal of Electronic Design Technology · Vol. 17, Issue 2, 2026 Read article