Academic Articles & Research Papers

Review of Deployable Endogenous Security Technologies for Smart Grids

The smart grid is a critical infrastructure in the modern energy system that couples cyberspace with physical operation processes, and it has become a key pillar of national energy security. With the widespread use of massive heterogeneous ...

Demonstration of hypergraph-state quantum information processing

Abstract Complex entangled states are the key resources for measurement-based quantum computations, which is realised by performing a sequence of measurements on initially entangled qubits. Executable quantum algorithms in the graph-state q...

The Verification of a Distributed System

Leslie Lamport, known for his seminal work in distributed systems, famously said, "A distributed system is one in which the failure of a computer you didn’t even know existed can render your own computer unusable." Given this bleak outlook ...

Compositional specification and verification of distributed systems

We present a method for specification and verification of distributed systems that communicate via asynchronous message passing. The method handles both safety and liveness properties. It is compositional, i.e., a specification of a composi...

An axiomatic basis of trust in distributed systems

He introduces basic notions about developing a logic or a theory, and shows that modal logics of belief, with their Kripe-style possible-worlds semantics, are appropriate for basing a theory of trust on. He reviews a modal logic of belief, ...

Runtime Verification for Decentralised and Distributed Systems

Verdi: a framework for implementing and formally verifying distributed systems

Distributed systems are difficult to implement correctly because they must handle both concurrency and failures: machines may crash at arbitrary points and networks may reorder, drop, or duplicate packets. Further, their behavior is often t...

Generative AI in cybersecurity: A comprehensive review of LLM applications and vulnerabilities

This paper provides a comprehensive review of the future of cybersecurity through Generative AI and Large Language Models (LLMs). We explore LLM applications across various domains, including hardware design security, intrusion detection, s...

Artificial Neural Networks in Agriculture

Artificial neural networks are one of the most important elements of machine learning and artificial intelligence. They are inspired by the human brain structure and function as if they are based on interconnected nodes in which simple proc...

Value-based software engineering

Much of current software engineering practice and research is done in a value-neutral setting, in which every requirement, use case, object, and defect is treated as equally important; methods are presented and practiced as largely logical ...

Fundamentals of Probability and Statistics for Engineers

This textbook differs from others in the field in that it has been prepared very much with students and their needs in mind, having been classroom tested over many years. It is a true "learner's book" made for students who require a deeper ...

Spatial Optimization of Wind and Solar Farm Location in Electric Power Systems Considering Power System Flexibility Characteristics

The rapid development of wind and solar energy necessitates a solution to the problem of the optimal spatial placement of wind farms (WFs) and solar farms (SFs) within electric power systems. The non-stationary generation schedules of WFs a...

Lightweight Anonymous Group Authentication and Quantum-Cloud Key Distribution Based on PUF for Classical Network Environments

With the rapid development of quantum computing, in response to its disruptive threats to traditional cryptosystems and the urgent demand for lightweight and highly scalable secure group communication among resource-constrained devices in l...

Hardware-Anchored ES-SPA: A Dynamic Zero-Trust Architecture for Secure eSIM Provisioning in 6G IoT via Moving Target Defense

The rapid evolution of 6G networks and large-scale Internet of Things (IoT) deployments intensifies security and privacy challenges in embedded SIM (eSIM) Remote SIM Provisioning (RSP), particularly during the bootstrap and profile delivery...

Assembly Function Recognition in Embedded Systems as an Optimization Problem

Many different aspects of software system development and verification rely on precise function identification in binary code. Recognition of the source Assembly functions in embedded systems is one of the fundamental challenges in binary p...

Vehicular ad hoc networks verification scheme based on bilinear pairings and networks reverse fuzzy extraction

Abstract Vehicular Ad-Hoc Networks (VANETs) have facilitated the massive exchange of real-time traffic and weather conditions, which have helped prevent collisions, reduce accidents, and road congestions. This can effectively enhance drivin...

Enhancing Communication Security in Drones Using QRNG in Frequency Hopping Spread Spectrum

This paper presents a novel approach to enhancing the security and reliability of drone communications through the integration of Quantum Random Number Generators (QRNG) in Frequency Hopping Spread Spectrum (FHSS) systems. We propose a mult...

A Secure, Intelligent, and Smart-Sensing Approach for Industrial System Automation and Transmission over Unsecured Wireless Networks

In Industrial systems, Supervisory control and data acquisition (SCADA) system, the pseudo-transport layer of the distributed network protocol (DNP3) performs the functions of the transport layer and network layer of the open systems interc...

THE MAIN CHARACTER’S NEUROTIC NEEDS IN THE NOVEL THE INVISIBLE MAN BY H. G. WELLS

This study analyses the types of neurotic needs experienced by Griffin through three kinds of neurotic conditions, which indicate that he has a neurotic disorder. This study uses psychoanalysis social by Karen Horney's theory about the type...

Computer Vision for Music Identification

We describe how certain tasks in the audio domain can be effectively addressed using computer vision approaches. This paper focuses on the problem of music identification, where the goal is to reliably identify a song given a few seconds of...