Search
11 articles for “formal verification”
-
An Adaptive Approach for Real-Time Embedded System Design, Analysis and Optimization
Abstract: Real-time embedded systems are critical components in various domains, such as automotive, aerospace, healthcare, and industrial automation. The design, analysis, and optimization of these systems are vital to ensure their reliable and efficient operation. In this paper, we propose an adaptive approach for real-time embedded systems that aims to address the challenges faced during the development process while maintaining high-quality results. Our approach leverages adaptive techniques to dynamically adjust the …
Published in International Journal of Solid State Innovations & Research · Vol. 1, Issue 1, 2023 · pp. 8–14 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
-
RTL to GDSII Implementation UART using Verilog and Cadence tools
Abstract: The paper outlines a thorough design flow for Universal Asynchronous Receiver and Transmitter (UART) utilizing Register Transfer Level (RTL) to Graphic Data System II (GDS II) Implementation using Verilog and Cadence tools. The process involves RTL design, logic synthesis with Genus and physical design using Innovus, followed by verification steps including formal verification, static timing analysis and power optimization. The results demonstrate an efficient workflow, highlighting the effectiveness of Cadence’s …
Published in Journal of VLSI Design Tools and Technology · Vol. 15, Issue 1, 2025 · pp. 1–7 Read article
-
Advanced Security Mechanisms for AIDL Communication in High-Risk Environments
Abstract: Android Interface Definition Language (AIDL) serves as a critical component for inter-process communication (IPC) in Android systems, facilitating seamless interaction between different application components. However, in high-risk environments, such as military, healthcare, and financial systems, AIDL communication faces significant security challenges, including unauthorized access, data tampering, and privilege escalation. This paper presents a detailed review of the advanced security mechanisms designed to safeguard AIDL communication in such environments. We propose …
Published in International Journal of Bioinformatics and Computational Biology · Vol. 4, Issue 1, 2026 Read article
-
Role of Functional Programming Languages in Blockchain Applications
Abstract: Functional programming (FP) languages play an increasingly influential role in blockchain applications, offering features that address critical challenges such as security, scalability, and reliability. The inherent characteristics of FP—immutability, pure functions, statelessness, and concurrency support—align well with blockchain’s decentralized and deterministic structure, making FP languages a natural fit for developing secure and verifiable smart contracts. Languages like Haskell, OCaml, and Erlang have proven effective in minimizing code errors, enabling formal …
Published in Recent Trends in Programming languages · Vol. 11, Issue 3, 2024 · pp. 21–27 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
-
Study of Algebraic Structures in Discrete Mathematics and Its Applications
Abstract: Algebraic structures such as groups, rings, fields, semi groups, and lattices form the foundational framework of discrete mathematics. These structures are defined by specific sets and operations that follow algebraic laws, enabling a systematic approach to problem-solving in various domains. This paper explores the theoretical principles of these algebraic systems and highlights their vital role in computer science, cryptography, automata theory, coding theory, and software engineering. By examining their properties …
Published in Emerging Trends in Symmetry · Vol. 1, Issue 1, 2025 · pp. 35–40 Read article
-
A Review of Blocking Side-Channel Threats in Parallel Cloud Systems
Abstract: Side-channel attacks (SCAs) pose a critical security threat to parallel computing systems, particularly in shared cloud environments where multi-tenancy and resource contention create exploitable vulnerabilities. This study presents a comprehensive review of SCAs in parallel architectures, analyzing attack vectors such as cache-based exploits (e.g., Prime + Probe, Flush + Reload), timing attacks, power analysis, and network-based covert channels. We examine real-world cases including Spectre and Meltdown vulnerabilities that exposed fundamental …
Published in Recent Trends in Parallel Computing · Vol. 12, Issue 2, 2025 · pp. 15–25 Read article
-
Design of Secure Biometric-based Access Mechanism for Cloud Services
Abstract: In our data-driven society, the demand for remote information storage and computation services is increasing exponentially, as is the need for secure access to such information and services. during this project, we have a tendency to style a replacement biometric-based authentication protocol to produce secure access to an overseas (cloud) server. Within the planned approach, we have a tendency to think about biometric information of a user as a secret …
Published in Journal of Experimental & Applied Mechanics Read article
-
A Sol-Gel Approach for the Fabrication of Zinc Oxide Nanoparticles and Their Nanocomposite with Urea Formaldehyde (UF)
Abstract: In the performed work, zinc oxide nanoparticles were synthesized via the sol-gel method using zinc sulphate as the precursor material. Urea-formaldehyde (UF) resin was employed as a polymer matrix to encapsulate the produced ZnO through an acid-catalyzed polymerization process. This encapsulation aimed to improve the dispersion stability and surface reactivity of ZnO within the polymeric medium. The synthesized materials were subjected to comprehensive characterization using Fourier Transform Infrared Spectroscopy (FT-IR), …
Published in International Journal of Crystalline Materials · Vol. 2, Issue 2, 2025 · pp. 21–27 Read article
-
Instagram Therapists vs. Qualified Mental Health Professionals: How Young Adults Perceive and Navigate Mental Health Advice Online
Abstract: The growing presence of “Instagram Therapists” - individuals who share mental health advice on Instagram without formal qualifications - has raised important questions about the credibility of online mental health information. In contrast, are qualified mental health professionals and licensed practitioners. Existing literature shows a surge in young adults turning to social media for mental health guidance. However, limited research delves into how they perceive and differentiate between advice from …
Published in International Journal of Behavioral Sciences · Vol. 2, Issue 2, 2025 · pp. 26–37 Read article